arxiv:math/ v1 [math.gr] 8 May 2006

Transcription

1 AUTOMORPHISMS OF FINITE ABELIAN GROUPS arxiv:math/ v1 [math.gr] 8 May 2006 CHRISTOPHER J. HILLAR AND DARREN L. RHEA 1. Introduction In introductory abstract algebra classes, one typically encounters the classification of finite Abelian groups [2]: Theorem 1.1. Let G be a finite Abelian group. Then G is isomorphic to a product of groups of the form H p = Z/p e1 Z Z/p en Z, in which p is a prime number and 1 e 1 e n are positive integers. Much less known, however, is that there is a description of Aut(G), the automorphism group of G. The first compete characterization that we are aware of is contained in a paper by Ranum [1] near the turn of the last century. Beyond this, however, there are few other expositions. Our goal is to fill this gap, thereby providing a much needed accessible and modern treatment. Our characterization of Aut(G) is accomplished in three main steps. The first observation is that it is enough to work with the simpler groups H p. This reduction is carried out by appealing to a fact about product automorphisms for groups with relatively prime numbers of elements (Lemma 2.1). Next, we use Theorem 3.3 to describe the endomorphism ring of H p as a quotient of a matrix subring of Z n n. And finally, the units Aut(H p ) End(H p ) are identified from this construction. As a consequence of our investigation, we readily obtain an explicit formula for the number of elements of Aut(G) for any finite Abelian group G (see also [3]). 2. Product Automorphisms Let G = H K be a product of groups H and K, in which the orders of H and K are relatively prime positive integers. It is natural to ask how the automorphisms of G are related to those of H and K. Lemma 2.1. Let H and K be finite groups with relatively prime orders. Then Aut(H) Aut(K) = Aut(H K). Proof. We exhibit a homomorphism φ : Aut(H) Aut(K) Aut(H K) as follows. Let α Aut(H) and β Aut(K). Then, as is easily seen, an automorphism φ(α, β) of H K is given by φ(α, β)(h, k) = (α(h), β(k)). Let id H Aut(H) and id K Aut(K) be the identity automorphisms of H and K, respectively. To prove that φ is a homomorphism, notice that φ(id H, id K ) = id H K and that φ(α 1 α 2, β 1 β 2 )(h, k) = (α 1 α 2 (h), β 1 β 2 (k)) = φ(α 1, β 1 )φ(α 2, β 2 )(h, k), for all α 1, α 2 Aut(H), β 1, β 2 Aut(K), and h H, k K. 1

2 2 C.J. HILLAR AND D.L. RHEA We next verify that φ is an isomorphism. It is clear that φ is injective; thus we are left with showing surjectivity. Let n = H, m = K, and write π H and π K for the standard projection homomorphisms π H : H K H and π K : H K K. Fix ω Aut(H K), and consider the homomorphism γ : K H given by γ(k) = π H (w(1 H, k)), in which 1 H is the identity element of H. Notice that {k n : k K} kerγ since 1 H = π H (w(1 H, k)) n = π H (w(1 H, k) n ) = π H (w(1 H, k n )) = γ(k n ). Also, since m and n are relatively prime, the set {k n : k K} consists of m elements. Consequently, it follows that ker γ = K and γ is the trivial homomorphism. Similarly, δ : H K given by δ(h) = π K (w(h, 1 K )) is trivial. Finally, define endomorphisms of H and K as follows: ω H (h) = π H (ω(h, 1 K )), ω K (k) = π K (ω(1 H, k)). From this construction and the above arguments, we have ω(h, k) = ω(h, 1 K ) ω(1 H, k) = (ω H (h), ω K (k)) = φ(ω H, ω K )(h, k) for all h H and k K. It remains to prove that ω H Aut(H) and ω K Aut(K), and for this it suffices that ω H and ω K are injective (since both H and K are finite). To this end, suppose that ω H (h) = 1 H for some h H. Then w(h, 1 K ) = (w H (h), w K (1 K )) = (1 H, 1 K ), so h = 1 H by injectivity of w. A similar argument shows that ω K Aut(K), and this completes the proof. Let p be a prime number. The order of H p = Z/p e1 Z Z/p en Z is easily seen to be p e1+ +en. As G is isomorphic to a finite product of H p over a distinct set of primes p, Lemma 2.1 implies that Aut(G) is simply the product of Aut(H p ) over the same set of primes. We will, therefore, devote our attention to computing Aut(H p ) for primes p and integers 1 e 1 e n. 3. Endomorphisms of H p In order to carry out our characterization, it will be necessary to give a description of E p = End(H p ), the endomorphism ring of H p. Elements of E p are group homomorphisms from H p into itself, with ring multiplication given by composition and addition given naturally by (A+B)(h) := A(h)+B(h) for A, B End(H p ) and h H p. These rings behave much like matrix rings with some important differences that we discuss below. The cyclic group C p e i = Z/p ei Z corresponds to the additive group for arithmetic modulo p ei, and we let g i denote the natural (additive) generator for C p e i. Specifically, these elements g i can be viewed as the classes 1 = {x Z : x 1 (mod p ei )} of integers with remainder 1 upon division by p ei. Under this representation, an element of H p is a vector (h 1,..., h n ) T in which each h i Z/p ei Z and h i Z is an integral representative. With these notions in place, we define the following set of matrices. Definition 3.1. R p = { (a ij ) Z n n : p ei ej a ij for all i and j satisfying 1 j i n }.

