This preview shows page 1. Sign up to view the full content.
Unformatted text preview: s such that sd D 0 , by Proposition 2.2.17 , that is, the least positive integer s such that n divides sd . But this is just n=d , since d divides n . n Proposition 2.2.24. Let H be a subgroup of Z n . (a) Either H D f 0 g , or there is a d > 0 such that H D h d i . (b) If d is the smallest of positive integers s such that H D h s i , then d j H j D n . Proof. Let H be a subgroup of Z n . If H f 0 g , let d denote the smallest of positive integers s such that s 2 H . An argument identical to that used for Proposition 2.2.21 (a) shows that h d i D H . Clearly, d is then also the smallest of positive integers s such that h s i D H . Write n D qd C r , where r < d . Then r D qd 2 h d i . Since r < d and d is the least of positive integers s such that s 2 h d i ,...
View Full Document
- Fall '08