College Algebra Exam Review 90

College Algebra Exam Review 90 - of cardinality q for each...

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

View Full Document Right Arrow Icon
100 2. BASIC THEORY OF GROUPS it follows that r D 0 . Thus n is divisible by d . It now follows from the previous lemma that j H j D n=d . n Corollary 2.2.25. Fix a natural number n ± 2 . (a) Any subgroup of Z n is cyclic. (b) Any subgroup of Z n has cardinality dividing n . Proof. Both parts are immediate from the proposition. n Corollary 2.2.26. Fix a natural number n ± 2 . (a) For any positive divisor q of n , there is a unique subgroup of Z n of cardinality q , namely h Œn=qŁ i . (b) For any two subgroups H and H 0 of Z n , we have H ² H 0 , j H j divides j H 0 j . Proof. If q is a positive divisor of n , then the cardinality of h Œn=qŁ i is q , by Lemma 2.2.23 . On the other hand, if H is a subgroup of cardinality q , then by Proposition 2.2.24 (b), n=q is the least of positive integers s such that s 2 H , and H D h Œn=qŁ i . So h Œn=qŁ i is the unique subgroup of Z n of cardinality q . Part (b) is left as an exercise for the reader. n Example 2.2.27. Determine all subgroups of Z 12 and all containments between these subgroups. We know that Z 12 has exactly one subgroup
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: of cardinality q for each positive divisor of 12. The sizes of subgroups are 1;2;3;4;6 , and 12 . The canonical generators of these subgroups are Œ0Ł;Œ6Ł;Œ4Ł;Œ3Ł;Œ2Ł , and Œ1Ł , respectively. The inclusion relations among the subgroups of Z 12 is pictured in Figure 2.2.2 on the next page . Corollary 2.2.28. Let b 2 Z , b ¤ . (a) The cyclic subgroup h ŒbŁ i of Z n generated by ŒbŁ is equal to the cyclic subgroup generated by ŒdŁ , where d D g : c : d :.b;n/ . (b) The order of ŒbŁ in Z n is n= g : c : d :.b;n/ . (c) In particular, h ŒbŁ i D Z n if, and only if, b is relatively prime to n . Proof. One characterization of d D g : c : d :.b;n/ is as the smallest positive integer in f ˇb C ±n W ˇ;± 2 Z g . But then d is also the smallest of positive...
View Full Document

This note was uploaded on 12/15/2011 for the course MAC 1105 taught by Professor Everage during the Fall '08 term at FSU.

Ask a homework question - tutors are online