This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Fundamental Theorem of Abelian Groups :Algebra Jonathan L.F. King University of Florida, Gainesville FL 326112082, USA squash@math.ufl.edu Webpage http://www.math.ufl.edu/ squash/ 28 November, 2006 (at 21:44 ) Abstract: Seatofthepants 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 pgroup, then it is a finite product of cyclic pgroups. 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 finitelymany 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.
 Fall '07
 JURY
 Calculus, Algebra

Click to edit the document details