FINITE GROUPS WHICH ARE PRODUCTS OF PAIRWISE TOTALLY PERMUTABLE SUBGROUPS
|
|
- Felix Hardy
- 5 years ago
- Views:
Transcription
1 Proceedings of the Edinburgh Mathematical Society (1998) 41, FINITE GROUPS WHICH ARE PRODUCTS OF PAIRWISE TOTALLY PERMUTABLE SUBGROUPS by A. BALLESTER-BOLINCHES, M. C. PEDRAZA-AGUILERA and M. D. PEREZ-RAMOS (Received 18th November 1996) Finite groups which are products of pairwise totally permutable subgroups are studied in this paper. The ^-residual, ^-projectors and.f-normalizers in such groups are obtained from the corresponding subgroups of the factor subgroups under suitable hypotheses Mathematics subject classification: 20F17, 20D40. Throughout the paper we consider only finite groups. The well-known fact that the product of two normal supersoluble subgroups is not in general supersoluble makes interesting the study of factorized groups whose subgroup factors are connected by certain permutability properties. In this context, Asaad and Shaalan [1] proved the following result: Let G = G, G 2 be a group which is the product of two supersoluble subgroups G, and G 2. If every subgroup of G, is permutable with every subgroup of G 2 (we say then that G, and G 2 are totally permutable subgroups of G), then G is supersoluble. Later, Maier [8] proves that this property is not only true for the class of all supersoluble groups but also for all saturated formations T containing U, the class of supersoluble groups. Two different extensions to this result are made in [3] and [5]. On the one hand, the first and third authors show that the above result extends to nonsaturated formations containing U. Theorem A [3]. Let T be a formation containing U. Suppose that the group G = G,G 2 is the product of the totally permutable subgroups G, and G 2. If G }, G 2 e T, then Gef. On the other hand, a generalization of Maier's result to an arbitrary finite number of factors is given in [5] by Carocca in the following way. 567
2 568 A. BALLESTER-BOLINCHES et al. Theorem B [5]. Let G = G X G 2...G T be a group such that G,, G 2,..., G r are pairwise totally permutable subgroups ofg. Let T be a saturated formation which contains U. If for all i {1, 2,..., r} the subgroups G, are in T, then Gef. Also in this context, the following result is proved in [2]: Theorem C [2]. Let T be a formation of soluble groups such that WCf. If G = HK is the product of the totally permutable subgroups H and K, then G r H r K T. Here G* denotes the T-residual of G, that is, the smallest normal subgroup of G with quotient in T. Our main goal in this paper is to take these studies further. In fact we prove that Carocca's result can be extended to non-saturated formations containing U. We also study the behaviour of ^"-residuals, ^"-projectors and.f-normalizers, where T is a saturated formation, in such factorized groups. Lemma 1. Let T denote a formation containing U. Consider a group G G } G 2. -G, such that G U G 2,...,G r are pairwise totally permutable subgroups of G. Then G? is a normal subgroup of G for all i e {1,2,...,r). Proof. It is a direct consequence of Lemma 3 of [2]. Theorem 1. Let G G X G 2. G r be a group such that G lt G 2,...,G r are pairwise totally permutable subgroups of G. Let 7 be a formation such that U c T. If G,, e T for all i e {1, 2,..., r}, then G belongs to T. Proof. Assume that the result is false and let G be a counterexample with G + G, \G r \ minimal. Then r>2 and by Theorem B, there exists i e {1, 2,..., r) such that G, does not belong to U. Without loss of generality, we suppose i=l. Then G" ^ 1. By [2, Corollary], the subgroup K = G 2...G r centralizes G". Hence G" is a normal subgroup of G. Moreover G" centralizes (K G ), the normal closure of K in G. On the other hand, G, = G"A, for an W-projector A of G,. Consider now Z = [{K G )]G t, the semidirect product of (K G ) and G, with respect to the action by conjugation. By [3, Lemma 1], G is isomorphic to a quotient of Z. We prove that Z is an ^"-group. It is clear that G" is a normal subgroup of Z because it is centralized by (K G ). Moreover Z/(Gf) is isomorphic to [(K G )](A/(A n G")), which is a quotient of [(K G )]A. Next we see that [{K G )]A e T. From the fact that G" centralizes K, one can easily deduce (K G ) = (K A ). A new application of [3, Lemma 1] yields the existence of an epimorphism 4* from [(K A )]A onto KA. So [{K^A/Ker^V is isomorphic to KA, which is a product of pairwise totally permutable ^"-subgroups. Notice that \KA\ + \A\ + \G 2 \ \G,\<\G\ + \Gt\ \G r \. So KA 6 T by the minimal choice of (G,G G r ). Now, since [{K A ))A/(K 4 ) is isomorphic to AeWZT, we have that [{K^A/iKerV CiA)e Tl^T = T. But (KerT) n {K A ) = 1 by [3, Lemma 1]. Consequently, [{K A )]A e T and then Z/G" e T. Moreover, Z/{K G ) is isomorphic to
3 FINITE GROUPS OF PAIRWISE TOTALLY PERMUTABLE SUBGROUPS 569 G, e T. Therefore 2 ~ Z/((K G ) n G") e Tl^T = T and G e T, a contradiction. Our next theorem shows that the converse of Maier's result remains true in the case of a product of pairwise totally permutable subgroups and formations containing U which are either saturated or soluble. We need first a preliminary lemma. Lemma 2. Let T be a formation such that Wcf and let G = G t G 2... G r be a product of pairwise totally permutable subgroups G,,..., G r. If G 2, G 3,..., G r, G are F-groups, then G, e T. Proof. It is clear that we can assume G" ^ 1 and G, = G"U, for an W-projector U of G. By [3, Lemma 1], G, is an epimorphic image of C = [G"]U, the semidirect product of G" and U with respect to the conjugation action. So it is enough to prove that C T. Notice that from Lemma 1, G" is a normal subgroup of G. Moreover G = G"(UK), where K = G&...G r. Also by Lemma 1 of [3] there exists an epimorphism a : X -* G with (/Cera) D G" 1, where X = [G"](UK). In particular, X/(Kem) ~ G.F. On the other hand, A"/G" ~ UK. Notice now that UK is a product of pairwise totally permutable ^"-subgroups. Consequently, by Theorem 1, UK ef. Now X/G" e T and from here X/(G" n /Cera) ~ X e J". By [2, Corollary], we know that {K x ) = (K v ), the normal closure of K in KU. In particular, {K x ) is contained in KIT. This implies that (K x ) n G^ = 1. Moreover AT/(/C x > ~ [G^](l//((/C x > n (/)) and so [G"]U/({K X ) n [/) belongs to.f. This means that [G"]U/({K X ) n G^ n [/) ~ [G"]U e IZQT T. Consequently, C = [G"]U e T and the lemma is proved. Theorem 2. Let T be a saturated formation containing the class U and let G = G { G 2.. G r be the product of the pairwise totally permutable subgroups G U G 2 G r. IfGeT, then G, e T for all i e {1, 2 r}. Proof. Arguing by induction on the order of G, we can assume G has a unique minimal normal subgroup N and GjN/N e.f for all i e {1,2,..., r}. By Lemma l(a) of [5], there exists i e {1, 2,..., r} such that N < G,. We can assume without loss of generality that N < G,. Take now j e {1, 2,..., r} with j / 1. Using the fact that GjN/N e.f we have G, = 7J(G ; n N), where 7J is an ^"-projector of G ;. Notice now that Tj < Gj and G y n N < G,. Moreover by [5, Lemma l(b)], G, ng, < F(G ; G,) e W. Hence Gj is the product of two totally permutable ^-subgroups. By Theorem 1, Gy e.f. Consequently G t e f for all j e (2,...,r}. Applying Lemma 2, we conclude that G, ej. Theorem 3. Ler F" be a formation such that U c T c 5 f/iere 5 is /Ae c/ctjj of soluble groups). Let G = G,G 2... G r be the product of the pairwise totally permutable subgroups G U G 2 G r. IfG T, then G, 6 Tfor every i e {1, 2 r}. Proof. We argue by induction on \G\ + G, + G G r. We can assume that there exists i e {1,2 r) such that G, does not belong to U. Suppose without loss of
4 570 A. BALLESTER-BOLINCHES et al. generality that i = r. Since U is a saturated formation, we have that G" is not contained in <D(G r ), the Frattini subgroup of G r. Moreover, since G e T, we have that G is soluble. In particular, G, is soluble and then the Fitting subgroup of G u r /(G u r n O(G r )) denoted F/(G" n O(G r )), is different from 1. Since F/{G U, n <D(G r )) is nilpotent, we have that F is nilpotent by [4, Theorem 3.7]. Notice that F < G" < G. Hence F is subnormal in G. Then F is contained in F{G). On the other hand F is a normal subgroup of G r which is not contained in Q>(G r ). So there exists a maximal subgroup M of G r such that F is not contained in M. This implies G r = FM and G = F(MG,G 2... G r _,) = F(G)(MG G 2... G r _,). Hence MG G 2..G r _, is a subgroup of G supplementing a nilpotent normal subgroup of G. By [6, IV, 1.14] we have that AfG,G 2... G r _, e.f. Moreover J MG t G 2 G r _, is a product of pairwise totally permutable subgroups such that 1 / + M + G G r _ 1 < G + G, G r. This implies by induction that G u G 2,, G r _, are.f-groups. Applying now Lemma 2 we conclude that Remark 1. Theorems 2 and 3 are not true without assuming that either T is a saturated formation of T is contained in S. The group H SL(2, 5) has a normal subgroup of order 2, say Z{H) = F(H) = c/>(h) with H/Z(H) ~ A s. Take G = XxY with X ~ H ~ y and denote D = {xy) where x and y are the central involutions of X and y respectively. Consider the group G/D, that is, the central product of X and Y (see [6, A, 19] for further details). Let T = QTZ 0 (G/D) be the formation generated by the group G/D and T ou the formation product of J" and U (recall that Mcfolfl. Notice that G/D is a perfect group. Hence (G/Df M = (G/D)^ = 1 and G/D efow. However H does not belong to ToU (see [7, 2.3]). So G/D is an ^"ow-group which is a totally permutable product with factors X and Y not in J" o U. Theorem 4. Z^/ T be a formation containing U such that T is either saturated or T c 5. If G = G i G 1... G r is the product of the pairwise totally permutable subgroups G, for i {1, 2,... r}, /Ae/z G^ = Gf Gf... Gf. Proof. We use induction on the order of G. We can assume G T / 1, otherwise the result follows from Theorems 2 and 3. Notice that the hypotheses in the theorem are inherited by the quotient group G/G r. So we have by induction that G i G r /G T is an T- group for every i e {1, 2,..., r}. In particular, Gf < G T for each i {1, 2,..., r}. On the other hand we know that Gf is a normal subgroup of G for i e {1, 2,..., r) by Lemma 1. Therefore Gf Gf... Gf is a normal subgroup of G contained in G T. Denote K = G T xg r 2...Gf. If K = 1, we have G, e T for each i e {1,2,..., r} and the result follows from Theorem 1. So we can assume K is non-trivial. Consider now N a minimal normal subgroup of G contained in K. Now the result is true for the quotient group G/N and we have G T = KN = K. Remark 2. Conditions on T in Theorem 4 are also necessary. Consider the group G = X x y and the formation.fou as in Remark 1. As H does not belong to/ow and H Q(G), we have that G is not an (.F o W)-group. On the other hand,
5 FINITE GROUPS OF PAIRWISE TOTALLY PERMUTABLE SUBGROUPS 571 G/D efow. Moreover D is a minimal normal subgroup of G. Then G = D. Consider H/Z(H) ~ A s e Q(G/D) cfow. Also Z(H) is a minimal normal subgroup of H. Thus H = Z(H). Hence X x Y = (x> x (y) ^ (xy) = D = G rm. Finally we prove that both ^-projectors and.f-normalizers have a good behaviour in groups factorized as the product of pairwise totally permutable subgroups. Theorem 5. Let T be a saturated formation containing U and let G = G X G 2... G r be the product of the pairwise totally permutable subgroups G, for i e {1, 2,..., r}. // A lt A 2,...,A r are T-projectors of G X,G 2 G r respectively, then the product A X A 2...A r is an F-projector of G. Proof. We prove the result by induction on the number of factors. If r = 2, it follows from [2, Theorem B]. Assume it is true for a number of factors t < r. Suppose the theorem is false when t = r and choose G of minimal order satisfying this condition. We can then assume G, / 1 for each i e {1, 2,..., r}. By [5, Lemma l(a)], there exists i e {1, 2,..., r} such that G, contains a minimal normal subgroup of G, N say. Assume without loss of generality that i 1. Now the minimality of G yields that (A X N/N)(A 2 N/N)...(A,N/N) = (A X A 2... A r )N/N is an.f-projector of G/N. Denote C = (A t A 2... A r )N and assume C is a proper subgroup of G. We have then C as the product of the pairwise totally permutable subgroups A X N, A 2,..., A r. Moreover applying [6, III, 3.14 and 3.18] we have that A x is an ^"-projector of A t N. Therefore, by the minimality of G, A X A 2...A r is an ^"-projector of C. Applying now [6, III, 3.7], we have that A x A 2...A r is an ^"-projector of G, a contradiction. Consequently G = (A ] A 2...A r )N. By Theorem 1, A X A 2...A, e T. Hence G r < N and G T = 1 or G r = N. If G T = 1 the result follows from Theorem 2. So we may assume G T = JV. Consider now an ^"-maximal subgroup U of G containing A X A 2... A r. By [6, III, 3.14 and 3.18], U is an ^"-projector of G. Moreover U is the product of the pairwise totally permutable subgroups A X (U n N), A 2..., A r. By Lemma 2, we have that A X (U n N) belongs to T. But A x is an ^"-maximal subgroup of G,. This implies that UHN < A x and U = A X A 2... A r is an ^-projector of G. Theorem 6. Let G = G X G 2...G r be a soluble group which is the product of the pairwise totally permutable subgroups G X,G 2,... G r. Let T be a saturated formation containing U. If A x, A 2,..., A r are T-normalizers of G X,G 2,...G r respectively, then A X A 2...A, is an T-normalizer of G. Proof. We argue by induction on G + G, G r. By Theorem 1, we can assume that there exists ie {1,2,..., r} such that G, does not belong to T. Suppose «= 1. Since T is a saturated formation, G r x is not contained in O(G,), the Frattini subgroup of G,. Hence T/(Gf n<d(g,)), the Fitting subgroup of Gf/(Gf n<d(g,)) is non-trivial (notice that G is a soluble group). Now, by [4, Theorem 3.7], T is nilpotent. Consequently T is a nilpotent normal subgroup of G, not contained in O(G,). This implies the existence of a maximal subgroup M of G, such that T is not contained in
6 572 A. BALLESTER-BOLINCHES et al. M. Therefore G, = TM = G T XM = F(G,)M and M is ^-critical in G,. Now by [6, V, 3.2 and 3.7], every.f-normalizer of M is an /"-normalizer of G and they are conjugated subgroups in G. We can then assume /4, < M. Then G = T(MG 2 G 2... G,) = F(G)(MG 2 G 3... G r ) = G r (MG 2 G 3...G r ) (notice that, by Theorem 2, Gf < G^). If we assume G MG 2... G r, then M,G 2 G r are pairwise totally permutable subgroups of G and \G\ + \M\ + \G 2 \ \G r \ < \G\ + G, + \G 2 \ +... \G r \. By induction we have A y A 2... A r is an ^"-normalizer of G, and the theorem is true. So we can assume MG 2 G)... G r is a proper subgroup of G. Then MG 2 G^... G r is an ^-critical maximal subgroup of G and each ^"-normalizer of M is an.f-normalizer of G. By induction, A t A 2... A r is an.f-normalizer of MG 2 G Z... G,. Hence, A X A 2... A T is an.f-normalizer of G. Acknowledgements. The research of the first and third authors is supported by Proyecto PB of DGICYT, MEC, Spain. Part of the research of the second author has been done in the Johannes Gutenberg-Universitat Mainz under the support of Beca Bancaixa-Europa III ciclo (Doctorado). Also the work of this author is supported by Beca Predoctoral de formacion del Personal Investigador de la Conselleria de Educacion y Ciencia of Valencia (Spain). REFERENCES 1. M. ASAAD and A. SHAALAN, On the supersolvability of finite groups, Arch. Math. 53 (1989), A. BALLESTER-BOLINCHES, M. C. PEDRAZA-AGUILERA and M. D. PEREZ-RAMOS, On finite products of totally permutable groups, Bull. Austral. Math. Soc. 53 (1996), A. BALLESTER-BOLINCHES and M. D. PEREZ-RAMOS, A Question of R. Maier concerning formations, J. Algebra 182 (1996), A. BALLESTER-BOLINCHES and M. D. PEREZ-RAMOS, On ^-subnormal subgroups and Frattini-like subgroups of a finite group, Glasgow Math. J. 36 (1994), A. CAROCCA, A note on the product of ^-subgroups in a finite group, Proc. Edinburgh Math. Soc. 39 (1996), K. DOERK and T. HAWKES, Finite soluble groups (Walter De Gruyter, Berlin-New York, 1992). 7. K. DOERK and T. HAWKES, On the residual of a direct product, Arch. Math. (Basel) 30 (1978), R. MAIER, A completeness property of certain formations, Bull. London Math. Soc. 24 (1992), DEPARTAMENT D'ALGEBRA UNIVERSITAT DE VALENCIA C/ DOCTOR MOLINER BURJASSOT (VALENCIA) SPAIN
ON CONDITIONAL PERMUTABILITY AND SATURATED FORMATIONS
Proceedings of the Edinburgh Mathematical Society (2011) 54, 309 319 DOI:10.1017/S0013091510000106 ON CONDITIONAL PERMUTABILITY AND SATURATED FORMATIONS M. ARROYO-JORDÁ1, P. ARROYO-JORDÁ1 AND M. D. PÉREZ-RAMOS2
More informationThis paper has been published in Journal of Algebra, 319(8): (2008).
This paper has been published in Journal of Algebra, 319(8):3343 3351 (2008). Copyright 2008 by Elsevier. The final publication is available at www.sciencedirect.com. http://dx.doi.org/10.1016/j.jalgebra.2007.12.001
More informationCyclic non-s-permutable subgroups and non-normal maximal subgroups
Rend. Sem. Mat. Univ. Padova 1xx (201x) Rendiconti del Seminario Matematico della Università di Padova c European Mathematical Society Cyclic non-s-permutable subgroups and non-normal maximal subgroups
More informationOn W -S-permutable Subgroups of Finite Groups
Rend. Sem. Mat. Univ. Padova 1xx (201x) Rendiconti del Seminario Matematico della Università di Padova c European Mathematical Society On W -S-permutable Subgroups of Finite Groups Jinxin Gao Xiuyun Guo
More informationGROUPS IN WHICH SYLOW SUBGROUPS AND SUBNORMAL SUBGROUPS PERMUTE
Illinois Journal of Mathematics Volume 47, Number 1/2, Spring/Summer 2003, Pages 63 69 S 0019-2082 GROUPS IN WHICH SYLOW SUBGROUPS AND SUBNORMAL SUBGROUPS PERMUTE A. BALLESTER-BOLINCHES, J. C. BEIDLEMAN,
More informationON SEMINORMAL SUBGROUPS OF FINITE GROUPS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 47, Number 2, 2017 ON SEMINORMAL SUBGROUPS OF FINITE GROUPS A. BALLESTER-BOLINCHES, J.C. BEIDLEMAN, V. PÉREZ-CALABUIG AND M.F. RAGLAND ABSTRACT. All groups
More informationNew progress on factorized groups and subgroup permutability
New progress on factorized groups and subgroup permutability Paz Arroyo-Jordá Instituto Universitario de Matemática Pura y Aplicada Universidad Politécnica de Valencia, Spain Groups St Andrews 2013 in
More informationSOME NEW PERMUTABILITY PROPERTIES OF HYPERCENTRALLY EMBEDDED SUBGROUPS OF FINITE GROUPS
J. Aust. Math. Soc. 79 (2005), 243 255 SOME NEW PERMUTABILITY PROPERTIES OF HYPERCENTRALLY EMBEDDED SUBGROUPS OF FINITE GROUPS L. M. EZQUERRO and X. SOLER-ESCRIVÀ (Received 19 December 2003; revised 10
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), 297 307 www.emis.de/journals ISSN 1786-0091 ON S-QUASINORMAL SUBGROUPS OF FINITE GROUP JEHAD J. JARADEN Abstract. A subgroup H of a group
More informationJournal of Algebra. Radicals in mutually permutable products of finite groups
Journal of Algebra 321 (2009) 353 360 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra Radicals in mutually permutable products of finite groups Jonas Bochtler
More informationThe influence of C- Z-permutable subgroups on the structure of finite groups
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 11, No. 1, 2018, 160-168 ISSN 1307-5543 www.ejpam.com Published by New York Business Global The influence of C- Z-permutable subgroups on the structure
More informationThe final publication is available at
Document downloaded from: http://hdl.handle.net/0/ This paper must be cited as: Ballester Bolinches, A.; Beidleman, JC.; Cossey, J.; Esteban Romero, R.; Rangland, MF.; Schmidt, J. (00). Permutable subnormal
More informationA NOTE ON PRIMITIVE SUBGROUPS OF FINITE SOLVABLE GROUPS
Commun. Korean Math. Soc. 28 (2013), No. 1, pp. 55 62 http://dx.doi.org/10.4134/ckms.2013.28.1.055 A NOTE ON PRIMITIVE SUBGROUPS OF FINITE SOLVABLE GROUPS Xuanli He, Shouhong Qiao, and Yanming Wang Abstract.
More informationThe Influence of Minimal Subgroups on the Structure of Finite Groups 1
Int. J. Contemp. Math. Sciences, Vol. 5, 2010, no. 14, 675-683 The Influence of Minimal Subgroups on the Structure of Finite Groups 1 Honggao Zhang 1, Jianhong Huang 1,2 and Yufeng Liu 3 1. Department
More informationFinite Groups with ss-embedded Subgroups
International Journal of Algebra, Vol. 11, 2017, no. 2, 93-101 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2017.7311 Finite Groups with ss-embedded Subgroups Xinjian Zhang School of Mathematical
More informationSome New Criteria on the Supersolvability of Finite Groups
Int. J. Pure Appl. Sci. Technol., 5(2) (20), pp. 9-30 International Journal of Pure and Applied Sciences and Technology ISSN 2229-607 Available online at www.ijopaasat.in Research Paper Some New Criteria
More informationDepartment of Mathematics, Faculty of Science, King Abdulaziz University, P. O. Box: 80111, Jeddah 21589, Saudi Arabia.
On Product Groups in which S-semipermutability Is atransitive Relation Mustafa Obaid Department of Mathematics, Faculty of Science, King Abdulaziz University, P. O. Box: 80111, Jeddah 21589, Saudi Arabia.
More informationOn partially τ-quasinormal subgroups of finite groups
Hacettepe Journal of Mathematics and Statistics Volume 43 (6) (2014), 953 961 On partially τ-quasinormal subgroups of finite groups Changwen Li, Xuemei Zhang and Xiaolan Yi Abstract Let H be a subgroup
More informationA Note on Finite Groups in which C-Normality is a Transitive Relation
International Mathematical Forum, Vol. 8, 2013, no. 38, 1881-1887 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2013.39168 A Note on Finite Groups in which C-Normality is a Transitive Relation
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 informationGraphs and Classes of Finite Groups
Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 33 (2013) no. 1, 89 94. doi:10.1285/i15900932v33n1p89 Graphs and Classes of Finite Groups A. Ballester-Bolinches Departament d Àlgebra, Universitat
More informationOn the solvability of groups with four class sizes.
On the solvability of groups with four class sizes. Antonio Beltrán Departamento de Matemáticas, Universidad Jaume I, 12071 Castellón, Spain e-mail: abeltran@mat.uji.es and María José Felipe Instituto
More informationGroups with Few Normalizer Subgroups
Irish Math. Soc. Bulletin 56 (2005), 103 113 103 Groups with Few Normalizer Subgroups FAUSTO DE MARI AND FRANCESCO DE GIOVANNI Dedicated to Martin L. Newell Abstract. The behaviour of normalizer subgroups
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 informationON KUROSH-AMITSUR RADICALS OF FINITE GROUPS
An. Şt. Univ. Ovidius Constanţa Vol. 19(1), 2011, 175 190 ON KUROSH-AMITSUR RADICALS OF FINITE GROUPS Jan Krempa and Izabela Agata Malinowska Abstract Between 1952 and 1954 Amitsur and Kurosh initiated
More informationMAXIMAL SUBALGEBRAS AND CHIEF FACTORS OF LIE ALGEBRAS DAVID A. TOWERS
MAXIMAL SUBALGEBRAS AND CHIEF FACTORS OF LIE ALGEBRAS DAVID A. TOWERS Department of Mathematics and Statistics Lancaster University Lancaster LA1 4YF England d.towers@lancaster.ac.uk Abstract This paper
More informationOn Nearly S-Permutably Embedded Subgroups of Finite Groups *
ISSN 0001-4346, Mathematical Notes, 2012, Vol. 91, No. 4, pp. 470 478. Pleiades Publishing, Ltd., 2012. Published in Russian in Matematicheskie Zametki, 2012, Vol. 91, No. 4, pp. 495 505. On Nearly S-Permutably
More informationSOME TOPICS ON PERMUTABLE SUBGROUPS IN INFINITE GROUPS
SOME TOPICS ON PERMUTABLE SUBGROUPS IN INFINITE GROUPS TESI DI DOTTORATO SCIENZE MATEMATICHE E INFORMATICHE - XXIX CICLO DIPARTIMENTO DI MATEMATICA E APPLICAZIONI RENATO CACCIOPPOLI ROBERTO IALENTI UNIVERSITÀ
More informationELEMENTARY GROUPS BY HOMER BECHTELL
ELEMENTARY GROUPS BY HOMER BECHTELL 1. Introduction. The purpose of this paper is to investigate two classes of finite groups, elementary groups and E-groups. The elementary groups have the property that
More informationCOMPACT GROUPS IN WHICH ALL ELEMENTS ARE ALMOST RIGHT ENGEL
COMPACT GROUPS IN WHICH ALL ELEMENTS ARE ALMOST RIGHT ENGEL E. I. KHUKHRO AND P. SHUMYATSKY Abstract. We say that an element g of a group G is almost right Engel if there is a finite set R(g) such that
More informationarxiv: v1 [math.gr] 6 Nov 2017
On classes of finite groups with simple non-abelian chief factors V. I. Murashka {mvimath@yandex.ru} Francisk Skorina Gomel State University, Gomel, Belarus arxiv:1711.01686v1 [math.gr] 6 Nov 2017 Abstract.
More informationOn the structure of some modules over generalized soluble groups
On the structure of some modules over generalized soluble groups L.A. Kurdachenko, I.Ya. Subbotin and V.A. Chepurdya Abstract. Let R be a ring and G a group. An R-module A is said to be artinian-by-(finite
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 informationOn the Shemetkov Schmid subgroup and related subgroups of finite groups
Известия Гомельского государственного университета имени Ф. Скорины, 3 (84), 2014 УДК 512 542 On the Shemetkov Schmid subgroup and related subgroups of finite groups A.F. VASIL'EV, V.I. MURASHKA В работе
More informationRecognising nilpotent groups
Recognising nilpotent groups A. R. Camina and R. D. Camina School of Mathematics, University of East Anglia, Norwich, NR4 7TJ, UK; a.camina@uea.ac.uk Fitzwilliam College, Cambridge, CB3 0DG, UK; R.D.Camina@dpmms.cam.ac.uk
More informationChief factors. Jack Schmidt. University of Kentucky
Chief factors Jack Schmidt University of Kentucky 2008-03-05 Chief factors allow a group to be studied by its representation theory on particularly natural irreducible modules. Outline What is a chief
More informationA characterisation of p-soluble groups
A characterisation of p-soluble groups Paul Flavell The School of Mathematics and Statistics The University of Birmingham Birmingham B15 2TT United Kingdom e-mail: p.j.flavell@bham.ac.uk If p is a prime
More informationA Note on Groups with Just-Infinite Automorphism Groups
Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 32 (2012) no. 2, 135 140. doi:10.1285/i15900932v32n2p135 A Note on Groups with Just-Infinite Automorphism Groups Francesco de Giovanni Dipartimento
More informationGROUPS WITH PERMUTABILITY CONDITIONS FOR SUBGROUPS OF INFINITE RANK. Communicated by Patrizia Longobardi. 1. Introduction
International Journal of Group Theory ISSN (print): 2251-7650, ISSN (on-line): 2251-7669 Vol. 7 No. 3 (2018), pp. 7-16. c 2018 University of Isfahan ijgt.ui.ac.ir www.ui.ac.ir GROUPS WITH PERMUTABILITY
More informationImplications of the index of a fixed point subgroup
Rend. Sem. Mat. Univ. Padova, DRAFT, 1 7 Implications of the index of a fixed point subgroup Erkan Murat Türkan ( ) Abstract Let G be a finite group and A Aut(G). The index G : C G (A) is called the index
More informationTRANSITIVE PERMUTATION GROUPS IN WHICH ALL DERANGEMENTS ARE INVOLUTIONS
TRANSITIVE PERMUTATION GROUPS IN WHICH ALL DERANGEMENTS ARE INVOLUTIONS I. M. Isaacs Department of Mathematics, University of Wisconsin Madison, WI 53706 USA e-mail: isaacs@math.wisc.edu Thomas Michael
More informationFINITE GROUPS WHOSE SUBNORMAL SUBGROUPS PERMUTE WITH ALL SYLOW SUBGROUPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 47, Number 1, January 1975 FINITE GROUPS WHOSE SUBNORMAL SUBGROUPS PERMUTE WITH ALL SYLOW SUBGROUPS RAM K. AGRAWAL1 ABSTRACT. As a generalization
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 informationTransitivity of properties of two-generator subgroups of finite groups
Transitivity of properties of two-generator subgroups of finite groups Primož Moravec University of Ljubljana (joint work with Costantino Delizia and Chiara Nicotera) Monash University, 2016 (visit funded
More informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 4.1 Exercise 1. Let G act on the set A. Prove that if a, b A b = ga for some g G, then G b = gg
More informationSome algebraic properties of. compact topological groups
Some algebraic properties of compact topological groups 1 Compact topological groups: examples connected: S 1, circle group. SO(3, R), rotation group not connected: Every finite group, with the discrete
More information1.5 Applications Of The Sylow Theorems
14 CHAPTER1. GROUP THEORY 8. The Sylow theorems are about subgroups whose order is a power of a prime p. Here is a result about subgroups of index p. Let H be a subgroup of the finite group G, and assume
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 informationCertain monomial characters of p -degree
Arch. Math. 99 (2012), 407 411 c 2012 Springer Basel 0003-889X/12/050407-5 published online November 16, 2012 DOI 10.1007/s00013-012-0449-0 Archiv der Mathematik Certain monomial characters of p -degree
More informationSupersolubility of Finite Groups 1
Int. J. Contemp. Math. Sciences, Vol. 6, 2011, no. 20, 985-990 Completely c-semipermutable Subgroups and Supersolubility of Finite Groups 1 Bin Hu 1, Jianhong Huang 1,2 and Lifang Ma 1 1. Department of
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 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 informationMinimal non-p C-groups
Algebra and Discrete Mathematics Volume 18 (2014). Number 1, pp. 1 7 Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Minimal non-p C-groups Orest D. Artemovych Communicated by L. A. Kurdachenko
More information[x, y] =x 1 y 1 xy. Definition 7.1 Let A and B be subgroups of a group G. Define the commutator. [A, B] = [a, b] a A, b B,
Chapter 7 Nilpotent Groups Recall the commutator is given by [x, y] =x 1 y 1 xy. Definition 7.1 Let A and B be subgroups of a group G. Define the commutator subgroup [A, B] by [A, B] = [a, b] a A, b B,
More informationarxiv: v1 [math.gr] 5 Aug 2013
A CHARACTERIZATION OF ROOT CLASSES OF GROUPS E. V. Sokolov arxiv:1308.1039v1 [math.gr] 5 Aug 2013 Abstract We prove that a class of groups is root in a sense of K. W. Gruenberg if, and only if, it is closed
More informationON THE STRUCTURE OF PRIMITIVE n-sum GROUPS
ON THE STRUCTURE OF PRIMITIVE n-sum GROUPS ELOISA DETOMI AND ANDREA LUCCHINI Abstract. For a finite group G, let σ(g) be least cardinality of a collection of proper subgroups whose set-theoretical union
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationits image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1
10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g
More informationA dual version of Huppert s conjecture on conjugacy class sizes
A dual version of Huppert s conjecture on conjugacy class sizes Zeinab Akhlaghi 1, Maryam Khatami 2, Tung Le 3, Jamshid Moori 3, Hung P. Tong-Viet 4 1 Faculty of Math. and Computer Sci., Amirkabir University
More informationCHARACTERIZATIONS OF THE CONJUGACY OF SYLOW /»-SUBGROUPS OF CC-GROUPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 106, Number 3, July 1989 CHARACTERIZATIONS OF THE CONJUGACY OF SYLOW /»-SUBGROUPS OF CC-GROUPS J. OTAL AND J. M. PEÑA (Communicated by Warren J.
More informationSupplementary Notes: Simple Groups and Composition Series
18.704 Supplementary Notes: Simple Groups and Composition Series Genevieve Hanlon and Rachel Lee February 23-25, 2005 Simple Groups Definition: A simple group is a group with no proper normal subgroup.
More informationInternational Journal of Pure and Applied Mathematics Volume 13 No , M-GROUP AND SEMI-DIRECT PRODUCT
International Journal of Pure and Applied Mathematics Volume 13 No. 3 2004, 381-389 M-GROUP AND SEMI-DIRECT PRODUCT Liguo He Department of Mathematics Shenyang University of Technology Shenyang, 110023,
More informationMath-Net.Ru All Russian mathematical portal
Math-Net.Ru All Russian mathematical portal Wenbin Guo, Alexander N. Skiba, On the intersection of maximal supersoluble subgroups of a finite group, Tr. Inst. Mat., 2013, Volume 21, Number 1, 48 51 Use
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 informationA HALL-TYPE CLOSURE PROPERTY FOR CERTAIN FITTING CLASSES
/. Austral. Math. Soc. (Series A) 59 (1995), 204-213 A HALL-TYPE CLOSURE PROPERTY FOR CERTAIN FITTING CLASSES OWEN J. BRISON (Received 27 July 1991; revised 4 February 1993) Communicated by H. Lausch Abstract
More informationSylow 2-Subgroups of Solvable Q-Groups
E extracta mathematicae Vol. 22, Núm. 1, 83 91 (2007) Sylow 2-Subgroups of Solvable Q-roups M.R. Darafsheh, H. Sharifi Department of Mathematics, Statistics and Computer Science, Faculty of Science University
More informationGROUPS WITH A MAXIMAL IRREDUNDANT 6-COVER #
Communications in Algebra, 33: 3225 3238, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1081/AB-200066157 ROUPS WITH A MAXIMAL IRREDUNDANT 6-COVER # A. Abdollahi,
More informationTwo generator 4-Engel groups
Two generator 4-Engel groups Gunnar Traustason Centre for Mathematical Sciences Lund University Box 118, SE-221 00 Lund Sweden email: gt@maths.lth.se Using known results on 4-Engel groups one can see that
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 informationHomework 2 /Solutions
MTH 912 Group Theory 1 F18 Homework 2 /Solutions #1. Let G be a Frobenius group with complement H and kernel K. Then K is a subgroup of G if and only if each coset of H in G contains at most one element
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationThe Fitting Submodule
The Fitting Submodule U. Meierfrankenfeld B. Stellmacher Department of Mathematics, Michigan State University, East Lansing MI 48840 meier@math.msu.edu Mathematisches Seminar, Christian-Albrechts- Universität,
More informationAPPLICATION OF HOARE S THEOREM TO SYMMETRIES OF RIEMANN SURFACES
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 18, 1993, 307 3 APPLICATION OF HOARE S THEOREM TO SYMMETRIES OF RIEMANN SURFACES E. Bujalance, A.F. Costa, and D. Singerman Universidad
More informationGroups that are pairwise nilpotent
Groups that are pairwise nilpotent Gérard Endimioni C.M.I, Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr Gunnar Traustason
More informationTOPOLOGICAL GROUPS MATH 519
TOPOLOGICAL GROUPS MATH 519 The purpose of these notes is to give a mostly self-contained topological background for the study of the representations of locally compact totally disconnected groups, as
More informationON ORDERS OF FINITE GROUPS AND CENTRALIZERS OF p-elements
Fong, P. Osaka J. Math. 13 (1976), 483-489 ON ORDERS OF FINITE GROUPS AND CENTRALIZERS OF p-elements To the memory of Otto Grtin PAUL FONG υ (Received July 28, 1975) [1]: Introduction The following theorem
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 informationSolution of Brauer s k(b)-conjecture for π-blocks of π-separable groups
Solution of Brauer s k(b)-conjecture for π-blocks of π-separable groups Benjamin Sambale October 9, 2018 Abstract Answering a question of Pálfy and Pyber, we first prove the following extension of the
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 informationKhukhro, E. I. and Shumyatsky, P. MIMS EPrint: Manchester Institute for Mathematical Sciences School of Mathematics
Nonsoluble and non-p-soluble length of finite groups Khukhro, E. I. and Shumyatsky, P. 2013 MIMS EPrint: 2013.79 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester
More informationVARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES
Bull. Austral. Math. Soc. 78 (2008), 487 495 doi:10.1017/s0004972708000877 VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES CAROLYN E. MCPHAIL and SIDNEY A. MORRIS (Received 3 March 2008) Abstract
More informationOrdered Groups in which all Convex Jumps are Central. V. V. Bludov, A. M. W. Glass & Akbar H. Rhemtulla 1
Ordered Groups in which all Convex Jumps are Central V. V. Bludov, A. M. W. Glass & Akbar H. Rhemtulla 1 Abstract. (G,
More informationD. S. Passman. University of Wisconsin-Madison
ULTRAPRODUCTS AND THE GROUP RING SEMIPRIMITIVITY PROBLEM D. S. Passman University of Wisconsin-Madison Abstract. This expository paper is a slightly expanded version of the final talk I gave at the group
More informationSpectrally Bounded Operators on Simple C*-Algebras, II
Irish Math. Soc. Bulletin 54 (2004), 33 40 33 Spectrally Bounded Operators on Simple C*-Algebras, II MARTIN MATHIEU Dedicated to Professor Gerd Wittstock on the Occasion of his Retirement. Abstract. A
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 informationThe Cyclic Subgroup Separability of Certain HNN Extensions
BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 29(1) (2006), 111 117 The Cyclic Subgroup Separability of Certain HNN Extensions 1
More informationOn the probability of satisfying a word in a group
arxiv:math/0504312v2 [math.gr] 3 May 2005 On the probability of satisfying a word in a group Miklós Abért February 1, 2008 Abstract We show that for any finite group G and for any d there exists a word
More informationCommunications in Algebra Publication details, including instructions for authors and subscription information:
This article was downloaded by: [Professor Alireza Abdollahi] On: 04 January 2013, At: 19:35 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered
More informationOn the centralizer and the commutator subgroup of an automorphism
Noname manuscript No. (will be inserted by the editor) On the centralizer and the commutator subgroup of an automorphism Gérard Endimioni Primož Moravec the date of receipt and acceptance should be inserted
More informationHurwitz generation of the universal covering of Alt(n)
Università di Milano Bicocca Quaderni di Matematica Hurwitz generation of the universal covering of Alt(n) M. A. Pellegrini, M. C. Tamburini Quaderno n. 1/2010 (arxiv:1001.5125v1) Stampato nel mese di
More informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
More informationOn The Mackey Formula for Connected Centre Groups Jay Taylor
On The Mackey Formula for Connected Centre Groups Jay Taylor Abstract. Let G be a connected reductive algebraic group over F p and let F : G G be a Frobenius endomorphism endowing G with an F q -rational
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 informationON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS
1 ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS D. I. Moldavanskii arxiv:math/0701498v1 [math.gr] 18 Jan 2007 A criterion for the HNN-extension of a finite p-group to be residually a finite p-group
More informationAlgebraic Structures II
MAS 305 Algebraic Structures II Notes 9 Autumn 2006 Composition series soluble groups Definition A normal subgroup N of a group G is called a maximal normal subgroup of G if (a) N G; (b) whenever N M G
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
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 informationSection II.8. Normal and Subnormal Series
II.8. Normal and Subnormal Series 1 Section II.8. Normal and Subnormal Series Note. In this section, two more series of a group are introduced. These will be useful in the Insolvability of the Quintic.
More informationABSTRACT. Leibniz algebras are generalizations of Lie algebras. Since the introduction of Leibniz
ABSTRACT TURNER, BETHANY NICOLE. Some Criteria for Solvable and Supersolvable Leibniz Algebras. (Under the direction of Ernest Stitzinger and Kailash Misra.) Leibniz algebras are generalizations of Lie
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 information