∑＊-嵌入子群对有限群的可解性的影响

设H是有限群G的子群, K/L是G的任一非Frattini主因子.如果对每一满足L≤A＜B≤K且A是B的极大子群的子群对（A,B）,都有HA=HB或者H∩A=H∩B,则称H是G的∑＊-嵌入子群.通过有限群G的某些子群的∑＊-嵌入性,给出了一些有限群G的正规子群为可解群的一些判别条件,推广了已有的一些结论.     

Finite groups with seminormal Schmidt subgroups

A non-nilpotent finite group whose proper subgroups are all nilpotent is called a Schmidt group. A subgroup A is said to be seminormal in a group G if there exists a subgroup B such that G = AB and AB₁ is a proper subgroup of G, for every proper subgroup B₁ of B. Groups that contain seminormal Schmidt subgroups of even order are considered. In particular, we prove that a finite group is solvable if all Schmidt {2, 3}-subgroups and all 5-closed {2, 5}-Schmidt subgroups of the group are seminormal; the classification of finite groups is not used in so doing. Examples of groups are furnished which show that no one of the requirements imposed on the groups is unnecessary. Supported by BelFBR grant Nos. F05-341 and F06MS-017. __________ Translated from Algebra i Logika, Vol. 46, No. 4, pp. 448–458, July–August, 2007.     

2-Length and rational characters of odd degree

If G is a finite solvable group of 2-length l, we prove that the number of odd degree rational-valued irreducible characters of G is at least 2 ^l , improving a result of G. Navarro and P. H. Tiep. This bound is best possible, and also provides a new global/local relationship.     

子群的θ-偶和群的结构

研究极大子群和2-极大子群的θ-偶对群结构的影响.设G是有限群,本文得到了:如果G的每一个极大子群M都有极大θ-偶(C,D),使MC=G且C/D是2-闭的,那么G可解;如果G的每一个2-极大子群H都有θ-偶(C,D),使C/D幂零且G=HC,那么G是幂零.     

Transitive groups with irreducible representations of bounded degree

A well-known theorem of Jordan states that there exists a function J(d) of a positive integer d for which the following holds: if G is a finite group having a faithful linear representation over ℂ of degree d, then G has a normal Abelian subgroup A with [G:A]≤J(d). We show that if G is a transitive permutation group and d is the maximal degree of irreducible representations of G entering its permutation representation, then there exists a normal solvable subgroup A of G such that [G:A]≤J(d) ^log ₂ ^d. Bibliography: 7 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 223, 1995, pp. 108–119. Translated by S. A. Evdokimov.     

Rational division algebras as solvable crossed products

LetG be a finite group. If there exists a division algebra central over the rationalsQ which is a crossed product forG, then according to a theorem of Schacher, the Sylow subgroups ofG are all metacyclic. The converse is proved here to hold in the following cases: (1)G metacyclic; (2) The Sylow 2-subgroups ofG are cyclic (this impliesG solvable); (3)G is solvable and the Sylow 2-subgroups ofG are dihedral of order larger than 8.     

On the number of maximal subgroups of a finite solvable group

For a finite solvable group G and prime number p, we use elementary methods to obtain an upper bound for \mathfrak m_p(G){\mathfrak {m}_{p}(G)} , defined as the number of maximal subgroups of G whose index in G is a power of p. From this we derive an upper bound on the total number of maximal subgroups of a finite solvable group in terms of its order. This bound improves existing bounds, and we identify conditions on the order of a finite solvable group under which this bound is best possible.     

Lower bounds for the number of conjugacy classes in finite solvable groups

We prove first that if G is a finite solvable group of derived length d ≥ 2, then k(G) > |G|^1/(2^d−1), where k(G) is the number of conjugacy classes in G. Next, a growth assumption on the sequence [G⁽ⁱ⁾: G⁽ⁱ⁺¹⁾] ₁ ^d−1 , where G⁽ⁱ⁾ is theith derived group, leads to a |G|^1/(2d−1) lower bound for k(G), from which we derive a |G|^c/log ₂log₂|G| lower bound, independent of d(G). Finally, “almost logarithmic” lower bounds are found for solvable groups with a nilpotent maximal subgroup, and for all Frobenius groups, solvable or not.     

