abelian-gps - Fundamental Theorem of Abelian Groups...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Fundamental Theorem of Abelian Groups :Algebra Jonathan L.F. King University of Florida, Gainesville FL 32611-2082, USA squash@math.ufl.edu Webpage http://www.math.ufl.edu/ squash/ 28 November, 2006 (at 21:44 ) Abstract: Seat-of-the-pants proof scribbled out one Thurs- day. Overview. We work inside a fixed group ( G , , ) . Henceforth let cyclic group mean a nonone- point cyclic group . Use PoP to mean Power Of a Prime . A group G is a PoP group if # G is a PoP. If # G = p N , for a posint N and prime p , then we call G a p- group . The standing notational assumption is that G M , F are groups and G is a particular el- ement. I use Greek letters ,,, ... to name ele- ments of groups. Our goal is to prove the following classical theorem. 1 : Fund. Theorem of Finite Abelian Groups (FToAG). Each finite abelian group G is isomorphic to a finite cartesian product of cyclic groups. The multiset of sizes of the factor groups is unique, when counted appropriately. Furthermore, if G is a p-group, then it is a finite product of cyclic p-groups. The crux for FToAG is handling the special case when G is a PoP group. Tools. Let M F indicate trivial intersection, M F = { } ; we say that M is transverse to F . A collection { C } of groups is a transverse fam- ily , if each member C is transverse to the subgroup generated by the other members. 2 : Fact. Suppose the gps C := { C } are inside an abelian gp. Then C is a transverse family IFF the only soln to eqn Y b = , with each b C , and all but finitely-many equal is every b = . If we choose to enumerate C as C 1 , C 2 ,... , then C is transverse IFF each...
View Full Document

This note was uploaded on 01/26/2012 for the course MAC 3472 taught by Professor Jury during the Fall '07 term at University of Florida.

Page1 / 3

abelian-gps - Fundamental Theorem of Abelian Groups...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online