ProjectCrazyProject

unnecessarylemmas.verysloppy.handwritingneedsimprovement.

Whatisthis?
Onthesepagesyouwillfinda
slowlygrowing(andpoorly
organized)listofproofsand
examplesinabstractalgebra.
Nodoubtthesepagesareriddled
withtyposanderrorsinlogic,
andinmanycasesalternate

Ifagrouphasanautomorphismwhichisfixedpointfreeof
order2,thenitisabelian
Let beafinitegroupwhichpossessesanautomorphism suchthat
andonlyif

.If

if

istheidentitymapon ,provethat isabelian.

Suchanautomorphism iscalledfixedpointfreeoforder2.[Hint:Showthatevery
elementof canbewrittenintheform

andapply tosuchan

expression.]

strategiesabound.Whenyou
findanerror,orifanythingis

Wedefineamapping

by

unclear,letmeknowandIwillfix

Claim: isinjective.

it.

Proofofclaim:Suppose
Contact

.Then

,and

Sendemailto"project(dot)crazy

.Thenwehave

Since isfiniteand isinjective, isalsosurjective.Thenevery

form

Navigation

Nowlet

MegaIndex

,hence

.So isinjective.

(dot)project(at)gmail(dot)
com".

,sothat

isofthe

forsome .
with

.Wehave

Colophon

.Thus isinfactthe

FAQ

inversionmapping,andweassumedthat isahomomorphism.Byaprevious
example,then, isabelian.

SearchPCP
Search

Categories

About these ads

Like
Bethefirsttolikethis.

Exercises(1,576)
AA:DF(1,320)
IS:P(43)
TAN:PD(213)

Incomplete(11)
Meta(7)

CrazyPageViews

Related

Forallnexcept6,every
automorphismofSym(n)
isinner
In"AA:DF"

Thesetofpermutations
whichmoveafinite
numberofelementsis
normal
In"AA:DF"

Burnside'sBasis
Theoremandsome
basicconsequences
In"AA:DF"

3,152,623

TagCloud

abeliangroupalgebraic
integerringalternating
groupbasiscenter(group)
commutativeringcomplex
numbers

Follow

Bynbloomf,onJanuary19,2010at10:43am,underAA:DF.Tags:abeliangroup,automorphism,
fixedpoint,fixedpointfree.4Comments
Postacommentorleaveatrackback:TrackbackURL.

Follow Project
Crazy Project

Get every new post delivered

Powermapsareabeliangrouphomomorphisms
to your Inbox.
Ifafinitegrouphasageneratingsetcontainingtwoelementsoforder2,thenitisa
Join 231 other followers

computation
conjugate

counterexamplecycle
notation cyclicgroup degree

dihedralgroupdirect
productdirectsumdivisibility
factorization field field
extensionfinitefield

finitegroupgaussian
integersgenerallineargroup

generatingsetgreatest
commondivisorgroup
groupactiongroup
homomorphismgroup
presentation Grbnerbasis

ideal

integersintegraldomain

Join 231 other followers

dihedralgroup

Enteryouremailaddress
Comments
steveOnJanuary9,2012at6:14am

Signmeup

Permalink|Reply

Hi,firstlythanksfortheproof.Iwouldneverimaginedthattheproofactually
requiresdefininganewfunction.Couldyoupleaseexplainalittlebitaboutthelast
Build a website with WordPress.com
line?Byapreviousexample,then,Gisabelian.IdontseehowGisabelian
Thanksinadvance.
steveOnJanuary9,2012at6:15am

Permalink|Reply

Nevermind,gotit=D
nbloomfOnJanuary9,2012at1:45pm

Permalink|Reply

Incaseanyoneelseisconfused,iftheinversionmapisahomomorphism
thenwehave
forall
.Sinceevery
elementisaninverse,then,
forall
.

intersection irreducible

polynomialisomorphismjordan
canonicalformkernellinear
transformationmatrix
maximalideal modular

arithmeticmodulenorm
normalizernormal

subgrouporder(group

Trackbacks
ByGroupisomorphismsonFebruary11,2014at11:00am

[]#2Today,12:00Hi,Thisisa"standard"exercise.Hereisalinktoaproof:Ifa
grouphasanautomorphismwhichisfixedpointfreeoforder2,thenitisabelian|
ProjectCr[]

element)polynomial

polynomialringprime
primeidealprincipalideal
principalidealdomain quadratic
field quadraticintegerring quaternion
group quotientgroup quotient

ring rationalnumbers

rationalsrealnumbers
relativelyprime

ringsemidirect

product semigroup simple

groupsubgroupsubgroup
index subgrouplattice sylow's
theoremsylowsubgroup

symmetricgroup
tensorproductvector

space
Tools
Detexify
DitaaWorkspace
GraphVizWorkspace
MathURL
NoMSG
WolframAlpha

SimilarProjects

LeaveaReply
Enteryourcommenthere...

Folland'sRealAnalysis

PostsByDate
March2012(1)
February2012(13)
January2012(63)
December2011(35)
November2011(30)
October2011(31)
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)
March2010(31)
February2010(70)
January2010(211)
December2009(15)

RecentComments
nbloomfonSubgroupsoffiniteindex
forcetheexistenceof(possibly
nontrivial)normalsubgroupsof
boundedindex
GogoonSubgroupsoffiniteindex
forcetheexistenceof(possibly
nontrivial)normalsubgroupsof
boundedindex
nbloomfonDescribethekerneland
fibersofagiven
grouphomomorphism
032234onDescribethekerneland
fibersofagiven
grouphomomorphism
GroupisomorphismsonIfagroup
hasanautomorphismwhichisfixed
pointfreeoforder2,thenitisabelian
AndrewonOdddegreeextensionsof
formallyrealfieldsareformallyreal
tjm1991onDescribethekerneland
fibersofagiven
grouphomomorphism
RDReeseonCharacterizethecenter
ofagroupring
kimochisonFindallpossibleorders

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.