Groups with the weak minimal condition for non-subnormal subgroups

Let G be a group with the property that there are no infinite descending chains of non-subnormal subgroups of G for which all successive indices are infinite. The main results are as follows. If G is locally nilpotent then either G is minimax or G has all subgroups subnormal; if G is a Baer group then all subgroups of G are subnormal. It is also proved that a generalised radical group with this property is soluble-by-finite and either is minimax or has all subgroups subnormal.     

On a class of finite solvable groups

A finite solvable group G is called an X-group if the subnormal subgroups of G permute with all the system normalizers of G. It is our purpose here to determine some of the properties of X-groups. Subgroups and quotient groups of X-groups are X-groups. Let M and N be normal subgroups of a group G of relatively prime order. If G/M and G/N are X-groups, then G is also an X-group. Let the nilpotent residual L of G be abelian. Then G is an X-group if and only if G acts by conjugation on L as a group of power automorphisms.     

The structure of finite groups with trait of non-normal subgroups

In this paper, we investigate the finite groups all of whose non-normal nilpotent subgroups are cyclic. We show that such groups are solvable with cyclic centers. If G is a non-supersolvable group, then G has only one non-cyclic Sylow subgroup which is either isomorphic to Q₈ or is of type (q, q).     

Nonnormal and minimal nonabelian subgroups of a finite group

Let G be a finite p-group. If p = 2, then a nonabelian group G = Ω₁(G) is generated by dihedral subgroups of order 8. If p > 2 and a nonabelian group G = Ω₁(G) has no subgroup isomorphic to S_p²{\Sigma _{{p^2}}}, a Sylow p-subgroup of the symmetric group of degree p ², then it is generated by nonabelian subgroups of order p ³ and exponent p. If p > 2 and the irregular p-group G has < p nonabelian subgroups of order p ^p and exponent p, then G is of maximal class and order p ^p+1. We also study in some detail the p-groups, containing exactly p nonabelian subgroups of order p ^p and exponent p. In conclusion, we prove three new counting theorems on the number of subgroups of maximal class of certain type in a p-group. In particular, we prove that if p > 2, and G is a p-group of order > p ^p+1, then the number of subgroups ≅ ΣS_p²{\Sigma _{{p^2}}} in G is a multiple of p.     

二次极大子群中2阶及4阶循环子群拟正规的有限群

本文讨论２阶及４阶循环子群对群结构的影响．主要结果是下述定理：如果有限群Ｇ满足标题的条件，那么下列情形之一成立：（１）Ｇ有正规Ｓｙｌｏｗ ２－子群；（２） Ｇ为 ２－幂零；（３） Ｇ ≌ Ｓ４；（４） Ｇ＝ＰＱ，其中 Ｐ为阶 ２４广义四元数群， Ｑ为 ３阶循环群；（５） Ｇ ≌ Ａ５或 ＳＬ（２，５）．     

On theta pairs for a maximal subgroup

For a maximal eubgroup M of a finite group G, a 8-pair is any pair of subgroups (C,D) of G such that (i) D?G, D≤C, (ii) - G, - M and (iii) C/D has no proper normal subgroup of G/D. A partial order may be defined on the family of 8-pairs. Let △(M) - {(C,D)|(C,D) is a maximal 8-pair and CM - G}. The purpose of this note is to prove: (1) A group G is solvable if and only if, for each maximal subgroup M of G, △(M) contains a 8-pair (C,D) such that C/D ie nilpctent. (2) If a group G is S₄-free, then G ia eupersolvable if and only if, for each maximal subgroup M of G, △(M) contains a 8-pair (C,D) auch that C/D is cyclic     

Contractions of infrainvariant systems of subgroups

