Size of free groups in varieties generated by finite groups

2019 ◽  
Vol 29 (08) ◽  
pp. 1419-1430
Author(s):  
William Cocke
Keyword(s):  
Finite Group ◽  
Free Group ◽  
Finite Groups ◽  
Prime Order ◽  
Free Groups ◽  
Affine Group ◽  
Alternating Group ◽  
A Finite Group

The number of distinct [Formula: see text]-variable word maps on a finite group [Formula: see text] is the order of the rank [Formula: see text] free group in the variety generated by [Formula: see text]. For a group [Formula: see text], the number of word maps on just two variables can be quite large. We improve upon previous bounds for the number of word maps over a finite group [Formula: see text]. Moreover, we show that our bound is sharp for the number of 2-variable word maps over the affine group over fields of prime order and over the alternating group on five symbols.

scholarly journals ON THE NUMBER OF PRIME ORDER SUBGROUPS OF FINITE GROUPS

2009 ◽  
Vol 87 (3) ◽  
pp. 329-357 ◽  
Author(s):  
TIMOTHY C. BURNESS ◽  
STUART D. SCOTT
Keyword(s):  
Finite Group ◽  
Finite Groups ◽  
Prime Order ◽  
A Finite Group

AbstractLet G be a finite group and let δ(G) be the number of prime order subgroups of G. We determine the groups G with the property δ(G)≥∣G∣/2−1, extending earlier work of C. T. C. Wall, and we use our classification to obtain new results on the generation of near-rings by units of prime order.

Integral Cayley Graphs over Finite Groups

2020 ◽  
Vol 27 (01) ◽  
pp. 131-136
Author(s):  
Elena V. Konstantinova ◽  
Daria Lytkina
Keyword(s):  
Finite Group ◽  
Symmetric Group ◽  
Cayley Graph ◽  
Cyclic Group ◽  
Finite Groups ◽  
Cayley Graphs ◽  
Alternating Group ◽  
Generating Set ◽  
A Finite Group

We prove that the spectrum of a Cayley graph over a finite group with a normal generating set S containing with every its element s all generators of the cyclic group 〈s〉 is integral. In particular, a Cayley graph of a 2-group generated by a normal set of involutions is integral. We prove that a Cayley graph over the symmetric group of degree n no less than 2 generated by all transpositions is integral. We find the spectrum of a Cayley graph over the alternating group of degree n no less than 4 with a generating set of 3-cycles of the form (k i j) with fixed k, as {−n+1, 1−n+1, 22 −n+1, …, (n−1)2 −n+1}.

Finite Groups with Certain S-Permutable and GS-Maximal Subgroups

2020 ◽  
Vol 27 (04) ◽  
pp. 661-668
Author(s):  
A.M. Elkholy ◽  
M.H. Abd-Ellatif
Keyword(s):  
Finite Group ◽  
Finite Groups ◽  
Sylow Subgroup ◽  
Prime Order ◽  
Maximal Subgroups ◽  
A Finite Group

Let G be a finite group and H a subgroup of G. We say that H is S-permutable in G if H permutes with every Sylow subgroup of G. A group G is called a generalized smooth group (GS-group) if [G/L] is totally smooth for every subgroup L of G of prime order. In this paper, we investigate the structure of G under the assumption that each subgroup of prime order is S-permutable if the maximal subgroups of G are GS-groups.

New characterizations of p-soluble and p-supersoluble finite groups

2012 ◽  
Vol 49 (3) ◽  
pp. 390-405
Author(s):  
Wenbin Guo ◽  
Alexander Skiba
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Maximal Subgroup ◽  
Finite Groups ◽  
Prime Order ◽  
Cyclic Subgroup ◽  
Sylow Subgroups ◽  
Quasinormal Subgroup ◽  
A Finite Group

