scholarly journals On the commuting probability for subgroups of a finite group

2021 ◽  
pp. 1-14
Author(s):  
Eloisa Detomi ◽  
Pavel Shumyatsky
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Commutator Subgroup ◽  
Lower Central Series ◽  
Central Series ◽  
Fitting Subgroup ◽  
Typical Application ◽  
The Generalized Fitting Subgroup ◽  
A Finite Group ◽  
Commuting Probability

Let $K$ be a subgroup of a finite group $G$ . The probability that an element of $G$ commutes with an element of $K$ is denoted by $Pr(K,G)$ . Assume that $Pr(K,G)\geq \epsilon$ for some fixed $\epsilon >0$ . We show that there is a normal subgroup $T\leq G$ and a subgroup $B\leq K$ such that the indices $[G:T]$ and $[K:B]$ and the order of the commutator subgroup $[T,B]$ are $\epsilon$ -bounded. This extends the well-known theorem, due to P. M. Neumann, that covers the case where $K=G$ . We deduce a number of corollaries of this result. A typical application is that if $K$ is the generalized Fitting subgroup $F^{*}(G)$ then $G$ has a class-2-nilpotent normal subgroup $R$ such that both the index $[G:R]$ and the order of the commutator subgroup $[R,R]$ are $\epsilon$ -bounded. In the same spirit we consider the cases where $K$ is a term of the lower central series of $G$ , or a Sylow subgroup, etc.

The Generation of the Lower Central Series

1965 ◽  
Vol 17 ◽  
pp. 405-410 ◽  
Author(s):  
P. X. Gallagher
Keyword(s):  
Finite Group ◽  
Commutator Subgroup ◽  
Lower Central Series ◽  
Central Series ◽  
A Finite Group

Let G be a finite group with commutator subgroup G′. In an earlier paper (4) it was shown that each element of G′ is a product of n commutators, if 4n ≥ |G′|. The object of this paper is to improve this result in two directions:Theorem 1a. If (n + 2)!n! > 2|G′| — 2, then each element of G′ is a product of n commutators.Theorem 1b. If G is a p-group, with |G′| = pa, and if n(n + 1) > a, then each element of G′ is a product of n commutators.

scholarly journals The p-Huppert-subgroup and the set of p-quasi-superfluous elements in a finite group

1993 ◽  
Vol 36 (2) ◽  
pp. 289-297
Author(s):  
Angel Carocca ◽  
Rudolf Maier
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Prime Number ◽  
Special Interest ◽  
Fitting Subgroup ◽  
Supersoluble Groups ◽  
A Finite Group ◽  
Parametrized Family

Based on the theory of p-supersoluble and supersoluble groups, a prime-number parametrized family of canonical characteristic subgroups Γp(G) and their intersection Γ(G) is introduced in every finite group G and some of its properties are studied. Special interest is dedicated to an elementwise description of the largest p-nilpotent normal subgroup of Γp(G) and of the Fitting subgroup of Γ(G).

Generalized Fitting subgroup of a group of finite Morley rank

1991 ◽  
Vol 56 (4) ◽  
pp. 1391-1399 ◽  
Author(s):  
Ali Nesin
Keyword(s):  
Finite Group ◽  
Morley Rank ◽  
Fitting Subgroup ◽  
Generalized Fitting Subgroup ◽  
Finite Morley Rank ◽  
The Generalized Fitting Subgroup ◽  
A Finite Group ◽  
Subnormal Subgroups

AbstractWe define a characteristic and definable subgroup F*(G) of any group G of finite Morley rank that behaves very much like the generalized Fitting subgroup of a finite group. We also prove that semisimple subnormal subgroups of G are all definable and that there are finitely many of them.

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.

Notes on Splitting Extensions of Groups

1968 ◽  
Vol 11 (3) ◽  
pp. 371-374 ◽  
Author(s):  
C.Y. Tang
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Commutator Subgroup ◽  
Similar Type ◽  
Frattini Subgroup ◽  
Abelian Normal Subgroup ◽  
A Finite Group

