01.12.2012 Views

Algebra I: Section 6. The structure of groups. 6.1 Direct products of ...

Algebra I: Section 6. The structure of groups. 6.1 Direct products of ...

Algebra I: Section 6. The structure of groups. 6.1 Direct products of ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>6.</strong>1.18 Exercise (Groups <strong>of</strong> order p 2 ). Assume G is a finite group <strong>of</strong> order |G| = p 2 for<br />

some prime p > 1. Prove that G ∼ = Z p 2 or G ∼ = Zp × Zp.<br />

Hint: Use the Cauchy theorems and adapt the ideas developed in <strong>6.</strong>1.17. �<br />

<strong>6.</strong>1.19 Exercise. Prove that |A1 × . . . × Ar| = |A1| · . . . · |Ar| for any direct product <strong>of</strong> <strong>groups</strong>.<br />

�<br />

<strong>6.</strong>1.20 Exercise. Prove that the order o(x) <strong>of</strong> an element x = (a, b) in the direct product<br />

group A × B is the least common multiple lcm(o(a), o(b)). Is a similar result true for direct<br />

<strong>products</strong> <strong>of</strong> several <strong>groups</strong>?<br />

Hint: Observe that x m = e ⇔ a m = e and b m = e. In any group, g m = e ⇔ m is a multiple <strong>of</strong><br />

o(g). �<br />

<strong>6.</strong>1.21 Exercise. Is Z15 × Z4 a cyclic group – i.e. does it have an element <strong>of</strong> order 60? Does<br />

Z15 × Z5 have elements <strong>of</strong> order (i) 75? (ii) 25? (iii) 15? (iv) 3? (v) any other order? �<br />

<strong>6.</strong>1.22 Exercise. Identify all elements x = (a, b) <strong>of</strong> order o(x) = 5 in Z15 × Z5. Same for<br />

Z15 × Z4. �<br />

Ultimately we will have a lot to say about the <strong>structure</strong> <strong>of</strong> a finite group G in terms <strong>of</strong> the<br />

prime divisors <strong>of</strong> its order n = |G|. <strong>The</strong>re is one important case in which the outcome has a<br />

striking simplicity.<br />

<strong>6.</strong>1.23 <strong>The</strong>orem. Let G be a nontrivial finite group <strong>of</strong> prime order |G| = p > 1. <strong>The</strong>n G is<br />

isomorphic to the cyclic group (Zp, +). Furthermore, every b �= e is a cyclic generator.<br />

Pro<strong>of</strong>: Let b �= e and consider the cyclic subgroup H = {e, b, b 2 , . . . , b k−1 }, with b k = e. By<br />

Lagrange, |H| = k ≥ 2 must divide the order |G| = p <strong>of</strong> the whole group. Hence k = p and<br />

H = G. �<br />

<strong>Direct</strong> <strong>products</strong> and the Chinese Remainder <strong>The</strong>orem. <strong>The</strong> Chinese Remainder <strong>The</strong>orem<br />

(CRT) has its roots in number theory but has many uses. One application completely<br />

resolves the issues regarding direct <strong>products</strong> Zm × Zn mentioned in <strong>6.</strong>1.14 - 1<strong>6.</strong> <strong>The</strong> original<br />

remainder theorem arose in antiquity when attempts were made to solve systems <strong>of</strong> congruences<br />

involving several different moduli ni<br />

x ≡ a1<br />

(mod n1)<br />

. x ∈ Z<br />

x ≡ ar<br />

(mod nr)<br />

<strong>The</strong> notion <strong>of</strong> congruence is a modern one; the ancient chinese would have viewed this problem<br />

as the search for an integer x with specified remainders ai after division by ni, i = 1, 2, . . .r.<br />

Such systems do not always have solutions, but solutions do exist if the moduli n1, . . . , nr<br />

are pairwise relatively prime, so that gcd(ni, nj) = 1 if i �= j, and then the solution x is unique<br />

up to added multiples <strong>of</strong> the least common multiple m = lcm(n1, . . .,nr) <strong>of</strong> the moduli.<br />

<strong>6.</strong>1.24 Exercise. Here are two systems <strong>of</strong> congruences<br />

(a)<br />

�<br />

x ≡ 5<br />

x ≡ 1<br />

(mod 3)<br />

(mod 12)<br />

(b)<br />

� x ≡ 5 (mod 3)<br />

x ≡ 1 (mod 5)<br />

Taking a “bare hands” approach, verify that the system (a) has no solutions and that the<br />

solutions <strong>of</strong> (b) are <strong>of</strong> the form x0 + k · 15 where x0 = 11 and k ∈ Z.<br />

Hint: If m, n > 1 recall our discussion in Chapter 2 where we showed that the greatest common<br />

divisor c = gcd(m, n) is the smallest positive element in the lattice Λ = Zm+Zn. In particular:<br />

(i) there exist integers r, s (which are not hard to find by trial and error) such that gcd(m, n) =<br />

rm+sn, and (ii) the elements in Λ are precisely the integer multiples <strong>of</strong> gcd(m, n). <strong>The</strong> moduli<br />

6

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!