scholarly journals On Two Properties of Shunkov Group

Author(s):  
А. А. Shlepkin ◽  
◽  
I. V. Sabodakh ◽  

One of the interesting classes of mixed groups ( i.e. groups that can contain both elements of finite order and elements of infinite order) is the class of Shunkov groups. The group $G$ is called Shunkov group if for any finite subgroup $H$ of $G$ in the quotient group $N_G(H)/H$, any two conjugate elements of prime order generate a finite group. When studying the Shunkov group $G$, a situation often arises when it is necessary to move to the quotient group of the group $G$ by some of its normal subgroup $N$. In which cases is the resulting quotient group $G/N$ again a Shunkov group? The paper gives a positive answer to this question, provided that the normal subgroup $N$ is locally finite and the orders of elements of the subgroup $N$ are mutually simple with the orders of elements of the quotient group $G/N$. Let $ \mathfrak{X}$ be a set of groups. A group $G$ is saturated with groups from the set $ \mathfrak{X}$ if any finite subgroup of $G$ is contained in a subgroup of $ G$ that is isomorphic to some group of $\mathfrak{X}$ . If all elements of finite orders from the group $G$ are contained in a periodic subgroup of the group $G$, then it is called the periodic part of the group $G$ and is denoted by $T(G)$. It is proved that the Shunkov group saturated with finite linear and unitary groups of degree 3 over finite fields has a periodic part that is isomorphic to either a linear or unitary group of degree 3 on a suitable locally finite field. \end{abstracte}

1999 ◽  
Vol 60 (2) ◽  
pp. 197-205 ◽  
Author(s):  
Narain D. Gupta ◽  
Victor D. Mazurov

For a periodic group G, denote by ω(G) the set of orders of elements in G. We prove that if ω(G) is a proper subset of the set {1, 2, 3, 4, 5} then either G is locally finite or G contains a nilpotent normal subgroup N such that G/N is a 5-group.


Author(s):  
V. I. Senashov ◽  

Layer-finite groups first appeared in the work by S. N. Chernikov (1945). Almost layer-finite groups are extensions of layer-finite groups by finite groups. The class of almost layer-finite groups is wider than the class of layer-finite groups; it includes all Chernikov groups, while it is easy to give examples of Chernikov groups that are not layer-finite. The author develops the direction of characterizing well-known and well-studied classes of groups in other classes of groups with some additional (rather weak) finiteness conditions. A Shunkov group is a group 𝐺 in which for any of its finite subgroups 𝐾 in the quotient group <math xmlns="http://www.w3.org/1998/Math/MathML"><mfrac><mrow><msub><mi>N</mi><mi>G</mi></msub><mo>(</mo><mi>K</mi><mo>)</mo></mrow><mi>K</mi></mfrac></math> any two conjugate elements of prime order generate a finite subgroup. In this paper, we prove the properties of periodic not almost layer-finite Shunkov groups with condition: the normalizer of any finite nontrivial subgroup is almost layer-finite. Earlier, these properties were proved in various articles of the author, as necessary, sometimes under some conditions, then under others (the minimality conditions for not almost layer-finite subgroups, the absence of second-order elements in the group, the presence of subgroups with certain properties in the group). At the same time, it was necessary to make remarks that this property is proved in almost the same way as in the previous work, but under different conditions. This eliminates the shortcomings in the proofs of many articles by the author, in which these properties are used without proof.


Author(s):  
Brian Hartley