In [1] Gaschütz has shown that a finite group G splits over an abelian normal subgroup N if its Frattini subgroup ϕ(G) intersects N trivially. When N is a non-abelian nilpotent normal subgroup of G the condition ϕ(G)∩ N = 1 cannot be satisfied: for if N is non-abelian then the commutator subgroup C(N) of N is non-trivial. Now N is nilpotent, whence 1 ≠ C(N)⊂ϕ(N). Since G is a finite group, therefore, by (3, theorem 7.3.17) ϕ⊂ϕ(G). It follows that ϕ(G) ∩ N ≠ 1. Thus the condition ϕ(G) ∩ N = 1 must be modified. In §1 we shall derive some similar type of conditions for G to split over N when the restriction of N being an abelian normal subgroup is removed. In § 2 we shall give a characterization of splitting extensions of N in which every subgroup splits over its intersection with N.

scholarly journals On Central Series

1962 ◽  
Vol 13 (2) ◽  
pp. 175-178 ◽  
Author(s):  
I. D. Macdonald
Keyword(s):  
Finite Group ◽  
Nilpotent Group ◽  
Lower Central Series ◽  
The Other ◽  
Central Series ◽  
Image Position ◽  
A Finite Group ◽  
Positive Integers

Letandbe, respectively, the upper and lower central series of a group G. Our purpose in this note is to extend known results and find some information as to which of the factors Zk/Zk−1 and Γk/Γk+1 may be infinite. Though our conclusions about the lower central series will be quite general we assume in the other case that the group is f.n., i.e. an extension of a finite group by a nilpotent group. The essential facts about f.n. groups are to be found in P. Hall's paper (4). We also refer to (4) for general notation; we reserve the letter k for positive integers.

scholarly journals RIGHT ENGEL-TYPE SUBGROUPS AND LENGTH PARAMETERS OF FINITE GROUPS

2019 ◽  
Vol 109 (3) ◽  
pp. 340-350
Author(s):  
E. I. KHUKHRO ◽  
P. SHUMYATSKY ◽  
G. TRAUSTASON
Keyword(s):  
Finite Group ◽  
Finite Groups ◽  
Fitting Subgroup ◽  
Generalized Fitting Subgroup ◽  
Fitting Height ◽  
Engel Element ◽  
The Generalized Fitting Subgroup ◽  
Baer’S Theorem ◽  
A Finite Group ◽  
The Right

AbstractLet $g$ be an element of a finite group $G$ and let $R_{n}(g)$ be the subgroup generated by all the right Engel values $[g,_{n}x]$ over $x\in G$. In the case when $G$ is soluble we prove that if, for some $n$, the Fitting height of $R_{n}(g)$ is equal to $k$, then $g$ belongs to the $(k+1)$th Fitting subgroup $F_{k+1}(G)$. For nonsoluble $G$, it is proved that if, for some $n$, the generalized Fitting height of $R_{n}(g)$ is equal to $k$, then $g$ belongs to the generalized Fitting subgroup $F_{f(k,m)}^{\ast }(G)$ with $f(k,m)$ depending only on $k$ and $m$, where $|g|$ is the product of $m$ primes counting multiplicities. It is also proved that if, for some $n$, the nonsoluble length of $R_{n}(g)$ is equal to $k$, then $g$ belongs to a normal subgroup whose nonsoluble length is bounded in terms of $k$ and $m$. Earlier, similar generalizations of Baer’s theorem (which states that an Engel element of a finite group belongs to the Fitting subgroup) were obtained by the first two authors in terms of left Engel-type subgroups.

scholarly journals A criterion for metanilpotency of a finite group

2018 ◽  
Vol 21 (4) ◽  
pp. 713-718 ◽  
Author(s):  
Raimundo Bastos ◽  
Carmine Monetta ◽  
Pavel Shumyatsky
Keyword(s):  
Finite Group ◽  
Lower Central Series ◽  
Central Series ◽  
A Finite Group

AbstractWe prove that the kth term of the lower central series of a finite group G is nilpotent if and only if {|ab|=|a||b|} for any {\gamma_{k}}-commutators {a,b\in G} of coprime orders.

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〉.

Sign in / Sign up

Export Citation Format

Share Document