ProjectCrazyProject

unnecessarylemmas.verysloppy.handwritingneedsimprovement.

Whatisthis?

Subgroupsandquotientgroupsofsolvablegroupsaresolvable

Onthesepagesyouwillfinda

Provethatsubgroupsandquotientgroupsofsolvablegroupsaresolvable.

slowlygrowing(andpoorly
organized)listofproofsand
examplesinabstractalgebra.
Nodoubtthesepagesareriddled

Weprovesomelemmasfirst.
Lemma1:Let beagroupandlet
isnormalin

withtyposanderrorsinlogic,

with

.Proof:Let

normalin

.Then

.Then
because

andinmanycasesalternate

and

strategiesabound.Whenyou
findanerror,orifanythingis
unclear,letmeknowandIwillfix

Lemma2:Let , ,and begroupswith normalin .Then

it.

in

andthereisaninjectivehomomorphism

Proof:Let

Contact
(dot)project(at)gmail(dot)

bethenaturalprojection.Certainly

andif

Sendemailto"project(dot)crazy

isnormal

,wehave

,andso

.BytheFirstIsomorphism

Theorem,theinducedhomomorphism

isinjective.

com".

Lemma3:Let beagroupand
Navigation

isnormal,and

MegaIndex

Let

Colophon
FAQ

suchthat
.Then

isnormalin and
isnormal.Proof:

.Then

Let beasolvablegroup.Thenthereexistsasubnormalseries
suchthat

SearchPCP

Search

Let

beasubgroup.ByLemma1wehave

Categories
Exercises(1,576)
AA:DF(1,320)
IS:P(43)

isabelianforall

.Moreover,by
Lemma2wehave

abelian.Thus

is

solvable.

TAN:PD(213)

Incomplete(11)

Let

Meta(7)

beanormalsubgroup.Now

Lemma3,sothat

isnormalby
.Moreover,

CrazyPageViews
3,940,434

TagCloud

abeliangroupalgebraic
integerringalternating
groupbasiscenter(group)
commutativeringcomplex
numbers

computation

isabelianbytheThirdIsomorphism
Theorem.Hence

issolvable.

Like
One blogger likes this.

Related

Classifygroupsoforder

Classificationofgroups

Boundsontheindexof

computation
conjugate

counterexamplecycle

4p,wherepisaprime
greaterthan3
In"AA:DF"

oforder2p
In"AA:DF"

anintersectionoftwo
subgroups
In"AA:DF"

notation cyclicgroup degree

dihedralgroupdirect
productdirectsumdivisibility
factorization field field
extensionfinitefield

Bynbloomf,onApril11,2010at11:00am,underAA:DF,Incomplete.Tags:quotientgroup,solvable
group,subgroup.13Comments
Postacommentorleaveatrackback:TrackbackURL.

finitegroupgaussian
integersgenerallineargroup

generatingsetgreatest
commondivisorgroup
groupactiongroup
homomorphismgroup
presentation Grbnerbasis

Finiteabeliangroupshavesubgroupsofeveryorderdividingtheorderof
thegroup
Everyfinitegrouphasacompositionseries
Comments

ideal

integersintegraldomain
intersection irreducible

nealOnJuly11,2011at11:09pm

Permalink|Reply

whyisN(K/N)=Nagain,thanks

polynomialisomorphismjordan
canonicalformkernellinear

nbloomfOnJuly11,2011at11:41pm

transformationmatrix

IthinkyouretalkingaboutLemma3.
seeingithere.Whereisthatstep?

maximalideal modular

arithmeticmodulenorm
normalizernormal

subgrouporder(group
element)polynomial

polynomialringprime
primeidealprincipalideal
principalidealdomain quadratic
field quadraticintegerring quaternion
group quotientgroup quotient

Permalink|Reply

isnottrue,andImnot

Bytheway,withthebenefitofhindsightIcanseethatLemma3isjustpartof
theLatticeIsomorphismTheorem.
nealOnJuly12,2011at12:01am

Permalink|Reply

inlemma3whereitsaysa(N(K/N))=a(N/K),Imjustbeginningtounderstandthe
ideaofacoset
nbloomfOnJuly18,2011at1:16pm

Permalink|Reply

ring rationalnumbers

Ehlookingmoreclosely,thissolutionismessedup.Imgoingtohaveto
rewriteitlaterwhenIhavemoretime.FornowIllmarkitincomplete.

rationalsrealnumbers

Sosorryfortheinconvenience!

relativelyprime

ringsemidirect

product semigroup simple

groupsubgroupsubgroup
index subgrouplattice sylow's
theoremsylowsubgroup

symmetricgroup
tensorproductvector

nealOnOctober1,2011at7:07pm

Permalink|Reply

