scholarly journals Almost Engel finite and profinite groups

2016 ◽  
Vol 26 (05) ◽  
pp. 973-983 ◽  
Author(s):  
E. I. Khukhro ◽  
P. Shumyatsky
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Positive Integer ◽  
Profinite Group ◽  
Profinite Groups ◽  
Locally Nilpotent ◽  
Nilpotent Residual ◽  
A Finite Group

Let [Formula: see text] be an element of a group [Formula: see text]. For a positive integer [Formula: see text], let [Formula: see text] be the subgroup generated by all commutators [Formula: see text] over [Formula: see text], where [Formula: see text] is repeated [Formula: see text] times. We prove that if [Formula: see text] is a profinite group such that for every [Formula: see text] there is [Formula: see text] such that [Formula: see text] is finite, then [Formula: see text] has a finite normal subgroup [Formula: see text] such that [Formula: see text] is locally nilpotent. The proof uses the Wilson–Zelmanov theorem saying that Engel profinite groups are locally nilpotent. In the case of a finite group [Formula: see text], we prove that if, for some [Formula: see text], [Formula: see text] for all [Formula: see text], then the order of the nilpotent residual [Formula: see text] is bounded in terms of [Formula: see text].

BOUNDING THE ORDER OF THE NILPOTENT RESIDUAL OF A FINITE GROUP

2016 ◽  
Vol 94 (2) ◽  
pp. 273-277
Author(s):  
AGENOR FREITAS DE ANDRADE ◽  
PAVEL SHUMYATSKY
Keyword(s):  
Finite Group ◽  
Positive Integer ◽  
Lower Central Series ◽  
Central Series ◽  
Nilpotent Residual ◽  
A Finite Group

The last term of the lower central series of a finite group $G$ is called the nilpotent residual. It is usually denoted by $\unicode[STIX]{x1D6FE}_{\infty }(G)$. The lower Fitting series of $G$ is defined by $D_{0}(G)=G$ and $D_{i+1}(G)=\unicode[STIX]{x1D6FE}_{\infty }(D_{i}(G))$ for $i=0,1,2,\ldots \,$. These subgroups are generated by so-called coprime commutators $\unicode[STIX]{x1D6FE}_{k}^{\ast }$ and $\unicode[STIX]{x1D6FF}_{k}^{\ast }$ in elements of $G$. More precisely, the set of coprime commutators $\unicode[STIX]{x1D6FE}_{k}^{\ast }$ generates $\unicode[STIX]{x1D6FE}_{\infty }(G)$ whenever $k\geq 2$ while the set $\unicode[STIX]{x1D6FF}_{k}^{\ast }$ generates $D_{k}(G)$ for $k\geq 0$. The main result of this article is the following theorem: let $m$ be a positive integer and $G$ a finite group. Let $X\subset G$ be either the set of all $\unicode[STIX]{x1D6FE}_{k}^{\ast }$-commutators for some fixed $k\geq 2$ or the set of all $\unicode[STIX]{x1D6FF}_{k}^{\ast }$-commutators for some fixed $k\geq 1$. Suppose that the size of $a^{X}$ is at most $m$ for any $a\in G$. Then the order of $\langle X\rangle$ is $(k,m)$-bounded.

The nilpotency index of the radicals of group algebras of finite groups whose Sylow 3-subgroups are extra-special of order 27 of exponent 3

1988 ◽  
Vol 108 (1-2) ◽  
pp. 117-132
Author(s):  
Shigeo Koshitani
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Positive Integer ◽  
Simple Group ◽  
Finite Groups ◽  
Jacobson Radical ◽  
Group Algebras ◽  
Nilpotency Index ◽  
Characteristic 3 ◽  
A Finite Group

SynopsisLet J(FG) be the Jacobson radical of the group algebra FG of a finite groupG with a Sylow 3-subgroup which is extra-special of order 27 of exponent 3 over a field F of characteristic 3, and let t(G) be the least positive integer t with J(FG)t = 0. In this paper, we prove that t(G) = 9 if G has a normal subgroup H such that (|G:H|, 3) = 1 and if H is either 3-solvable, SL(3,3) or the Tits simple group 2F4(2)'.

The influence of weakly \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} \(\mathcal{H}\) \end{document}-subgroups on the structure of finite groups

2014 ◽  
Vol 51 (1) ◽  
pp. 27-40
Author(s):  
M. Asaad ◽  
M. Al-Shomrani ◽  
A. Heliel
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Positive Integer ◽  
Finite Groups ◽  
Group A ◽  
Fixed Positive Integer ◽  
A Finite Group

Let G be a finite group. A subgroup H of G is called an \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathcal{H}$$ \end{document}-subgroup in G if NG(H) ∩ Hg ≤ H for all g ∈ G. A subgroup H of G is called a weakly \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathcal{H}$$ \end{document}-subgroup in G if there exists a normal subgroup K of G such that G = HK and H ∩ K is an \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathcal{H}$$ \end{document}-subgroup in G. In this article, we investigate the structure of a group G in which every subgroup with order pm of a Sylow p-subgroup P of G is a weakly \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathcal{H}$$ \end{document}-subgroup in G, where m is a fixed positive integer. Our results improve and extend the main results of Skiba [13], Jaraden and Skiba [11], Guo and Wei [8], Tong-Veit [15] and Li et al. [12].

scholarly journals On minimal faithful permutation representations of finite groups

2000 ◽  
Vol 62 (2) ◽  
pp. 311-317 ◽  
Author(s):  
L. G. Kovács ◽  
Cheryl E. Praeger
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Positive Integer ◽  
Symmetric Group ◽  
Finite Groups ◽  
Abelian Normal Subgroup ◽  
Minimal Counterexample ◽  
Representations Of Finite Groups ◽  
A Finite Group