AbstractThe following question is discussed and evidence for and against it is advanced: is it true that if F is an arbitrary finite subgroup of an arbitrary non-linear simple locally finite group G, then CG(F) is infinite? The following points to an affirmative answer.Theorem A. Let F be an arbitrary finite subgroup of a non-linear simple locally finite group G. Then there exist subgroups D ◃ C ≤ G such that F centralizes C/D, F∩C ≤ D, and C/D is a direct product of finite alternating groups of unbounded orders. In particular, F centralizes an infinite section of G.Theorem A is deduced from a “local” version, namelyTheorem B. There exists an integer valued function f(n, r) with the following properties. Let H be a finite group of order at most n, and suppose that H ≤ S, where S is either an alternating group of degree at least f = f(n, r) or a finite simple classical group whose natural projective representation has degree at least f. Then there exist subgroups D ◃ C ≤ S such that (i) [H, C] ≤ D, (ii) H ∩ C ≤ D, (iii) C/D ≅ Alt(r), (iv) D = 1 if S is alternating, and D is a p-group of class at most 2 and exponent dividing p2 if S is a classical group over a field of characteristic p.The natural “local version” of our main question is however definitely false.Proposition C. Let p be a given prime. Then there exists a finite group H that can be embedded in infinitely many groups PSL(n, p) as a subgroup with trivial centralizer.


Author(s):  
SH. RAHIMI ◽  
Z. AKHLAGHI

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)$ .


1969 ◽  
Vol 10 (3-4) ◽  
pp. 359-362
Author(s):  
Nita Bryce

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


1997 ◽  
Vol 40 (2) ◽  
pp. 243-246
Author(s):  
Yanming Wang

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.


1988 ◽  
Vol 31 (3) ◽  
pp. 469-474
Author(s):  
Robert W. van der Waall

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.


2008 ◽  
Vol 01 (03) ◽  
pp. 369-382
Author(s):  
Nataliya V. Hutsko ◽  
Vladimir O. Lukyanenko ◽  
Alexander N. Skiba

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


1989 ◽  
Vol 41 (1) ◽  
pp. 14-67 ◽  
Author(s):  
M. Chacron

Let D stand for a division ring (or skewfield), let G stand for an ordered abelian group with positive infinity adjoined, and let ω: D → G. We call to a valuation of D with value group G, if ω is an onto mapping from D to G such that(i) ω(x) = ∞ if and only if x = 0,(ii) ω(x1 + x2) = min(ω (x1), ω (x2)), and(iii) ω (x1 x2) = ω (x1) + ω (x2).Associated to the valuation ω are its valuation ringR = ﹛x ∈ Dω(x) ≧ 0﹜,its maximal idealJ = ﹛x ∈ |ω(x) > 0﹜, and its residue division ring D = R/J.The invertible elements of the ring R are called valuation units. Clearly R and, hence, J are preserved under conjugation so that 1 + J is also preserved under conjugation. The latter is thus a normal subgroup of the multiplicative group Dm of D and hence, the quotient group D˙/1 + J makes sense (the residue group of ω). It enlarges in a natural way the residue division ring D (0 excluded, and addition “forgotten“).


2009 ◽  
Vol 12 ◽  
pp. 82-119 ◽  
Author(s):  
László Babai ◽  
Péter P. Pálfy ◽  
Jan Saxl

AbstractA p-regular element in a finite group is an element of order not divisible by the prime number p. We show that for every prime p and every finite simple group S, a fair proportion of elements of S is p-regular. In particular, we show that the proportion of p-regular elements in a finite classical simple group (not necessarily of characteristic p) is greater than 1/(2n), where n – 1 is the dimension of the projective space on which S acts naturally. Furthermore, in an exceptional group of Lie type this proportion is greater than 1/15. For the alternating group An, this proportion is at least 26/(27√n), and for sporadic simple groups, at least 2/29.We also show that for an arbitrary field F, if the simple group S is a quotient of a finite subgroup of GLn(F) then for any prime p, the proportion of p-regular elements in S is at least min{1/31, 1/(2n)}.Along the way we obtain estimates for the proportion of elements of certain primitive prime divisor orders in exceptional groups, complementing work by Niemeyer and Praeger (1998).Our result shows that in finite simple groups, p-regular elements can be found efficiently by random sampling. This is a key ingredient to recent polynomial-time Monte Carlo algorithms for matrix groups.Finally we complement our lower bound results with the following upper bound: for all n ≥ 2 there exist infinitely many prime powers q such that the proportion of elements of odd order in PSL(n,q) is less than 3/√n.


Sign in / Sign up

Export Citation Format

Share Document