Let G be a finite group and H a subgroup of G. H is said to be S-quasinormal in G if HP = PH for all Sylow subgroups P of G. Let HsG be the subgroup of H generated by all those subgroups of H which are S-quasinormal in G and HsG the intersection of all S-quasinormal subgroups of G containing H. The symbol |G|p denotes the order of a Sylow p-subgroup of G. We prove the followingTheorem A. Let G be a finite group and p a prime dividing |G|. Then G is p-supersoluble if and only if for every cyclic subgroup H ofḠ (G) of prime order or order 4 (if p = 2), Ḡhas a normal subgroup T such thatHsḠandH∩T=HsḠ∩T.Theorem B. A soluble finite group G is p-supersoluble if and only if for every 2-maximal subgroup E of G such that Op′ (G) ≦ E and |G: E| is not a power of p, G has an S-quasinormal subgroup T with cyclic Sylow p-subgroups such that EsG = ET and |E ∩ T|p = |EsG ∩ T|p.Theorem C. A finite group G is p-soluble if for every 2-maximal subgroup E of G such that Op′ (G) ≦ E and |G: E| is not a power of p, G has an S-quasinormal subgroup T such that EsG = ET and |E ∩ Tp = |EsG ∩ T|p.

scholarly journals Finite Groups with All Maximal Subgroups of Prime or Prime Square Index

1964 ◽  
Vol 16 ◽  
pp. 435-442 ◽  
Author(s):  
Joseph Kohler
Keyword(s):  
Finite Group ◽  
Maximal Subgroup ◽  
Finite Groups ◽  
Prime Order ◽  
Maximal Subgroups ◽  
Odd Order ◽  
Order Case ◽  
Chief Factors ◽  
Even Order ◽  
A Finite Group

In this paper finite groups with the property M, that every maximal subgroup has prime or prime square index, are investigated. A short but ingenious argument was given by P. Hall which showed that such groups are solvable.B. Huppert showed that a finite group with the property M, that every maximal subgroup has prime index, is supersolvable, i.e. the chief factors are of prime order. We prove here, as a corollary of a more precise result, that if G has property M and is of odd order, then the chief factors of G are of prime or prime square order. The even-order case is different. For every odd prime p and positive integer m we shall construct a group of order 2apb with property M which has a chief factor of order larger than m.

scholarly journals Proficient presentations and direct products of finite groups

1999 ◽  
Vol 60 (2) ◽  
pp. 177-189 ◽  
Author(s):  
K.W. Gruenberg ◽  
L.G. Kovács
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Free Group ◽  
Finite Groups ◽  
Finite Rank ◽  
Module Structure ◽  
Direct Products ◽  
The Difference ◽  
A Finite Group ◽  
Open Question

Let G be a finite group, F a free group of finite rank, R the kernel of a homomorphism φ of F onto G, and let [R, F], [R, R] denote mutual commutator subgroups. Conjugation in F yields a G-module structure on R/[R, R] let dg(R/[R, R]) be the number of elements required to generate this module. Define d(R/[R, F]) similarly. By an earlier result of the first author, for a fixed G, the difference dG(R/[R, R]) − d(R/[R, F]) is independent of the choice of F and φ; here it is called the proficiency gap of G. If this gap is 0, then G is said to be proficient. It has been more usual to consider dF(R), the number of elements required to generate R as normal subgroup of F: the group G has been called efficient if F and φ can be chosen so that dF(R) = dG(R/[R, F]). An efficient group is necessarily proficient; but (though usually expressed in different terms) the converse has been an open question for some time.

scholarly journals Automorphisms of Finite Groups and their Fixed-Point Groups

1969 ◽  
Vol 9 (3-4) ◽  
pp. 467-477 ◽  
Author(s):  
J. N. Ward
Keyword(s):  
Fixed Point ◽  
Finite Group ◽  
Abelian Group ◽  
Finite Groups ◽  
Upper Bound ◽  
Prime Order ◽  
Soluble Group ◽  
Point Groups ◽  
Derived Series ◽  
A Finite Group

Let G denote a finite group with a fixed-point-free automorphism of prime order p. Then it is known (see [3] and [8]) that G is nilpotent of class bounded by an integer k(p). From this it follows that the length of the derived series of G is also bounded. Let l(p) denote the least upper bound of the length of the derived series of a group with a fixed-point-free automorphism of order p. The results to be proved here may now be stated: Theorem 1. Let G denote a soluble group of finite order and A an abelian group of automorphisms of G. Suppose that (a) ∣G∣ is relatively prime to ∣A∣; (b) GAis nilpotent and normal inGω, for all ω ∈ A#; (c) the Sylow 2-subgroup of G is abelian; and (d) if q is a prime number andqk+ 1 divides the exponent of A for some integer k then the Sylow q-subgroup of G is abelian.

