CZ-GROUPS. Kristijan Tabak and Mario Osvin Pavčević Rochester Institute of Technology and University of Zagreb, Croatia
|
|
- Donald O’Brien’
- 6 years ago
- Views:
Transcription
1 GLASNIK MATEMATIČKI Vol. 51(71)(2016), CZ-GROUPS Kristijan Tabak and Mario Osvin Pavčević Rochester Institute of Technology and University of Zagreb, Croatia Abstract. We describe some aspects of the structure of nonabelian p-groups G for which every nonabelian subgroup has a trivial centralizer in G, i.e. only it s center. We call such groups CZ-groups. The problem of describing the structure of all CZ-groups was posted as one of the first research problems in the open problems list in Yakov Berkovich s book Groups of prime power order Vol 1 ([1]). Among other features of such groups, we prove that a minimal CZ-group must contain at least p 5 elements. The structure of maximal abelian subgroups of these groups is described as well. 1. Introduction and definitions Throughout the entire paper we will think of G as a finite p-group. We assume that every nontrivial nonabelian subgroup has a trivial centralizer in G, i.e. C G (H) = Z(H) for every nonabelian H G. We start by a formal definition of our main object to be investigated. Definition 1.1. A finite p-group G is called a CZ-group if for every nonabelian subgroup M < G, the centralizer of M in G equals to Z(M). We will shortly write G CZ p. We start our analysis with one quite trivial observation about the center of any G CZ p. Proposition 1.2. Let G CZ p. Then Z(G) A, for every nonabelian A G Mathematics Subject Classification. 20D15, 20D25. Key words and phrases. p-group, center, centralizer, Frattini subgroup, minimal nonabelian subgroup. This work has been fully supported by Croatian Science Foundation under the project
2 346 K. TABAK AND M.-O. PAVČEVIĆ Proof. Let s assume the opposite. Take some nonabelian group A < G. If g Z(G)\A, then g C G (A) Z(A). Thus, we have a contradiction with G CZ p. Now, we would like to describe the case when Z(G) is not contained in some abelian subgroup. In that case we prove that such an abelian subgroup can t be a maximal subgroup of some nonabelian subgroup. To be more precise, we have: Lemma 1.3. Let G CZ p. Let A G be an abelian subgroup such that Z(G) A. If M > A is nonabelian, then [M : A] p 2. Proof. Take g Z(G) \ A, where A is an abelian subgroup of G. Let M G be a nonabelian group such that [M : A] = p. Then A M. Notice that, from Z(G) M we conclude that there is a g Z(G) M such that [ g,a : A] p and g,a M, because of which, M = g,a is abelian. That is a contradiction, hence [M : A] p 2. In some sense, it is a natural question to ask could CZ structure be inherited from G to some smaller subgroup. The following result provides the answer. Proposition 1.4. Let G CZ p. If N < M < G, where N is nonabelian, then M CZ p. Proof. Since N is nonabelian, clearly M 1. So C G (N) = Z(N) and C G (M) = Z(M). Assume that C M (N) > Z(N). Then there is some g C M (N)\Z(N).SinceC M (N) C G (N), wehaveg C G (N)\Z(N).Thus, C G (N) Z(N) which is a clear contradiction. Therefore, C M (N) = Z(N), thus M CZ p. 2. Center of a nonabelian subgroup of a CZ-group Next topic that we cover is the question of the center of a CZ-group G. To be more specific, we will provide properties of the center of a maximal nonabelian subgroup of G and compare the center of G with centers of some of its subgroups. Lemma 2.1. Let G CZ p and M G is nonabelian. Then Z(G) Z(M). Proof. Assume that g Z(G) \ Z(M). Then g M, otherwise g Z(M). Hence, g C G (M) \ Z(M). This is a contradiction with C G (M) = Z(M). Next result deals with the center of a maximal nonabelian subgroup. Theorem 2.2. Let G CZ p and let M < G be a maximal nonabelian subgroup. Then one of the following is true:
3 CZ-GROUPS Z(M) = Z(G), 2. Z(M) > Z(G) and [G : M] = p. Proof. Take M < G, where M is maximal nonabelian. If Z(M) > Z(G), take g Z(M) \ Z(G). Then there is some x G \ M such that [x,g] 1 and g M. Notice that M,x is nonabelian. Assume that x p M. Then x p Z(M) = C G (M), so M,x p is also nonabelian. If M,x p = G, then x p is a generator. On the other hand x p Φ(G). Therefore, x is not a generator. Hence, M < M,x p < G, which is a contradiction with the assumption that M is maximal nonabelian. So, x p M and herewith we have proved [G : M] = p. Lemma 2.3. Let G CZ p and A < G be abelian of index p. Then for every x G\A, there is a nonabelian M < G, such that x p Z(M). Proof. Take x G\A. We know that G/A = xa. Take y A, such that [x,y] 1 (there is always such an y, otherwise G would be abelian). Take M = x,y. Then C G (M) = Z(M). Notice that x p A, so [x p,y] = 1. Now, it is clear that x p Z(M). 3. Minimal CZ-groups In this section we deal with CZ-groups which don t possess any nontrivial CZ-subgroup. We shall name such groups minimal CZ-groups. We start with a definition of a minimal CZ-group. Definition 3.1. A group G CZ p is called a minimal CZ-group if it doesn t possess a nontrivial CZ-subgroup. By Proposition 1.4, it is straightforward to see that if G is a minimal CZ-group, then every proper nonabelian subgroup is a minimal nonabelian group. For a CZ-group G which is determined to be minimal in this sense, we shall write G CZm p. For the sake of completeness, we repeat here the known result that classifies minimal nonabelian p-groups. Theorem 3.2. Let G be a minimal nonabelian p-group. Then G = p and G/G is abelian of rank 2. G is isomorphic to one of the following groups: 1. G = a,b a pm = b pn = 1, a b = a 1+pm 1, m 2, n 1 and G = p m+n, 2. G = a,b, a pm = b pn = c p = 1, [a,b] = c, [a,c] = [b,c] = 1, where G = p m+n+1, and if p = 2, then m+n > 2 and G is maximal cyclic normal subgroup, 3. G = Q 8. Our next result answers the question on the number of generators of a given G CZm p.
4 348 K. TABAK AND M.-O. PAVČEVIĆ Theorem 3.3. If G CZm p, then [G : Φ(G)] p 3. Proof. Let A < G be some maximal abelian subgroup (meaning that there is no abelian subgroup B such that A < B < G). Then A < x,a G for some x G \ A. It is clear that there is an a A such that [a,x] 1 (otherwiseawouldn tbemaximalabelian). TakeM = a,x.clearlym > 1. If M = G, then [G : Φ(G)] = p 2. If [G : M] p 2, then there is some N < G such that M < N < G. Therefore N CZ p which contradicts to G CZm p. If [G : M] = p, then it is clear that G = a,x,y, for some y G\M. Hence [G : Φ(G)] p 3. Notice that if G CZm p, then it is natural to assume G p 4. Otherwise, any proper subgroup would be of order at most p 2, thus abelian. In orderto deliveradescription ofaminimal CZ-group,we need toprovidesome information about automorphisms of minimal nonabelian groups, since such groups, as we have seen above, are main ingredients of minimal CZ-groups. Thus, we will start our analysis with groups of order p 4. For that, we need some technical results regarding the modular group of order p 3, which may be a minimal nonabelian subgroup of a putative CZ-group G. Throughout this paper we will denote that modular group and its generators and relations by M p 3 = a,b a p2 = b p = 1, a b = a 1+p. Another option is that a nonabelian subgroup of order p 3 is given by N = a,b, a p = b p = c p = 1, [a,b] = c, [a,c] = [b,c] = 1 and this notation of the group N will be kept throughout the paper as well. It is easy to see that for M p 3 the following holds: b j a i = a i(1 p)j b j, and (a i b j ) k = a i[1+(1 p)j +(1 p) 2j + +(1 p) (k 1)j] b kj for k 2. On the other hand, o(a i b j ) = p 2 for any i 0,p and i [p 2 1]\ {0,p},whileo(a p b j ) = p.finally, it isalsoeasyto seethat(a i b j ) b = (a i b j ) p+1. Also, because of a M p 3 we may assume that any automorphism of M p 3 is of the form a α b β a αk (a pi b j ) β for some integers k, i and j. The next result gives a description of such automorphisms. Lemma 3.4. Let M p 3 = a,b a p2 = b p = 1, a b = a 1+p. Let ϕ ij : M p 3 M p 3 be maps defined by ϕ ij (a α b β ) = a α (a pi b j ) β. Then 1. ϕ ij (a α b β a γ b δ ) = a α+γ(1 p)β +pi (1 p)(β+δ)j 1 (1 p) j 1 b j(β+δ), 2. ϕ ij (a α b β )ϕ ij (a γ b δ ) = a α+pi (1 p)βj 1 (1 p) j 1 +γ(1 p)jβ +pi(1 p) βj (1 p)δj 1 (1 p) j 1 b j(β+δ). Proof. Notice that a α b β a γ b δ = a α (b β a γ )b δ = a α a γ(1 p)β b β b δ. Therefore, we have ϕ ij (a α b β a γ b δ ) = ϕ ij (a α+γ(1 p)β b β+γ ) = a α+γ(1 p)β (a pi b j ) β+δ.
5 CZ-GROUPS 349 But, on the other hand (a pi b j ) β+δ = a pi[1+(1 p)j +(1 p) 2j + +(1 p) j(β+δ 1)j] b j(β+δ), hence ϕ ij (a α b β a γ b δ ) = a α+γ(1 p)β +pi (1 p) (β+δ)j 1 (1 p) j 1 b j(β+δ). Furthermore, we have ϕ ij (a α b β )ϕ ij (a γ b δ ) = a α (a pi b j ) β a γ (a pi b j ) δ Let us introduce shortcuts = a α a pi[1+(1 p)j +(1 p) 2j + +(1 p) j(β 1)] b jβ a γ a pi[1+(1 p)j +(1 p) 2j + +(1 p) j(δ 1)] b jδ. A = 1+(1 p) j +(1 p) 2j + +(1 p) j(β 1) = (1 p)βj 1 (1 p) j 1, B = 1+(1 p) j +(1 p) 2j + +(1 p) j(δ 1) = (1 p)δj 1 (1 p) j 1. We get ϕ ij (a α b β )ϕ ij (a γ b δ ) = a α a pia b jβ a γ a pib b jδ = a α+pia (b jβ a γ+pib )b jδ = {since b j a i = a i(1 p)j b j } = a α+pia a (γ+pib)(1 p)jβ b jβ b jδ = a α+pi (1 p)βj 1 (1 p) j 1 +γ(1 p)jβ +pi(1 p) βj (1 p)δj 1 (1 p) j 1 b j(β+δ). Throughoutthe comingresultswe will deal with the assumption that M p 3 is a normal subgroup of G. Proposition 3.5. Let G be a p-group and M p 3 = a,b G. Let d G\M be such that a d = a and b d b. Then [b,d] = 1. Proof. Since M p 3 G, the action via conjugation is an inner automorphism of M p 3. Let us use the notation (a α b β ) d = ϕ ij (a α b β ) = a α (a pi b j ) β. Then we would have ϕ ij (a α ) = a α = (a α ) d, ϕ ij (b β ) = (a pi b j ) β. Let us assume that b d = b j. Then ϕ ij (b) = a pi b j = b d, so pi 0 mod p 2, hence i {0,p}. We proved that ϕ ij (a α b β a γ b δ ) = a α+γ(1 p)β b j(β+δ). On the other hand ϕ ij (a α b β )ϕ ij (a γ b δ ) = a α a 0 b jβ a γ a 0 b jδ = a α (a jβ a γ )b jδ = a α a γ(1 p)jβ b jβ b jδ = a α+γ(1 p)jβ b j(β+δ). Therefore, it is necessary that a γ(1 p)β = a γ(1 p)jβ, so γ(1 p) β γ(1 p) jβ mod p 2. Now, we must have γ [ (1 p) jβ (1 p) β] 0 mod p 2. From here
6 350 K. TABAK AND M.-O. PAVČEVIĆ we get β(1 j) 0 mod p. Since this must be true for any β, we conclude that 1 j 0 mod p, so b d = b. Proposition 3.6. Let G be a p-group and M p 3 G. Let g G \ M p 3 such that a d = a and b d a p b. Then b d = a p b. Proof. Notice that (a α b β ) d = a α (a p b j ) β = ϕ 1j (a α b β ). It s necessary that ϕ 1j (a α b β )ϕ 1j (a γ b δ ) = ϕ 1j (a α b β a γ b δ ). Using Lema 3.4 we get On the other hand ϕ 1j (a α b β a γ b δ ) = a α+γ(1 p)β +p (1 p) (β+δ)j 1 (1 p) j 1 b j(β+δ). βj ϕ 1j (a α b β )ϕ 1j (a γ b δ 1 ) = a α+p(1 p) (1 p) j 1 +γ(1 p)βj +p(1 p) βj (1 p)δj 1 (1 p) j 1 b j(β+δ). Let us use abbreviations Λ = α+γ(1 p) β +p (1 p)(β+δ)j 1 (1 p) j, 1 Π = α+p (1 p)βj 1 (1 p) j 1 +γ(1 p)βj +p(1 p) βj(1 p)δj 1 (1 p) j 1. So, it is necessary that Λ Π mod p 2. We see that [ p 1+(1 p) j +(1 p) 2j + +(1 p) (β 1)j] pβ mod p 2. Similarly, we get and Hence, p (1 p)(β+δ)j 1 (1 p) j 1 (β +δ)p mod p 2 p (1 p)δj 1 (1 p) j 1 δp mod p2. a Λ = a α+γ(1 p)β +(β+γ)p = a Π = a α+βp+δp+γ(1 p)jβ. Then, γ(1 p) β γ(1 p) βj mod p 2. Thus we get only one possibility: j 1 mod p. Therefore, b d = a p b. Now we will focus our analysis to groups of order p 4. The main goal is to determine all minimal CZ-groups of order p 4. Proposition 3.7. Let G = a,b,c be a group of order p 4, p 2, where M p 3 = a,b a p2 = b p = 1, a b = a 1+p. If [a,c] = 1 and b c b, then also [b,c] = 1.
7 CZ-GROUPS 351 Proof. If [a,c] = 1, then a c = a. If b c b, then b c = b j for some j [p]. Notice that (a α b β a γ b δ ) c = a α+γ(1 p)β b (β+δ)j, while on the other hand we have (a α b β ) c (a γ b δ ) c = a α b jβ a γ b jδ = a α+γ(1 p)jβ b jβ+jδ. This gives us α+γ(1 p) jβ α+γ(1 p) β mod p 2. Since α, γ [p 2 ] and β [p], we get γ(1 p) jβ γ(1 p) β mod p. Now, it is easy to see that j 1 mod p, thus b c = b. Proposition 3.8. Let G = a,b,c be a group of order p 4, p 2, where M p 3 = a,b a p2 = b p = 1, a b = a 1+p. If a c = a and b c a p b, then b c = a p b. Proof. Put b c = a p b j. We use an idea that is similar to the previous proof. Firstly, notice that because of b j a i = a i(1 p)j b j we get (a α b β a γ b δ ) c = a α+pβ+pδ a γ(1 p)βj b βj+δj. On the other hand, after we use the automorphism property, we get (a α b β a γ b δ ) c = a α+pβ+pδ a γ(1 p)β b βj+δj. This gives us j 1 mod p. Notice that if G = a,b,c is of order p 4 and p > 2, where M p 3 = a,b, then from the assumption G CZ we get o(c) p 2. Otherwise, o(c) = p 3, implying c G to be maximal abelian. Then G would be M p 4, hence G is not a CZ-group. A contradiction. It can be shown that if G = a,b,c CZ p and G = p 4, p > 2 and M p 3 = a,b, then the assumption [a,c] = 1 yields b c = a p b and o(c) = p 2, with an additional property a p = c p. The alternative possibility is o(c) = p. But the next result shows that this is not possible. Theorem 3.9. Let G = M p 3,c be of order p 4, where M p 3 = a,b a p2 = b p = 1, a b = a 1+p. If a c = a, b c = a p b and o(c) = p, then G CZ p. Proof. Let A = a,c = C p 2 C p. Then A is a maximal abelian subgroup. Take φ : A A where φ(x) = [x,b]. We know that φ is a homomorphism and Im(φ) = G = a p. Since a ac = a, c ac = c, b ac = b, then ac Z(G). Notice that o(ac) = p 2 and G = p 4 = p Z(G) G. Thus Z(G) = p 2, hence Z(G) = ac. Clearly ac M p 3. Therefore ac C G (M p 3) \ Z(M p 3). So, M p 3 doesn t have a trivial centralizer, hence G CZ p. Lemma Let G = M p 3,c CZ p be of order p 4, where M p 3 = a,b a p2 = b p = 1, a b = a 1+p. If a c a and b c b, then [b,c] = 1. Proof. Take a c = a i, b c = b j where i [p 2 1], j [p 1]. Then (a α b β a γ b δ ) c = (a α a γ(1 p)β b β+δ ) c = a αi+γ(1 p)βi b (β+δ)j. On the other hand we have (a α b β a γ b δ ) c = a αi b βj a γi b δj = a α+γi(1 p)βj b (β+δ)j. This leads us to γi[(1 p) βj (1 p) β ] 0 mod p 2. Since γ is any integer, we get p (1 p) βj (1 p) β. Hence j = 1.
8 352 K. TABAK AND M.-O. PAVČEVIĆ Theorem Let G = M p 3,c be a group of order p 4, p > 2 where M p 3 = a,b a p2 = b p = 1, a b = a 1+p. If o(c) = p 2, then a c M p 3 \ a or a c > 1. Proof. Assume a c = a i and a c = 1. Then G = a,c and c p M \ a. Therefore c p = a pi b j where i {1,p} and j [p 1]. Notice that because of Z(M p 3) = a p we have (c p ) k = (a pi ) k b jk. Furthermore, a cp = a api b j = a bj = a (1+p)j = a 1+pj. For every k N we have a (api b j ) k = a bjk = a (1+pj)k. If we assume that a (1+pj)k = a, then (1 + pj) k 1 0 mod p 2. Therefore, p(kj 1) 0 mod p 2 and kj 1 mod p. Notice that such k always exists (and is not divisible by p) since C p is a field. Therefore, without losing generality we can take c p = b. Take ϕ Aut( a ) = Aut(C p 2) = C p(p 1) (here we need the assumption p > 2). Put ϕ(a) = a i. Then ϕ p (a) = a ip = a cp = a b = a 1+p. On the other hand ϕ p(p 1) (a) = a, hence (p+1) p mod p 2. This gives us p 0 mod p 2, which is an obvious contradiction. Therefore, a c M \ a or a c > 1. Proposition Let G = M p 3,c be a CZ-group of order p 4, p > 2 where M p 3 = a,b a p2 = b p = 1, a b = a 1+p. If o(c) = p 2 and a c a, then [b,c] 1. Proof. Assume that the claim is not true. That means [b,c] = 1. Notice that c C G (M p 3)\M p 3, otherwisegwouldn t be acz-group. Since a c a, then by the previous theorem a c > 1. Notice that a c = a p. We can write a p = c p. Take a c = a 1+i. Then a a 1+i is an automorphism of order p, thus a cp = a (1+i)p = a 1+pi = a, hence pi 0 mod p 2. So without losing generality we may write a c = a 1+p. Now, look at the element cb p 1. For it we have [c,cb p 1 ] = [b,cb p 1 ] = 1. On the other hand a cbp 1 = (a 1+p ) bp 1 = (a (p+1)p 1 ) p+1 = a (p+1)p = a 1+p2 = a. Hence, cb p 1 C G (M p 3)\M p 3, which is a contradiction. Thus, [b,c] 1. Lemma Let G = M p 3,c be a CZ-group of order p 4, p > 2 where M p 3 = a,b a p2 = b p = 1, a b = a 1+p. If a c = a 1+p, then b c = a p b j where j 0. Proof. Since M p 3 G, then b c M p 3. If b c a, then o(b) = p implies that we can write b c = a p. Therefore b c Φ(M p 3)char M p 3, where Φ(M p 3) stands for the Frattini subgroup, which is characteristic. Thus b Φ(M p 3) and so not a generator of M p 3, contradiction. Therefore b c = b j or b c = a p b j, where j 0. If b c = b j, then b c b j is an automorphism of order p 1 (since Aut(C p ) = C p 1 ). Therefore, b cp 1 = b, so [b,c p 1 ] = 1. On the other hand a cp 1 a and c p 1 is clearly a generator for G. But this contradicts Proposition 3.12.
9 CZ-GROUPS 353 Theorem Let G = M p 3,c be a CZ-group of order p 4, p > 2 where M p 3 = a,b a p2 = b p = 1, a b = a 1+p. If o(c) = p 2 and a c = a 1+p, then b c = a p b. Proof. Because of Theorem 3.11 we have a c > 1, thus without losinggeneralitywemaywrite a p = c p. BecauseofM p 3 G,we haveb c M p 3. As we have proved in the previous Lemma, we have b c = a p b j a p. From Theorem 2.2 we have Z(M p 3) = a p Z(G) > 1. Thus Z(G) = a p. Put z = a p. Then c 1 bc = zb j. From here we get bc = czb j and b 1 cb = zb 2 cb j+1 = zb p 2 cb j+1. Using this, we get c b = zb p 3 (bc)b j+1 = zb p 3 (czb j )b j+1 = z 2 b p 3 cb 2j+1 = = z k b p k 1 cb kj+1. Put k = p 1. Then c b = z p 1 cb j(p 1)+1 = z p 1 cb 1 j. Now, let us take a group N = c,b. Since c N, we get c b c. From here we get b 1 j c. If b 1 j b, then b 1 j = b c, so G = a,c is of order p 3. Thus, the only option is b 1 j = 1, hence b j = b. Proposition Let M p 3 = a,b a p2 = b p = 1, a b = a 1+p. Let G = M p 3,c be a CZ-group of order p 4 where o(c) = p 2. Then a G. Proof. Let us assume the opposite. Since M p 3 G, then a c = a i b j, where o(a i ) = p 2 and b j 1. Take N = a,c. Because a c p we have N = p 3, therefore N G. So a c N. This gives us a c = a i b j N, hence b j N. If b j 1, then b N and N = G, which gives us a contradiction. So, the only case is b j = 1 and a c a, hence a G. Now, we have only one candidate G = a,b,c a p2 = c p2 = b p = 1, a b = a c = az, b c = bz, z = a p for a CZ-group of order p 4 that contains M p 3. The next result will provide an answer regarding the status of such group. Theorem The group G = a,b,c a p2 = c p2 = b p = 1, a b = a c = az, b c = bz, z = a p is not a CZ-group. Proof. Notice that M p 3 = a,b a p2 = b p = 1, a b = a 1+p G. Let us assume that G is a CZ-group. Then, by previous results we have Z(G) = Z(M p 3) = a p = z. Take x = ab p 1 c. Then x M p 3, otherwise c M p 3 and G = p 4. Then a x = a abp 1c = a bp 1c = (a b ) bp 2c = (az) bp 2 c = za bp 2c = z(a b ) bp 3c = z 2 a bp 2c = = z p 1 a c = z p 1 za = a, which gives us x C G (a). On the other hand it is clear that from b 1 ab = az we get ab = zba, thus ba = z 1 ab. Using this, we get b a = a 1 ba = a 1 (z 1 ab) = z 1 b. Therefore b x = b abp 1c = (z 1 b) bp 1c = (z 1 b) c = z 1 b c = z 1 bz = b,
10 354 K. TABAK AND M.-O. PAVČEVIĆ thus x C G (b). So, x C G (M p 3)\Z(M p 3), which is a contradiction with the assumption that G is a CZ-group. In other words, we have proved the following result: Theorem If G CZm p is of order p 4, p > 2, then M p 3 G. It is easy to check the properties of an exponent of a minimal CZ-group of order p 4. Lemma Let G CZm p and G = p 4. Then exp(g) p 2. Proof. Let exp(g) > p 2. If exp(g) = p 4 then G = C p 4 CZ. If exp(g) = p 3, then there is some d G such that d G. Hence G = M p 4, which is not a CZ-group. Theorem 3.2 motivates us to deal with the possible minimal CZ-group that contains minimal nonabelian subgroup different than modular. Proposition Let G CZm p be of order p 4. Let N = a,b,c a p = b p = c p = 1, a b = ac, [a,c] = [b,c] = 1 G. Then there is a T N, such that T = C p C p and T G. Proof. We know that N = p 3 and N is minimal nonabelian group. Also N = c is maximal cyclic normal subgroup in N. Thus every maximal subgroup in N is isomorphic to C p C p. Take Γ 1 = {T N [N : T] = p}. As we ve seen, T = C p C p for every T Γ 1. We also know that Γ 1 1 mod p. Take d G\N such that G = N,d (such d always exists). Since d p N, we know that if d acts on Γ 1 nontrivially (via conjugation), then the orbits are of order p or 1. Therefore, there is some T Γ 1 which is fixed by conjugation with d. Hence T d = T, therefore T G. Now, we will use the previous result to describe any minimal CZ-group of order p 4 that contains a subgroup of order p 3 isomorphic to N. Proposition Let G CZm p be of order p 4 and N = a 1,b 1,c 1 a p 1 = bp 1 = cp 1 = 1, ab1 1 = a 1c 1, [a 1,c 1 ] = [b 1,c 1 ] = 1 G. Then there is a T N such that T = a,b = C p C p and T G. Additionally, N = T,b and [a,b] = c Z(N). Proof. We know that Z(N) = c 1. Then also C p = Z(N) Z(G) > 1. Thus, Z(N) = Z(G). Also, by previous result, we know that there is some T = a 2,c 2 = C p C p that is normal in G. Take some b 2 N \T. Since N = T,b 2, we must have a b2 2 a 2. Otherwise, N would be abelian. Since T G, then a b2 2 = ai 2 cj 2 for some i,j. Notice that if cj 2 1, then a 2,c 2 = a 2,c j 2. Therefore, we can write a b2 2 = ai 2c 2. Another option is a b2 2 = ai 2. Since T G we have T Z(G) > 1. If a b2 2 = ai 2, then we can write c 2 = T Z(N). Then N = E p 3 (elementary abelian group) which is a contradiction. So, the only
11 CZ-GROUPS 355 option is a b2 2 = ai 2 c 2. Thus, [a 2,b 2 ] = a i 1 2 c 2, thus a i 1 2 c 2 = c 2 = Z(N) = N. Therefore i = 1. Now, identify a 2 = a, b 2 = b, c 2 = c. Theorem Let G CZm p be of order p 4. Then G has no subgroup isomorphic to the minimal nonabelian group N = a,b,c a p = b p = c p = 1, a b = ac, [a,c] = [b,c] = 1. Proof. Let us assume the opposite. Let N G, where N = a,b,c a p = b p = c p = 1, a b = ac, [a,c] = [b,c] = 1. By our previous result, without losing generality, we can write T = a,c G. Since G/T = p 2, it is abelian, hence T G. Thus G p 2. Since G Φ(G) then also Φ(G) p 2. If Φ(G) = p 3, then dim(g) = 1 and G = C p 4, which is clearly a contradiction. Hence, the only option is Φ(G) = p 2 and Φ(G) = G = T. Therefore, G has 2 generators. Put G = x,y. Then it is clear that G = [x,y] = C p 2, which is a clear contradiction with G = T = C p C p. Using Theorems 3.17 and 3.21 we have reached one of the main results of this paper. We establish now the lower bound for the order of minimal CZ-groups. Theorem Let G CZm p. Then G p 5. Proof. If G CZm p CZ, then G has some nonabelian subgroup S < G such that C G (S) = Z(S). It is clear that S > p 3, thus G p 4. If G = p 4, then there is some minimal nonabelian S < G. So S = M p 3 or N. Both cases were eliminated by Theorems 3.17 and Maximal normal abelian subgroup of G CZ p This section collects another type of results, it deals with CZ-groups and repercussions on its maximal abelian subgroups. First, we provide a slightly different proof of Lemma from Berkovich s and Janko s book Groups of Prime Power Order, Vol. 2 ([2]). We will use notation A p B if A is a subgroup of B whose index is p. Similarly, we will write A p B if A B and [B : A] = p. Lemma 4.1. Let G be a p-group and A G its maximal abelian subgroup. Then for any x G\A there is some a A such that [x,a] 1 and [x,a] p = 1. Furthermore, [a, x, x] = 1, thus x, a is minimal nonabelian, i.e. every p- group is generated by minimal nonabelian subgroups. Proof. Take C A (x) for some x G\A. Clearly C A (x) < A, since otherwise x,a would be abelian and would contain A, which is a contradiction. Take x C A (x). It is a group because of x C A (x) = C A (x) x. One can see that x C A (x) < x A. Take B x A such that x C A (x) p B. Notice that x C A (x) A p A. Clearly x C A (x) A = C A (x). ThereforeC A (x) p A B.
12 356 K. TABAK AND M.-O. PAVČEVIĆ On the other hand, take b = x i a B (where a A.) Take g C A (x). Then (because g A) we have b g = (x i a) g = (x g ) i a g = x i a = b. Thus C A (x) Z(B). Now take a (A B) \C A (x) such that a p C A (x). Clearly [a,x] 1. Since [x,a] B Φ(B), [x,a] C A (x) x p B. Let us assume that [x,a] C A (x). Then [x,a] = x i a 1 for some a 1 C A (x). Then x 1 a 1 xa = x i a 1 and x a = x i+1 a 1. On the other hand, x xa = x xi+1 a 1 = x a1 = x, thus x a C A (x). Then (x a ) a 1 C A (x) a 1 = C A (x), so x C A (x) a contradiction! Therefore, [x,a] C A (x), so B C A (x). Knowing that for any finite group it holds [x,yz] = [x,z][x,y] z, we have 1 = [x,a p ] = [x,a p 1 a] = [x,a][x,a p 1 ] a. Because of [x,a p 1 ] B C A (x), we get [x,a p ] = [x,a][x,a p 1 ]. This gives us [x,a] p = 1. Finally, because of [x,a] C A (x), we get [a,x,x] = 1. Now we want to characterize the centralizer of a maximal abelian subgroup of a CZ-group because it certainly could be used for further describing the structure of a CZ-group. Lemma 4.2. Let G CZ p and let A G be a maximal abelian subgroup. Let x G\A. Then C A (x) Z(N) for every nonabelian N x A. Proof. Take x G \ A. If C A (x) = A, then x,a > A is abelian contradictingtotheassumptionforabeingmaximal. Thus, C A (x) < A.Take N x A, where N is nonabelian. Then, G CZ p implies C G (N) = Z(N). Take g C A (x) and y N. Then y = x j a 1, a 1 A. Hence, (x j a 1 ) g = (x g ) j a g 1 = xj a 1, because [g,x] = 1. Also, g A, so [g,a 1 ] = 1. Therefore, g C G (N) = Z(N), hence C A (x) Z(N). Corollary 4.3. Let G CZ p and let A G be a maximal abelian subgroup. Let x G \ A. Then for every nonabelian N x A, it holds Z(N)\C A (x) x C A (x). Proof. We know that C A (x) Z(N) < N x A. Take g = x j a 1 Z(N) \ C A (x). Then [g,x] = 1 and x g = x xj a 1 = x a1 = x which yields a 1 C A (x). Thus, Z(N)\C A (x) x C A (x). Corollary 4.4. Let G CZ p and let A G be maximal abelian subgroup. Let x G\A. Then for every nonabelian N x A, it holds C A (x) Z(N) x C A (x). Proof. Since C A (x) Z(N) and Z(N)\C A (x) x C A (x) we have [Z(N)\C A (x)] C A (x) x C A (x) C A (x). Because C A (x) x C A (x), we have Z(N) x C A (x). Hence Z(N) x C A (x).
13 CZ-GROUPS 357 Theorem 4.5. Let G CZ p. and let A Gbe a maximal abelian subgroup. Let x G\A such that x p A. Then Z( x A) = C A (x) = C G ( x A). Proof. Take x G \ A and x p A. Then, by previous result, we have C A (x) Z( x A) x AC A (x). Clearly [ x C A (x) : C A (x)] = p. If Z( x A) = x C A (x), then x Z( x A), hence [x,a] = 1. A contradiction with maximalityofa. ThereforeZ( x A) = C A (x) = C G ( x A). Lastequality is true due to G CZ p. Corollary 4.6. Let G CZ p and let A G be a maximal abelian subgroup. Then C A (T \A) Z(T) < A for any T G such that A < T. Theorem 4.7. Let G CZ p and let A G be a maximal abelian subgroup. Then for any x G\A there is some a A such that C = a,x is minimal nonabelian and C A (x) = Z(C) A C. Proof. We already know that for any x G \ A, there is some a A such that C = a,x is minimal nonabelian. Take t C A (x) \ C. Then t A and [t,a] = [t,x] = 1. Hence t C G (C) = Z(C) (due to G CZ), which is an obvious contradiction. Therefore, t C and C A (x) C. Now, take g C A (x). Then [g,x] = [g,a] = 1, so g Z(C) A. So far we have C A (x) Z(C) A. Now, take s Z(C) A but s C A (x). Then [s,x] = 1, so s C A (x). Again a contradiction. This gives us Z(C) A C A (x). Finally, we present our second main result, the full description of the centralizer of a generator that lies outside of a maximal abelian subgroup. Theorem 4.8. Let G CZ p and let A G be a maximal abelian subgroup. If x G \ A such that x p A, then Z(B) = C A (x) where B = x,a. Furthermore, there is a minimal nonabelian group M = x,a, where a A such that Z(M) = C A (x) A and M A p M. Proof. Take x G \ A such that x p A. Put B = x,a. Clearly A p B. Take some g C A (x). Then g Z(B) since [g,x] = [g,a 1 ] = 1 for any a 1 A. Hence C A (x) Z(B). Now, take h Z(B)\C A (x). If h A, then h C A (x). A contradiction. If h A, then h B \ A and [h,a] = 1. Therefore A,h > A is abelian, contradiction with the choice of A. Thus, Z(B) C A (x). We know that there is some a A such that M = x,a is minimal nonabelian. We already know that Z(M) A = C A (x). Additionally, we have B = MA. Then B = M A. This gives us [B : A] = [M : M A] = p. M A Thus M A p M. Since M is minimal nonabelian, we have Z(M) p M A p M.
14 358 K. TABAK AND M.-O. PAVČEVIĆ References [1] Y. Berkovich Groups of Prime Power Order Vol. 1., Walter de Gruyter GmbH & Co. KG, Berlin, [2] Y. Berkovich and Z. Janko, Groups of Prime Power Order Vol. 2., Walter de Gruyter GmbH & Co. KG, Berlin, [3] Y. Berkovich and Z. Janko, Groups of Prime Power Order Vol. 3., Walter de Gruyter GmbH & Co. KG, Berlin, K. Tabak Rochester Institute of Technology, Zagreb Campus D.T. Gavrana 15, Zagreb Croatia M.-O. Pavčević Department of applied mathematics Faculty of Electrical Engineering and Computing University of Zagreb Zagreb Croatia Received:
First online - August 26, Draft version - August 26, 2016
Novi Sad J. Math. Vol. XX, No. Y, 20ZZ,??-?? A CLASS OF SOME THIRD-METACYCLIC 2-GROUPS Marijana Greblički 1 Abstract. Third-metacyclic finite 2-groups are groups with a nonmetacyclic second-maximal subgroup
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationConnectivity of Intersection Graphs of Finite Groups
Connectivity of Intersection Graphs of Finite Groups Selçuk Kayacan arxiv:1512.00361v2 [math.gr] 2 Aug 2016 Department of Mathematics, Istanbul Technical University, 34469 Maslak, Istanbul, Turkey. e-mail:
More informationSection 15 Factor-group computation and simple groups
Section 15 Factor-group computation and simple groups Instructor: Yifan Yang Fall 2006 Outline Factor-group computation Simple groups The problem Problem Given a factor group G/H, find an isomorphic group
More informationA. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that
MATH 402A - Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =
More informationFINITE p-groups WITH A UNIQUENESS CONDITION FOR NON-NORMAL SUBGROUPS. Zvonimir Janko University of Heidelberg, Germany
GLASNIK MATEMATIČKI Vol. 40(60)(2005), 235 240 FINITE p-groups WITH A UNIQUENESS CONDITION FOR NON-NORMAL SUBGROUPS Zvonimir Janko University of Heidelberg, Germany Abstract. We determine up to isomorphism
More informationAutomorphism Groups Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G.
Automorphism Groups 9-9-2012 Definition. An automorphism of a group G is an isomorphism G G. The set of automorphisms of G is denoted Aut G. Example. The identity map id : G G is an automorphism. Example.
More informationTheorems and Definitions in Group Theory
Theorems and Definitions in Group Theory Shunan Zhao Contents 1 Basics of a group 3 1.1 Basic Properties of Groups.......................... 3 1.2 Properties of Inverses............................. 3
More informationDISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents
DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions
More informationφ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationPROBLEMS FROM GROUP THEORY
PROBLEMS FROM GROUP THEORY Page 1 of 12 In the problems below, G, H, K, and N generally denote groups. We use p to stand for a positive prime integer. Aut( G ) denotes the group of automorphisms of G.
More informationx 2 = xn xn = x 2 N = N = 0
Potpourri. Spring 2010 Problem 2 Let G be a finite group with commutator subgroup G. Let N be the subgroup of G generated by the set {x 2 : x G}. Then N is a normal subgroup of G and N contains G. Proof.
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More informationSection III.15. Factor-Group Computations and Simple Groups
III.15 Factor-Group Computations 1 Section III.15. Factor-Group Computations and Simple Groups Note. In this section, we try to extract information about a group G by considering properties of the factor
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationGroups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems
Group Theory Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Groups Definition : A non-empty set ( G,*)
More informationC-Characteristically Simple Groups
BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 35(1) (2012), 147 154 C-Characteristically Simple Groups M. Shabani Attar Department
More informationCLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz
CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz Remark: This is a long problem, and there are many ways to attack various of the steps. I am not claiming this is the best way to proceed, nor the
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationGROUPS OF ORDER p 3 KEITH CONRAD
GROUPS OF ORDER p 3 KEITH CONRAD For any prime p, we want to describe the groups of order p 3 up to isomorphism. From the cyclic decomposition of finite abelian groups, there are three abelian groups of
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationFrank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups:
Frank Moore Algebra 901 Notes Professor: Tom Marley Direct Products of Groups: Definition: The external direct product is defined to be the following: Let H 1,..., H n be groups. H 1 H 2 H n := {(h 1,...,
More informationThe Class Equation X = Gx. x X/G
The Class Equation 9-9-2012 If X is a G-set, X is partitioned by the G-orbits. So if X is finite, X = x X/G ( x X/G means you should take one representative x from each orbit, and sum over the set of representatives.
More informationMath 370 Spring 2016 Sample Midterm with Solutions
Math 370 Spring 2016 Sample Midterm with Solutions Contents 1 Problems 2 2 Solutions 5 1 1 Problems (1) Let A be a 3 3 matrix whose entries are real numbers such that A 2 = 0. Show that I 3 + A is invertible.
More informationIIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1
IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 Let Σ be the set of all symmetries of the plane Π. 1. Give examples of s, t Σ such that st ts. 2. If s, t Σ agree on three non-collinear points, then
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/54851 holds various files of this Leiden University dissertation Author: Stanojkovski, M. Title: Intense automorphisms of finite groups Issue Date: 2017-09-05
More informationANALYSIS OF SMALL GROUPS
ANALYSIS OF SMALL GROUPS 1. Big Enough Subgroups are Normal Proposition 1.1. Let G be a finite group, and let q be the smallest prime divisor of G. Let N G be a subgroup of index q. Then N is a normal
More informationSYMMETRIC (66,26,10) DESIGNS HAVING F rob 55 AUTOMORPHISM GROUP AS AN. Dean Crnković and Sanja Rukavina Faculty of Philosophy in Rijeka, Croatia
GLASNIK MATEMATIČKI Vol. 35(55)(2000), 271 281 SYMMETRIC (66,26,10) DESIGNS HAVING F rob 55 AUTOMORPHISM GROUP AS AN Dean Crnković and Sanja Rukavina Faculty of Philosophy in Rijeka, Croatia Abstract.
More informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More informationENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.
ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.
More informationSolutions to Assignment 4
1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2
More informationMath 31 Take-home Midterm Solutions
Math 31 Take-home Midterm Solutions Due July 26, 2013 Name: Instructions: You may use your textbook (Saracino), the reserve text (Gallian), your notes from class (including the online lecture notes), and
More information( ) 3 = ab 3 a!1. ( ) 3 = aba!1 a ( ) = 4 " 5 3 " 4 = ( )! 2 3 ( ) =! 5 4. Math 546 Problem Set 15
Math 546 Problem Set 15 1. Let G be a finite group. (a). Suppose that H is a subgroup of G and o(h) = 4. Suppose that K is a subgroup of G and o(k) = 5. What is H! K (and why)? Solution: H! K = {e} since
More informationConstructing t-designs with prescribed automorphism groups
Constructing t-designs with prescribed automorphism groups 2 Mario Osvin Pavčević University of Zagreb Croatia e-mail: mario.pavcevic@fer.hr /37 Dear organizers, thank you very much for the invitation!
More informationSOME NEW SYMMETRIC DESIGNS FOR (256,120,56)
GLASNIK MATEMATICKI Vol. 34(54)(1999),123-128 SOME NEW SYMMETRIC DESIGNS FOR (256,120,56) MARIO-OSVIN PAVCEVIC University of Zagreb, Croatia ABSTRACT. We prove the existence of two symmetric designs with
More informationOn the characterization of the numbers n such that any group of order n has a given property P
On the characterization of the numbers n such that any group of order n has a given property P arxiv:1501.03170v1 [math.gr] 6 Jan 2015 Advisor: Professor Thomas Haines Honors Thesis in Mathematics University
More informationMath 546, Exam 2 Information.
Math 546, Exam 2 Information. 10/21/09, LC 303B, 10:10-11:00. Exam 2 will be based on: Sections 3.2, 3.3, 3.4, 3.5; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/546fa09/546.html)
More informationCONSEQUENCES OF THE SYLOW THEOREMS
CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.
More informationOn a subalgebra of the centre of a group ring
Journal of Algebra 295 (2006) 293 302 www.elsevier.com/locate/jalgebra On a subalgebra of the centre of a group ring Harald Meyer Universität Bayreuth, Lehrstuhl IV für Mathematik, 95440 Bayreuth, Germany
More informationProposed by Jean-Marie De Koninck, Université Laval, Québec, Canada. (a) Let φ denote the Euler φ function, and let γ(n) = p n
10966. Proposed by Jean-Marie De Koninck, Université aval, Québec, Canada. (a) et φ denote the Euler φ function, and let γ(n) = p n p, with γ(1) = 1. Prove that there are exactly six positive integers
More informationOn strongly flat p-groups. Min Lin May 2012 Advisor: Professor R. Keith Dennis
On strongly flat p-groups Min Lin May 2012 Advisor: Professor R. Keith Dennis Abstract In this paper, we provide a survey (both theoretical and computational) of the conditions for determining which finite
More informationHomework #5 Solutions
Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will
More informationClass Equation & Conjugacy in Groups
Subject: ALEBRA - V Lesson: Class Equation & Conjugacy in roups Lesson Developer: Shweta andhi Department / College: Department of Mathematics, Miranda House, University of Delhi Institute of Lifelong
More informationINTRODUCTION TO THE GROUP THEORY
Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher
More informationCosets, factor groups, direct products, homomorphisms, isomorphisms
Cosets, factor groups, direct products, homomorphisms, isomorphisms Sergei Silvestrov Spring term 2011, Lecture 11 Contents of the lecture Cosets and the theorem of Lagrange. Direct products and finitely
More informationHOMEWORK Graduate Abstract Algebra I May 2, 2004
Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it
More informationKevin James. p-groups, Nilpotent groups and Solvable groups
p-groups, Nilpotent groups and Solvable groups Definition A maximal subgroup of a group G is a proper subgroup M G such that there are no subgroups H with M < H < G. Definition A maximal subgroup of a
More informationSolution Outlines for Chapter 6
Solution Outlines for Chapter 6 # 1: Find an isomorphism from the group of integers under addition to the group of even integers under addition. Let φ : Z 2Z be defined by x x + x 2x. Then φ(x + y) 2(x
More informationDIHEDRAL GROUPS II KEITH CONRAD
DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of D n, including the normal subgroups. We will also introduce an infinite
More informationCourse 311: Abstract Algebra Academic year
Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 1 Topics in Group Theory 1 1.1 Groups............................... 1 1.2 Examples of Groups.......................
More informationGeneral Linear Groups as Automorphism Groups
International Journal of Algebra, Vol. 5, 2011, no. 27, 1327-1335 General Linear Groups as Automorphism Groups S. Fouladi Department of Mathematics, Arak University, Arak, Iran s-fouladi@araku.ac.ir R.
More informationAssigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation.
1. Show that the set G = multiplication. Assigment 1 1 a b 0 1 c a, b, c R 0 0 1 is a group under matrix 2. Let U be a set and G = {A A U}. Show that G ia an abelian group under the operation defined by
More informationConverse to Lagrange s Theorem Groups
Converse to Lagrange s Theorem Groups Blain A Patterson Youngstown State University May 10, 2013 History In 1771 an Italian mathematician named Joseph Lagrange proved a theorem that put constraints on
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationSOME SYMMETRIC (47,23,11) DESIGNS. Dean Crnković and Sanja Rukavina Faculty of Philosophy, Rijeka, Croatia
GLASNIK MATEMATIČKI Vol. 38(58)(2003), 1 9 SOME SYMMETRIC (47,23,11) DESIGNS Dean Crnković and Sanja Rukavina Faculty of Philosophy, Rijeka, Croatia Abstract. Up to isomorphism there are precisely fifty-four
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Handout 0: Course Information
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT4003 Groups. Lectures: Mon (odd), Wed & Fri 10am, Lecture
More informationOn the nilpotent conjugacy class graph of groups
Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 37 (2017) no. 2, 77 89. doi:10.1285/i15900932v37n2p77 On the nilpotent conjugacy class graph of groups A. Mohammadian Department of Pure Mathematics,
More informationMath Introduction to Modern Algebra
Math 343 - Introduction to Modern Algebra Notes Rings and Special Kinds of Rings Let R be a (nonempty) set. R is a ring if there are two binary operations + and such that (A) (R, +) is an abelian group.
More informationName: Solutions - AI FINAL EXAM
1 2 3 4 5 6 7 8 9 10 11 12 13 total Name: Solutions - AI FINAL EXAM The first 7 problems will each count 10 points. The best 3 of # 8-13 will count 10 points each. Total is 100 points. A 4th problem from
More informationG/Ge. FINITE p r-nilpotent GROUPS. II. KEY WORDS AND PHRASES. Frattini subgroup, p -nilpotent group, maximal subgroup,
30J Internat. J. Math. & Math. Sci. Vol. 10 No. 2 (1987) 303-309 FINITE p r-nilpotent GROUPS. II S. SRINIVASAN Department of Mathematics and Computer Science Austin Peay State University Clarksville, Tennessee
More informationA generalization of the Euler s totient function
arxiv:1312.1428v1 [math.gr] 5 Dec 2013 A generalization of the Euler s totient function Marius Tărnăuceanu December 5, 2013 Abstract The main goal of this paper is to provide a group theoretical generalization
More informationMINIMAL NUMBER OF GENERATORS AND MINIMUM ORDER OF A NON-ABELIAN GROUP WHOSE ELEMENTS COMMUTE WITH THEIR ENDOMORPHIC IMAGES
Communications in Algebra, 36: 1976 1987, 2008 Copyright Taylor & Francis roup, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870801941903 MINIMAL NUMBER OF ENERATORS AND MINIMUM ORDER OF
More informationHall subgroups and the pronormality
1 1 Sobolev Institute of Mathematics, Novosibirsk, Russia revin@math.nsc.ru Novosibirsk, November 14, 2013 Definition A subgroup H of a group G is said to be pronormal if H and H g are conjugate in H,
More informationIsomorphisms and Normality of Cayley Digraphs of A5
Isomorphisms and Normality of Cayley Digraphs of A5 Dachang Guo* Department of Mathematics and Physics Guangdong University of Technology Guangzhou 510643, People's Republic of China Abstract It is proved
More informationSHORT PROOFS OF SOME BASIC CHARACTERIZATION THEOREMS OF FINITE p-group THEORY. Yakov Berkovich University of Haifa, Israel
GLASNIK MATEMATIČKI Vol. 41(61)(2006), 239 258 SHORT PROOFS OF SOME BASIC CHARACTERIZATION THEOREMS OF FINITE p-group THEORY Yakov Berkovich University of Haifa, Israel Abstract. We offer short proofs
More informationA NOTE ON AUTOMORPHISMS OF FINITE p-groups
A NOTE ON AUTOMORPHISMS OF FINITE p-groups GUSTAVO A. FERNÁNDEZ-ALCOBER AND ANITHA THILLAISUNDARAM Abstract. Let G be a finite non-cyclic p-group of order at least p 3. If G has an abelian maximal subgroup,
More informationMATH 251, Handout on Sylow, Direct Products, and Finite Abelian Groups
MATH 251, Handout on Sylow, Direct Products, and Finite Abelian Groups 1. Let G be a group with 56 elements. Show that G always has a normal subgroup. Solution: Our candidates for normal subgroup are the
More informationRings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.
Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary
More informationAbstract Algebra: Supplementary Lecture Notes
Abstract Algebra: Supplementary Lecture Notes JOHN A. BEACHY Northern Illinois University 1995 Revised, 1999, 2006 ii To accompany Abstract Algebra, Third Edition by John A. Beachy and William D. Blair
More informationGroups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group
C H A P T E R t h r e E Groups Introduction Some of the standard topics in elementary group theory are treated in this chapter: subgroups, cyclic groups, isomorphisms, and homomorphisms. In the development
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationFINITE ABELIAN GROUPS Amin Witno
WON Series in Discrete Mathematics and Modern Algebra Volume 7 FINITE ABELIAN GROUPS Amin Witno Abstract We detail the proof of the fundamental theorem of finite abelian groups, which states that every
More informationGroups whose locally maximal product-free sets are complete
arxiv:1609.09662v1 [math.co] 30 Sep 2016 Groups whose locally maximal product-free sets are complete By Chimere S. Anabanti, Grahame Erskine and Sarah B. Hart Birkbeck Mathematics Preprint Series Preprint
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More informationA SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC
A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC SIDDHI PATHAK Abstract. This note gives a simple proof of a famous theorem of Burnside, namely, all groups of order n are cyclic
More informationNON-NILPOTENT GROUPS WITH THREE CONJUGACY CLASSES OF NON-NORMAL SUBGROUPS. Communicated by Alireza Abdollahi. 1. Introduction
International Journal of Group Theory ISSN (print): 2251-7650, ISSN (on-line): 2251-7669 Vol. 3 No. 2 (2014), pp. 1-7. c 2014 University of Isfahan www.theoryofgroups.ir www.ui.ac.ir NON-NILPOTENT GROUPS
More informationFINITE GROUPS IN WHICH SOME PROPERTY OF TWO-GENERATOR SUBGROUPS IS TRANSITIVE
FINITE GROUPS IN WHICH SOME PROPERTY OF TWO-GENERATOR SUBGROUPS IS TRANSITIVE COSTANTINO DELIZIA, PRIMOŽ MORAVEC, AND CHIARA NICOTERA Abstract. Finite groups in which a given property of two-generator
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationLecture 4.1: Homomorphisms and isomorphisms
Lecture 4.: Homomorphisms and isomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4, Modern Algebra M. Macauley (Clemson) Lecture
More informationBOUNDEDLY GENERATED SUBGROUPS OF FINITE GROUPS
BOUNDEDLY GENERATED SUBGROUPS OF FINITE GROUPS Andrea Lucchini Università di Padova, Italy 2nd Biennial International Group Theory Conference Istanbul, February 4-8, 2013 AN (EASY?) QUESTION Assume that
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY
ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY John A. Beachy Northern Illinois University 2000 ii J.A.Beachy This is a supplement to Abstract Algebra, Second Edition by John A. Beachy and
More informationFINITE GROUPS WITH CENTRAL AUTOMORPHISM GROUP OF MINIMAL ORDER
FINITE GROUPS WITH CENTRAL AUTOMORPHISM GROUP OF MINIMAL ORDER By M.J. CURRAN* Department of Mathematics and Statistics, University of Otago, Dunedin, New Zealand [Received 21 July 2003. Read 23 February
More informationALTERNATE PROOFS OF SOME BASIC THEOREMS OF FINITE GROUP THEORY. Yakov Berkovich University of Haifa, Israel
GLASNIK MATEMATIČKI Vol. 40(60)(2005), 207 233 ALTERNATE PROOFS OF SOME BASIC THEOREMS OF FINITE GROUP THEORY Yakov Berkovich University of Haifa, Israel Dedicated to Moshe Roitman on the occasion of his
More informationMath 581 Problem Set 7 Solutions
Math 581 Problem Set 7 Solutions 1. Let f(x) Q[x] be a polynomial. A ring isomorphism φ : R R is called an automorphism. (a) Let φ : C C be a ring homomorphism so that φ(a) = a for all a Q. Prove that
More information3.3 Equivalence Relations and Partitions on Groups
84 Chapter 3. Groups 3.3 Equivalence Relations and Partitions on Groups Definition 3.3.1. Let (G, ) be a group and let H be a subgroup of G. Let H be the relation on G defined by a H b if and only if ab
More information1 Finite abelian groups
Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room
More informationMA441: Algebraic Structures I. Lecture 26
MA441: Algebraic Structures I Lecture 26 10 December 2003 1 (page 179) Example 13: A 4 has no subgroup of order 6. BWOC, suppose H < A 4 has order 6. Then H A 4, since it has index 2. Thus A 4 /H has order
More informationIntroduction to Groups
Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)
More information3.4 Isomorphisms. 3.4 J.A.Beachy 1. from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair
3.4 J.A.Beachy 1 3.4 Isomorphisms from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 29. Show that Z 17 is isomorphic to Z 16. Comment: The introduction
More information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationE E I M (E, I) E I 2 E M I I X I Y X Y I X, Y I X > Y x X \ Y Y {x} I B E B M E C E C C M r E X E r (X) X X r (X) = X E B M X E Y E X Y X B E F E F F E E E M M M M M M E B M E \ B M M 0 M M M 0 0 M x M
More informationGroups with many subnormal subgroups. *
Groups with many subnormal subgroups. * Eloisa Detomi Dipartimento di Matematica, Facoltà di Ingegneria, Università degli Studi di Brescia, via Valotti 9, 25133 Brescia, Italy. E-mail: detomi@ing.unibs.it
More information3. G. Groups, as men, will be known by their actions. - Guillermo Moreno
3.1. The denition. 3. G Groups, as men, will be known by their actions. - Guillermo Moreno D 3.1. An action of a group G on a set X is a function from : G X! X such that the following hold for all g, h
More informationS11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES
S11MTH 3175 Group Theory (Prof.Todorov) Final (Practice Some Solutions) 2 BASIC PROPERTIES 1 Some Definitions For your convenience, we recall some of the definitions: A group G is called simple if it has
More informationMath 120: Homework 6 Solutions
Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has
More informationBulletin of the. Iranian Mathematical Society
ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Bulletin of the Iranian Mathematical Society Vol. 43 (2017), No. 3, pp. 951 974. Title: Normal edge-transitive Cayley graphs on the nonabelian groups of
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More information