The minimal faithful permutation degree μ(G) of a finite group G is the least positive integer n such that G is isomorphic to a subgroup of the symmetric group Sn. Let N be a normal subgroup of a finite group G. We prove that μ(G/N) ≤ μ(G) if G/N has no nontrivial Abelian normal subgroup. There is an as yet unproved conjecture that the same conclusion holds if G/N is Abelian. We investigate the structure of a (hypothetical) minimal counterexample to this conjecture.

ON THE REGULAR GRAPH RELATED TO THE G-CONJUGACY CLASSES

2021 ◽  
pp. 1-5
Author(s):  
SH. RAHIMI ◽  
Z. AKHLAGHI
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Conjugacy Class ◽  
Regular Graph ◽  
Simple Graph ◽  
Conjugacy Classes ◽  
A Finite Group

Abstract Given a finite group G with a normal subgroup N, the simple graph $\Gamma _{\textit {G}}( \textit {N} )$ is a graph whose vertices are of the form $|x^G|$ , where $x\in {N\setminus {Z(G)}}$ and $x^G$ is the G-conjugacy class of N containing the element x. Two vertices $|x^G|$ and $|y^G|$ are adjacent if they are not coprime. We prove that, if $\Gamma _G(N)$ is a connected incomplete regular graph, then $N= P \times {A}$ where P is a p-group, for some prime p, $A\leq {Z(G)}$ and $\textbf {Z}(N)\not = N\cap \textbf {Z}(G)$ .

scholarly journals A on simplicity criterion for finite groups

1969 ◽  
Vol 10 (3-4) ◽  
pp. 359-362
Author(s):  
Nita Bryce
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Finite Groups ◽  
Odd Order ◽  
A Finite Group

M. Suzuki [3] has proved the following theorem. Let G be a finite group which has an involution t such that C = CG(t) ≅ SL(2, q) and q odd. Then G has an abelian odd order normal subgroup A such that G = CA and C ∩ A = 〈1〉.

Finite groups with two supersoluble subgroups

2019 ◽  
Vol 22 (2) ◽  
pp. 297-312 ◽  
Author(s):  
Victor S. Monakhov ◽  
Alexander A. Trofimuk
Keyword(s):  
Finite Group ◽  
Finite Groups ◽  
Sufficient Conditions ◽  
Maximal Subgroups ◽  
Sylow Subgroups ◽  
Derived Subgroup ◽  
Nilpotent Residual ◽  
A Finite Group

AbstractLetGbe a finite group. In this paper we obtain some sufficient conditions for the supersolubility ofGwith two supersoluble non-conjugate subgroupsHandKof prime index, not necessarily distinct. It is established that the supersoluble residual of such a group coincides with the nilpotent residual of the derived subgroup. We prove thatGis supersoluble in the following cases: one of the subgroupsHorKis nilpotent; the derived subgroup{G^{\prime}}ofGis nilpotent;{|G:H|=q>r=|G:K|}andHis normal inG. Also the supersolubility ofGwith two non-conjugate maximal subgroupsMandVis obtained in the following cases: all Sylow subgroups ofMand ofVare seminormal inG; all maximal subgroups ofMand ofVare seminormal inG.

scholarly journals A remark on the C-normality of maximal subgroups of finite groups

1997 ◽  
Vol 40 (2) ◽  
pp. 243-246
Author(s):  
Yanming Wang
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Finite Groups ◽  
Maximal Subgroups ◽  
Primitive Groups ◽  
A Finite Group

A subgroup H is called c-normal in a group G if there exists a normal subgroup N of G such that HN = G and H∩N ≤ HG, where HG =: Core(H) = ∩g∈GHg is the maximal normal subgroup of G which is contained in H. We use a result on primitive groups and the c-normality of maximal subgroups of a finite group G to obtain results about the influence of the set of maximal subgroups on the structure of G.

scholarly journals On the determination of the ramification index in Clifford's theorem

1988 ◽  
Vol 31 (3) ◽  
pp. 469-474
Author(s):  
Robert W. van der Waall
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Ramification Index ◽  
A Finite Group

Let K be a field, G a finite group, V a (right) KG-module. If H is a subgroup of G, then, restricting the action of G on V to H, V is also a KH-module. Notation: VH.Suppose N is a normal subgroup of G. The KN-module VN is not irreducible in general, even when V is irreducible as KG-module. A part of the well-known theorem of A. H. Clifford [1, V.17.3] yields the following.

FINITE GROUPS WITH GIVEN NEARLY S-QUASINORMAL SUBGROUPS

2008 ◽  
Vol 01 (03) ◽  
pp. 369-382
Author(s):  
Nataliya V. Hutsko ◽  
Vladimir O. Lukyanenko ◽  
Alexander N. Skiba
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Finite Groups ◽  
Sylow Subgroup ◽  
Cyclic Subgroup ◽  
Saturated Formation ◽  
Supersoluble Groups ◽  
Sylow Subgroups ◽  
Quasinormal Subgroup ◽  
A Finite Group

Let G be a finite group and H a subgroup of G. Then 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. Then we say that H is nearly S-quasinormal in G if G has an S-quasinormal subgroup T such that HT = G and T ∩ H ≤ HsG. Our main result here is the following theorem. Let [Formula: see text] be a saturated formation containing all supersoluble groups and G a group with a normal subgroup E such that [Formula: see text]. Suppose that every non-cyclic Sylow subgroup P of E has a subgroup D such that 1 < |D| < |P| and all subgroups H of P with order |H| = |D| and every cyclic subgroup of P with order 4 (if |D| = 2 and P is a non-abelian 2-group) having no supersoluble supplement in G are nearly S-quasinormal in G. Then [Formula: see text].

Sign in / Sign up

Export Citation Format

Share Document