College Algebra Exam Review 194

College Algebra Exam Review 194 - C i whose order is a...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
204 3. PRODUCTS OF GROUPS .2/20 ± 1 . mod 3/ ; 12 is congruent to zero mod 3 and 4, and invertible mod 5; .3/12 ± 1 . mod 5/ . Put y 1 D 45 , y 2 D 40 , and y 3 D 36 . For any a;b;c , x D 45a C 40b C 36c is a solution to the simultaneous congruence problem. The solution is unique only up to congruence mod 60 , so we can reduce mod 60 to find a unique solution x with 0 ² x ² 59 . For example, let us find x congruent to 0 mod 4, congruent to 2 mod 3, and congruent to 4 mod 5. We can take x D .0/45 C .2/40 C 4.36/ D 224 ± 44 . mod 60/ . The Elementary Divisor Decomposition Lemma 3.6.19. Any finite abelian group is a direct product of cyclic groups, each of which has order a power of a prime. Proof. A finite abelian group G is a direct product of its subgroups GŒpŁ . Each GŒpŁ is in turn a direct product of cyclic groups of order a power of p , by Corollary 3.6.7 . n Lemma 3.6.20. Suppose a finite abelian group G is an internal direct product of a collection f C i g of cyclic subgroups each of order a power of a prime. Then for each prime p , the sum of those
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: C i whose order is a power of p is equal to Gp . Proof. Denote by Ap the sum of those C i whose order is a power of p . Then Ap Gp and G is the internal direct product of the subgroups Ap . Since G is also the internal direct product of the subgroups Gp , it follows that Ap D Gp for all p . n Example 3.6.21. Consider G D Z 30 Z 50 Z 28 . Then G . Z 3 Z 2 Z 5 / . Z 25 Z 2 / . Z 4 Z 7 / . Z 4 Z 2 Z 2 / Z 3 . Z 25 Z 5 / Z 7 : Thus G2 Z 4 Z 2 Z 2 , G3 Z 3 , G5 Z 25 Z 5 , and G7 Z 7 . Gp D for all other primes p . Theorem 3.6.22. (Fundamental Theorem of Finitely Generated Abelian Groups: Elementary Divisor Form). Every nite abelian group is isomor-phic to a direct product of cyclic groups of prime power order. The number...
View Full Document

Ask a homework question - tutors are online