3 AUTOMORPHISMS OF FINITE ABELIAN GROUPS 3 As a simple example, take n = 3 with e 1 = 1, e 2 = 2, and e 3 = 5. Then R p = b 11 b 12 b 13 b 21 p b 22 b 23 : b ij Z b 31 p 4 b 32 p 3. b 33 In general, it is clear that R p is closed under addition and contains the n n identity matrix I. It turns out that matrix multiplication also makes this set into a ring as the following lemma demonstrates. Lemma 3.2. R p forms a ring under matrix multiplication. Proof. Let A = (a ij ) R p. The condition that p ei ej a ij for all i j is equivalent to the existence of a decomposition A = PA P 1, in which A Z n n and P = diag(p e1,...,p en ) is diagonal. In particular, if A, B R p, then AB = (PA P 1 )(PB P 1 ) = PA B P 1 R p as required. Let π i : Z Z/p ei Z be the standard quotient mapping π i (h) = h, and let π : Z n H p be the homomorphism given by π(h 1,..., h n ) T = (π 1 (h 1 ),..., π n (h n )) T = (h 1,...,h n ) T. We may now give a description of E p as a quotient of the matrix ring R p. In words, the result says that an endomorphism of H p is multiplication by a matrix A R p on a vector of integer representatives, followed by an application of π. Theorem 3.3. The map ψ : R p End(H p ) given by is a surjective ring homomorphism. ψ(a)(h 1,..., h n ) T = π(a(h 1,..., h n ) T ) Proof. Let us first verify that ψ(a) is a well-defined map from H p to itself. Let A = (a ij ) R p, and suppose that (r 1,..., r n ) T = (s 1,..., s n ) T for integers r i, s i (so that p ei r i s i for all i). The kth vector entry of the difference π(a(r 1,..., r n ) T ) π(a(s 1,..., s n ) T ) is ( n ) ( n ) ( n ) n π k a ki r i π k a ki s i = π k a ki r i a ki s i (3.1) = = 0, n ( ) aki π k p e k e i p e k e i (r i s i ) since p e k p e k e i (r i s i ) for k i and p e k (r i s i ) when k < i. Next, since π and A are both linear, it follows that ψ(a) is linear. Thus, ψ(a) End(H p ) for all A R p. To prove surjectivity of the map ψ, let w i = (0,..., g i,...,0) T be the vector with g i in the ith component and zeroes everywhere else. An endomorphism M End(H p ) is determined by where it sends each w i ; however, there isn t complete