heysoisthatoperationwelldefinedtheonewhereaNK/N=aK/N,
iknowaNisacosetofNandK/Nisthesetofallcosets(cantassumeithasa
groupstructuresinceNisnotassumedtobenormal),sohowdoyoumultiply
them.thanks

space

nbloomfOnOctober1,2011at7:55pm

Tools

Ihaventgottenaroundtofixingthisoneyet.Itthe(implicit,nowexplicit)
assumptionthat
,then isinfactnormalin ,and
,soitworks.

Detexify
DitaaWorkspace
GraphVizWorkspace
MathURL
NoMSG
WolframAlpha

SimilarProjects

Permalink|Reply

Themod notationisalittlemisleadinghere.
reallymeansasetof
equivalenceclassesin withrespecttotherelation
ifandonlyif
.
Again,thiswilleventuallyberewritten.
1111OnNovember27,2011at12:59am

Follow

theindicesarewrong,H_iisasubgroupofH_{i+1}

Permalink|Reply

Folland'sRealAnalysis

PostsByDate
March2012(1)
February2012(13)
January2012(63)
December2011(35)
November2011(30)
October2011(31)

Follow Project
nbloomfOnNovember28,2011at10:30am
Thanks!

Crazy Project
Get every new post delivered
to your Inbox.

GobiReeOnNovember29,2011at3:27am
Join 272 other followers

Permalink|Reply

Permalink|Reply

Inlemma2,youcandefine
andobviously
Thenbythe1stisomthm,theresultfollows.Wedonthavetocheckwell
Enteryouremailaddress
definednessandinjectivity.

September2011(16)
August2011(41)
July2011(31)
June2011(150)
May2011(156)
April2011(30)
March2011(31)
February2011(28)
January2011(31)
December2010(32)
November2010(30)
October2010(50)
September2010(60)
August2010(31)
July2010(93)
June2010(120)
May2010(93)
April2010(60)

Signmeup
nbloomfOnNovember29,2011at8:56am

Permalink|Reply

Thanksthatsmuchbetter.
Build a website with WordPress.com
GobiReeOnNovember29,2011at8:06am

Permalink|Reply

Inthetext,thedefinitionofasolvablegrouprequiresjustasubnormalseries,not
acompositionseries.Andthisdefinitionisinwikipedia,too.Isitamistakethe
phrasecompositionseriesinyourpost?
nbloomfOnNovember29,2011at8:56am

Permalink|Reply

Thatwasamistakeonmypart.However,Ithinkeitherworksinthiscase,since
anycompositionseriesofasolvablegroupwillserveasawitnesstosolvability
(i.e.,haveabelianintermediatequotients)andanywitnesstosolvability(i.e.
subnormalserieswithabelianintermediatequotients)canberefinedtoa
compositionseries.

March2010(31)
February2010(70)
January2010(211)
December2009(15)

RecentComments
nbloomfonSubgroupsoffiniteindex

GobiReeOnNovember29,2011at9:50am

Iwroteananswertothecaseofquotientsgroups.Butitsalittlelongandactually
Iwantedtowriteapostinwordpress,soIwroteitinmywordpress.(Firstpostlol!)
Illbeverygladifyoureadit,thanks!
http://gobiree.wordpress.com/2011/11/29/quotientgroupsofasolvablegroup
aresolvable/

forcetheexistenceof(possibly
nontrivial)normalsubgroupsof
boundedindex
GogoonSubgroupsoffiniteindex
forcetheexistenceof(possibly
nontrivial)normalsubgroupsof

LeaveaReply

boundedindex
nbloomfonDescribethekerneland
fibersofagiven
grouphomomorphism
032234onDescribethekerneland
fibersofagiven
grouphomomorphism
GroupisomorphismsonIfagroup
hasanautomorphismwhichisfixed
pointfreeoforder2,thenitisabelian
AndrewonOdddegreeextensionsof
formallyrealfieldsareformallyreal
tjm1991onDescribethekerneland
fibersofagiven
grouphomomorphism
RDReeseonCharacterizethecenter
ofagroupring
kimochisonFindallpossibleorders

Permalink|Reply

Enteryourcommenthere...

ofelementsinSym(5)
kimochisonFindallpossibleorders
ofelementsinSym(5)
kimochisonFindallpossibleorders
ofelementsinSym(5)
NicolasonDeterminewhichmatrices
belongtoagivenset
RedlockonInductivestepofthe
JordanHolderTheorem
nbloomfonTheregular9gonisnot
constructiblebystraightedge
andcompass
JohnonTheregular9gonisnot
constructiblebystraightedge
andcompass

Intuitioncomesfromexperience,
experiencecomesfromfailure,
andfailurecomesfromtrying.

Diversions
Hark,avagrant
MSPaintAdventures
SaturdayMorningBreakfastCereal

BlogatWordPress.com.|TheNotesILTheme.