Abstract Algebra - Let G Be A Nonabelian Group of Order $P 3$, Where $P$ Is A Prime Number. Prove That The Center of $G$ Is of Order $P$

7/12/2015
abstractalgebraLetGbeanonabeliangroupoforder$p^3$,where$p$isaprimenumber.Provethatthecenterof$G$isoforder$p$.Mathematics
signup
login
MathematicsStackExchangeisaquestionandanswersiteforpeoplestudyingmathatanylevelandprofessionalsinrelatedfields.It's
100%free,noregistrationrequired.
tour
help
Signup
LetGbeanonabeliangroupoforderp ,wherep isaprimenumber.ProvethatthecenterofGis

oforderp .
3
LetGbeanonabeliangroupoforder p ,wherep isaprimenumber.ProvethatthecenterofG isoforderp .

3
Proof
SinceG isnotabelian,theorderofitscentercannotbe p .Sinceitisap group,thecentercannotbetrivial.SotheorderofZ (G) is
either p orp .
3
Suppose,forcontradiction,thatZ (G) = p .Sincep isprime,wecanassumethatasubgroupH = p oforderp existsinG .Wecan

alsoassumethatH andZ (G) aredisjoint.Otherwise,iftheredidn'texistadisjointsubgroupoforderp ,thentheorderofG wouldbe
p .Since Z (G) isthecenter,theycommutewithp.Sincetheycommutewith p ,theymustalsocommutewithallpowersof p .So
G = Z (G) H Gisabeliansince H and Z (G) areabelian.So |Z (G)| = p .
2
Doyouthinkmyansweriscorrect?
Thanksinadvance
(abstractalgebra) (grouptheory ) (finitegroups ) (sylowtheory )
editedJul17'13at23:00
askedJul14'13at22:23
azimut
13.5k
user58289
9
35
82
5 Youcanusethatif G/Z (G) iscyclicthen G isabelian,andthen G/Z (G) wouldhaveorder p if

2
Z (G) = p andhenceitwouldbecyclicimplying G isabelian. user10444 Jul14'13at22:28
@user1044Thanksalot.That'samuchshorterproof.ButI'mjustwondering...ismyanswerstillcorrect?
user58289Jul14'13at22:35
Justaclarificationwhenyouwrite H = p doyoumean p isanelementof G (Iamcheckingthedetails
now)user10444Jul14'13at22:36
1 Buthowdoyouknow p G ?Theonlythingyouknowisthat G isnonabelian,youcansaythatsince
p #G thenbySylow'sfirsttheoremthereisanelement a oforder p . user10444 Jul14'13at22:43
1 @IttayWeissI'mnotsure...maybeI'mwrong.user58289Jul14'13at23:08
2Answers
Idon'tthinktheproofiscorrect.Thefollowingdoesn'tmakesensetome.
WecanalsoassumethatH andZ (G) aredisjoint.Otherwise,iftheredidn'texistadisjoint
subgroupoforderp ,thentheorderofG wouldbe p .
2
Aspointedoutbyuser10444,typicallyyouapplythestatement
IfG/Z(G)iscyclic,thenG isabelian.
toexcludethecaseZ (G)
= p
Thestatementisnothardtoshow:LetgZ (G)beageneratorofthecyclicgroupG/Z (G) .

ThenG = {g} Z (G) .SinceeachpairofgeneratorsofG commutes,G isabelian.
answeredJul17'13at22:59
azimut
13.5k
35
82
http://math.stackexchange.com/questions/443710/letgbeanonabeliangroupoforderp3wherepisaprimenumberprovet
1/2
7/12/2015
abstractalgebraLetGbeanonabeliangroupoforder$p^3$,where$p$isaprimenumber.Provethatthecenterof$G$isoforder$p$.Mathematics
Ihaveaquestioncansomebodypleaseclarify.Whyisthepossibilitythat|Z (G)|
considered?Thanks!
= 1
not
UPDATE:
Hereismyattemptatasolution.
ConsiderZ (G) centerofthegroupG .WeknowthatZ (G)
ByLagrange'sTheorem|Z (G)| mustdivide|G| .

Since|G|
= p
theonlypossibilitiesare1, p, p
,p
becauseotherwisewewillhaveZ (G)
alsobecauseotherwisewewillhavetheorderofthefactorgroupbythecenteras
= p.
|Z (G)| p
|Z (G)| p
= G
butG isnonabelian.
|G/Z (G)| = |G|/|Z (G)| = p /p
Wehave:
|G/Z (G)| = p
Now|Z (G)|
G/Z (G)
iscyclic
isabelian.ButG isnonabelian.
alsobecauseG isap groupandp groups havenontrivialcenter.
(thankstoTobiasKildetoftforpointingthisout).
ThustheonlypossibleorderforZ (G) isp .
QED
editedJun21at15:52
answeredSep5'13at5:06
JyrkiLahtonen
69.8k
94
chowching
195
297
11
Irealizeyoudonothavetherequiredreptocomment,butpleasedon'tpostanswersaskingfor
clarifications.Thereason |Z (G)| = 1 isnotconsideredisthatitisawellknownresultthatthecenterofa
p groupisnontrivial. TobiasKildetoft Sep5'13at8:24
Ifyouhaveanewquestion,pleaseaskitbyclickingtheAskQuestionbutton.Includealinktothis
questionifithelpsprovidecontext.wythagoras Jun20at19:32
2 Sorryaboutstrikingoutthefirstsentenceofyourpost.Aflaggerthinksitisnotananswer,becauseyou
askedforclarificationthere.Granted,youdidnotanswerthequestionDoyouthinkmyansweriscorrect?,
sotheflagisnotwithoutmeritinthatsense.JyrkiLahtonen Jun21at15:55
http://math.stackexchange.com/questions/443710/letgbeanonabeliangroupoforderp3wherepisaprimenumberprovet
2/2

Abstract Algebra - Let G Be A Nonabelian Group of Order $P 3$, Where $P$ Is A Prime Number. Prove That The Center of $G$ Is of Order $P$

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Abstract Algebra - Let G Be A Nonabelian Group of Order $P 3$, Where $P$ Is A Prime Number. Prove That The Center of $G$ Is of Order $P$

Enviado por

Direitos autorais:

Formatos disponíveis

7/12/2015

LetGbeanonabeliangroupoforderp ,wherep isaprimenumber.ProvethatthecenterofGis

LetGbeanonabeliangroupoforder p ,wherep isaprimenumber.ProvethatthecenterofG isoforderp .

Suppose,forcontradiction,thatZ (G) = p .Sincep isprime,wecanassumethatasubgroupH = p oforderp existsinG .Wecan

5 Youcanusethatif G/Z (G) iscyclicthen G isabelian,andthen G/Z (G) wouldhaveorder p if

Thestatementisnothardtoshow:LetgZ (G)beageneratorofthecyclicgroupG/Z (G) .

ByLagrange'sTheorem|Z (G)| mustdivide|G| .

|G/Z (G)| = |G|/|Z (G)| = p /p

alsobecauseG isap groupandp groups havenontrivialcenter.

Você também pode gostar