We create a method which allows an arbitrary group G with an infrainvariant system ℒ(G) of subgroups to be embedded in a group G* with an infrainvariant system ℒ(G*) of subgroups, so that G _α^* ∩G ∈ ℒ(G) for every subgroup G _α^* ∩G ∈ ℒ(G*) and each factor B/A of a jump of subgroups in ℒ(G*) is isomorphic to a factor of a jump in ℒ(G), or to any specified group H. Using this method, we state new results on right-ordered groups. In particular, it is proved that every Conrad right-ordered group is embedded with preservation of order in a Conrad right-ordered group of Hahn type (i.e., a right-ordered group whose factors of jumps of convex subgroups are order isomorphic to the additive group ℝ); every right-ordered Smirnov group is embedded in a right-ordered Smirnov group of Hahn type; a new proof is given for the Holland–McCleary theorem on embedding every linearly ordered group in a linearly ordered group of Hahn type.     

On Connected Transversals to Dihedral Subgroups of Order 2p n

Let G be a group with a dihedral subgroup H of order 2pⁿ, where p is an odd prime. We show that if there exist H-connected transversals in G, then G is a solvable group. We apply this result to the loop theory and show that if the inner mapping group of a finite loop Q is dihedral of order 2pⁿ, then Q is a solvable loop.1991 Mathematics Subject Classification: 20D10, 20N05     

Maximal orders of Abelian subgroups in finite simple groups

We bring out upper bounds for the orders of Abelian subgroups in finite simple groups. (For alternating and classical groups, these estimates are, or are nearly, exact.) Precisely, the following result, Theorem A, is proved. Let G be a non-Abelian finite simple group and G L₂ (q), where q=p^t for some prime number p. Suppose A is an Abelian subgroup of G. Then |A|³<|G|. Our proof is based on a classification of finite simple groups. As a consequence we obtain Theorem B, which states that a non-Abelian finite simple group G can be represented as ABA, where A and B are its Abelian subgroups, iff G≌ L₂(2^t) for some t ≥ 2; moreover, |A|-2^t+1, |B|=2^t, and A is cyclic and B an elementary 2-group. Translated fromAlgebra i Logika, Vol. 38, No. 2, pp. 131–160, March–April, 1999.     

Maximal Orders of Abelian Subgroups in Finite Chevalley Groups

In the present paper, for any finite group G of Lie type (except for ² F ₄(q)), the order a(G) of its large Abelian subgroup is either found or estimated from above and from below (the latter is done for the groups F ₄ (q), E ₆ (q), E ₇ (q), E ₈ (q), and ² E ₆(q ²)). In the groups for which the number a(G) has been found exactly, any large Abelian subgroup coincides with a large unipotent or a large semisimple Abelian subgroup. For the groups F ₄ (q), E ₆ (q), E ₇ (q), E ₈ (q), and ² E ₆(q ²)), it is shown that if an Abelian subgroup contains a noncentral semisimple element, then its order is less than the order of an Abelian unipotent group. Hence in these groups the large Abelian subgroups are unipotent, and in order to find the value of a(G) for them, it is necessary to find the orders of the large unipotent Abelian subgroups. Thus it is proved that in a finite group of Lie type (except for ² F ₄(q))) any large Abelian subgroup is either a large unipotent or a large semisimple Abelian subgroup.     

θ-Pairs for 2-maximal subgroups of finite groups

Let H, A and B be subgroups of a group G. We call the pair (A, B) a θ-pair for H in G if: (i) áH, A? = G{\langle H, A\rangle=G} and B = (A ∩ H) _G ; (ii) if A ₁/B is a proper subgroup of A/B and A₁/B \vartriangleleft G/B{{A_1/B \vartriangleleft G/B}}, then G 1 áH, A₁?{G\neq \langle H, A_1\rangle}. In this paper, we study the θ-pairs for 2-maximal subgroups of a group, which imply a group to be solvable or supersolvable.     

On Lie metabelian group rings

Let G be a finite group without elements of orders two and three and R be a commutative ring with characteristic different from 2. If either the subrings A of R(G), the group ring of G over R, generated by the set {g + g^?1; g ∈ G} or B generated by the set {g ? g^?1; g ∈ G} is Lie metabelian, then G is abelian.