4 4 C.J. HILLAR AND D.L. RHEA freedom in the mapping of these elements. Specifically, suppose that M(w j ) = (h 1j,...,h nj ) T = π(h 1j,..., h nj ) T for integers h ij. Then, 0 = M (0) = M (p ej w j ) = Mw j + + Mw j = ( ) T p ej h 1j,..., p ej h nj. }{{} p e j Consequently, it follows that p ei p ej h ij for all i and j, and therefore p ei ej h ij when i j. Forming the matrix H = (h ij ) R p, we have ψ(h) = M by construction, and this proves that ψ is surjective. Finally, we need to show that ψ is a ring homomorphism. Clearly, from the definition, ψ(i) = id Ep, and also ψ(a + B) = ψ(a) + ψ(b). If A, B R p, then a straightforward calculation reveals that ψ(ab) is the endomorphism composition ψ(a) ψ(b) by the properties of matrix multiplication. This completes the proof. Given this description of End(H p ), one can characterize those endomorphisms giving rise to elements in Aut(H p ). Before beginning this discussion, let us first calculate the kernel of the map ψ defined in Theorem 3.3. Lemma 3.4. The kernel of ψ is given by the set of matrices A = (a ij ) R p such that p ei a ij for all i, j. Proof. As before, let w j = (0,..., g j,..., 0) T H p be the vector with g j in the jth component and zeroes everywhere else. If A = (a ij ) R p has the property that each a ij is divisible by p ei, then ψ(a)w j = (π 1 (a 1j ),..., π n (a nj )) = 0. In particular, since each h H p is a Z-linear combination of the w j, it follows that ψ(a)h = 0 for all h H p. This proves that A kerψ. Conversely, suppose that A = (a ij ) kerψ, so that ψ(a)w j = 0 for each w j. Then, from the above calculation, each a ij is divisible by p ei. This proves the lemma. Theorem 3.3 and Lemma 3.4 together give an explicit characterization of the ring End(H p ) as a quotient R p / kerψ. Following this discussion, we now calculate the units Aut(H p ). The only additional tool that we require is the following fact from elementary matrix theory. Lemma 3.5. Let A Z n n with det(a) 0. Then there exists a unique matrix B Q n n (called the adjugate of A) such that AB = BA = det(a)i, and moreover B has integer entries. Writing F p for the field Z/pZ, the following is a complete description of Aut(H p ). Theorem 3.6. An endomorphism M = ψ(a) is an automorphism if and only if A (mod p) GL n (F p ). Proof. We begin with a short interlude. Fix a matrix A R p with det(a) 0. Lemma 3.5 tells us that there exists a matrix B Z n n such that AB = BA = det(a)i. We would like to show that B is actually an element of R p. For the proof, express A = PA P 1 for some A Z n n, and let B Z n n be such that A B = B A = det(a )I (again using Lemma 3.5). Notice that det(a) = det(a ). Let C = PB P 1 and observe that AC = PA B P 1 = det(a)i = PB A P 1 = CA.

5 AUTOMORPHISMS OF FINITE ABELIAN GROUPS 5 By the uniqueness of B from the lemma, it follows that B = C = PB P 1, and thus B is in R p, as desired. Returning to the proof of the theorem ( ), suppose that p det(a) (so that A (mod p) GL n (F p )), and let s Z be such that s is the inverse of det(a) modulo p en (such an integer s exists since gcd(det(a), p en ) = 1). Notice that we also have det(a) s 1 (mod p ej ) whenever 1 j n. Let B be the adjugate of A as in Lemma 3.5. We now define an element of R p, A ( 1) := s B, whose image under ψ is the inverse of the endomorphism represented by A: ψ(a ( 1) A) = ψ(aa ( 1) ) = ψ(s det(a)i) = id Ep. This proves that ψ(a) Aut(H p ). Conversely, if ψ(a) = M and ψ(c) = M 1 End(H p ) exists, then ψ(ac I) = ψ(ac) id Ep = 0. Hence, AC I kerψ. From the kernel calculation in Lemma 3.4, it follows that p AC I (entrywise), and so AC I (mod p). Therefore, 1 det(ac) det(a)det(c) (mod p). In particular, p det(a), and the theorem follows. As a simple application of the above discussion, consider the case when e i = 1 for i = 1,...,n. Here, H p can be viewed as the familiar vector space F n p and End(H p) is isomorphic to the ring M n (F p ) of n n matrices with coefficients in the field F p. Theorem 3.6 is then simply the statement that Aut(H p ) corresponds to the set of invertible matrices GL n (F p ). 4. Counting the Automorphisms of H p To further convince the reader of the usefulness of Theorem 3.6, we will briefly explain how to count the number of elements in Aut(H p ) using our characterization. Appealing to Lemma 2.1, one then finds an explicit formula for the number of automorphisms of any finite Abelian group. The calculation proceeds in two stages: (1) finding all elements of GL n (F p ) that can be extended to a matrix A R p that represents an endomorphism, and then (2) calculating all the distinct ways of extending such an element to an endomorphism. Define the following 2n numbers: d k = max{l : e l = e k }, c k = min{l : e l = e k }. Since e k = e k, we have d k k and c k k. We need to find all M GL n (F p ) of the form m 11 m 12 m 1n. m 1c1 M = m d11 m 2c2 m d22 = m ncn m nn 0 m dnn

6 6 C.J. HILLAR AND D.L. RHEA These number n (p d k p k 1 ), k=1 since we only need linearly independent columns. Next, to extend each element m ij from m ij Z/pZ to a ij p ei ej Z/p ei Z such that a ij m ij (mod p), there are p ej ways to do this to the necessary zeroes (i.e., when e i > e j ), since any element of p ei ej Z/p ei Z will do. Additionally, there are p ei 1 ways at the not necessarily zero entries (e i e j ), since we may add any element of pz/p ei Z. This proves the following result. Theorem 4.1. The Abelian group H p = Z/p e1 Z Z/p en Z has n ( Aut(H p ) = p d k p k 1) n n (p ej ) n dj (p ei 1 ) n ci+1. k=1 j=1 References [1] A. Ranum. The group of classes of congruent matrices with application to the group of isomorphisms of any abelian group. Trans. Amer. Math. Soc. 8 (1907) [2] S. Lang, Algebra 3rd ed., Addison-Wesley Publishing Company, New York, [3] J.-M. Pan, The order of the automorphism group of finite abelian group, J. Yunnan Univ. Nat. Sci. 26 (2004) Department of Mathematics, Texas A&M University, College Station, TX address: chillar@math.tamu.edu Department of Mathematics, University of California, Berkeley, CA address: drhea@math.berkeley.edu