scholarly journals On Finite Groups with an Automorphism of Prime Order Whose Fixed Points Have Bounded Engel Sinks

2021 ◽  
Author(s):  
E. I. Khukhro ◽  
P. Shumyatsky
Keyword(s):  
Finite Group ◽  
Positive Integer ◽  
Fixed Points ◽  
Finite Groups ◽  
Prime Order ◽  
Fitting Subgroup ◽  
Engel Element ◽  
A Finite Group

AbstractA left Engel sink of an elementgof a groupGis a set$${\mathscr {E}}(g)$$E(g)such that for every$$x\in G$$x∈Gall sufficiently long commutators$$[...[[x,g],g],\dots ,g]$$[...[[x,g],g],⋯,g]belong to$${\mathscr {E}}(g)$$E(g). (Thus,gis a left Engel element precisely when we can choose$${\mathscr {E}}(g)=\{ 1\}$$E(g)={1}.) We prove that if a finite groupGadmits an automorphism$$\varphi $$φof prime order coprime to |G| such that for some positive integermevery element of the centralizer$$C_G(\varphi )$$CG(φ)has a left Engel sink of cardinality at mostm, then the index of the second Fitting subgroup$$F_2(G)$$F2(G)is bounded in terms ofm. A right Engel sink of an elementgof a groupGis a set$${\mathscr {R}}(g)$$R(g)such that for every$$x\in G$$x∈Gall sufficiently long commutators$$[\ldots [[g,x],x],\dots ,x]$$[…[[g,x],x],⋯,x]belong to$${\mathscr {R}}(g)$$R(g). (Thus,gis a right Engel element precisely when we can choose$${\mathscr {R}}(g)=\{ 1\}$$R(g)={1}.) We prove that if a finite groupGadmits an automorphism$$\varphi $$φof prime order coprime to |G| such that for some positive integermevery element of the centralizer$$C_G(\varphi )$$CG(φ)has a right Engel sink of cardinality at mostm, then the index of the Fitting subgroup$$F_1(G)$$F1(G)is bounded in terms ofm.

Blocks of defect zero in finite groups with conjugate subgroups of a given prime order

2017 ◽  
Vol 16 (11) ◽  
pp. 1750217
Author(s):  
Tianze Li ◽  
Yanjun Liu ◽  
Guohua Qian
Keyword(s):  
Finite Group ◽  
Simple Group ◽  
Direct Product ◽  
Finite Groups ◽  
Prime Order ◽  
Text Block ◽  
Order Group ◽  
Odd Order ◽  
A Finite Group

Let [Formula: see text] be a finite group and [Formula: see text] be a prime. In this note, we show that if [Formula: see text] and all subgroups of [Formula: see text] of order [Formula: see text] are conjugate, then either [Formula: see text] has a [Formula: see text]-block of defect zero, or [Formula: see text] and [Formula: see text] is a direct product of a simple group [Formula: see text] and an odd order group. This improves one of our previous works.

FINITE GROUPS ALL OF WHOSE SECOND MAXIMAL SUBGROUPS ARE PSC-GROUPS

2009 ◽  
Vol 08 (02) ◽  
pp. 229-242 ◽  
Author(s):  
ZHENCAI SHEN ◽  
SHIRONG LI ◽  
WUJIE SHI
Keyword(s):  
Finite Group ◽  
Finite Groups ◽  
Prime Order ◽  
Cyclic Subgroup ◽  
Maximal Subgroups ◽  
A Finite Group

A subgroup H of G is said to be self-conjugate-permutable if HHx = HxH implies Hx = H. A finite group G is called PSC-group if every cyclic subgroup of group G of prime order or order 4 is self-conjugate-permutable. In the paper, first we give the structure of finite group G, all of whose maximal subgroups are PSC-groups. Then we also classified that finite group G all of whose second maximal subgroups are PSC-groups.

Sign in / Sign up

Export Citation Format

Share Document