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.     

Hypersolvable Groups

Call a group G hypersolvable if it has an ascending series with G/C_G(A) solvable for each factor A of the series. In this article we establish some basic facts about hypersolvable groups. We also prove that if G is a perfect Fitting p-group such that every proper subgroup is contained in a proper normal subgroup, then G has a proper non-hypersolvable subgroup.     

Ruling out (160, 54, 18) difference sets in some nonabelian groups

We prove the following theorems. Theorem A. Let G be a group of order 160 satisfying one of the following conditions. (1) G has an image isomorphic to D₂₀ × Z₂ (for example, if G ≃ D₂₀ × K). (2) G has a normal 5‐Sylow subgroup and an elementary abelian 2‐Sylow subgroup. (3) G has an abelian image of exponent 2, 4, 5, or 10 and order greater than 20. Then G cannot contain a (160, 54, 18) difference set. Theorem B. Suppose G is a nonabelian group with 2‐Sylow subgroup S and 5‐Sylow subgroup T and contains a (160, 54, 18) difference set. Then we have one of three possibilities. (1) T is normal, |ϕ(S)| = 8, and one of the following is true: (a) G = S × T and S is nonabelian; (b) G has a D₁₀ image; or (c) G has a Frobenius image of order 20. (2) G has a Frobenius image of order 80. (3) G is of index 6 in A Γ L(1, 16). To prove the first case of Theorem A, we find the possible distribution of a putative difference set with the stipulated parameters among the cosets of a normal subgroup using irreducible representations of the quotient; we show that no such distribution is possible. The other two cases are due to others. In the second (due to Pott) irreducible representations of the elementary abelian quotient of order 32 give a contradiction. In the third (due to an anonymous referee), the contradiction derives from a theorem of Lander together with Dillon's “dihedral trick.” Theorem B summarizes the open nonabelian cases based on this work. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 221–231, 2000     

A wavelet theory for local fields and related groups

Let G be a locally compact abelian group with compact open subgroup H. The best known example of such a group is G = ℚ_p, the field of padic rational numbers (as a group under addition), which has compact open subgroup H = ℤ_p, the ring of padic integers. Classical wavelet theories, which require a non trivial discrete subgroup for translations, do not apply to G, which may not have such a subgroup. A wavelet theory is developed on G using coset representatives of the discrete quotient Ĝ/H^⊥ to circumvent this limitation. Wavelet bases are constructed by means of an iterative method giving rise to socalled wavelet sets in the dual group Ĝ. Although the Haar and Shannon wavelets are naturally antipodal in the Euclidean setting, it is observed that their analogues for G are equivalent.     

Quelques proprietes des espaces homogenes spheriques

Let G be a connected, reductive, algebraic group on an algebraically closed field k of characteristic zero. Let H be aspherical subgroup of G, i.e. H is a closed subgroup of G such that every Borel subgroup of G operates on G/H with an open orbit.It is shown that for a spherical subgroup H, the homogeneous space G/H is a deformation of a homogeneous space G/H₀, where H₀ contains a maximal unipotent subgroup of G (such a H₀ is spherical). It is also shown that every Borel subgroup of G has a finite number of orbits in G/H.     

Periodic part in some Shunkov groups

A group G is saturated with groups in a set X if every finite subgroup of G is embeddable in G into a subgroup L isomorphic to some group in X. We show that a Shunkov group has a periodic part if the saturating set for it coincides with one of the following: {L₂(q)}, {Sz(q)}, {Re(q)}, or {U₃(2ⁿ)}. Translated fromAlgebra i Logika, Vol. 38, No. 1, pp. 96–125, January–February, 1999.     

On the normalizers of the unitary subgroup in an integral group ring

In this paper, we investigate the properties of the normalizers of the unitary subgroup u_f(ZG) in an integral group rings. One of our main results is Theorem 2.6 which character¬izes the second normalizer of the unitary subgroup. As a conse¬quence of this theorem, we prove that the second normalizer of u_f(ZG) coincides with the first normalizer when G is a periodic group. Among other results, we give necessary and sufficient conditions for which the unitary subgroup is normal in the unit group when G is periodic and also characterize when all bicyclic units are nontrivial and elements of the normalizer of the unitary subgroup.     

Periodic groups saturated by finite simple groups <Emphasis Type="Italic">U</Emphasis><Subscript>3</Subscript>(2<Superscript>m</Superscript>)

Let {ie166-01} be a set of finite groups. A group G is said to be saturated by the groups in {ie166-02} if every finite subgroup of G is contained in a subgroup isomorphic to a member of {ie166-03}. It is proved that a periodic group G saturated by groups in a set {U₃(2^m) | m = 1, 2, …} is isomorphic to U₃(Q) for some locally finite field Q of characteristic 2; in particular, G is locally finite. __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 288–306, May–June, 2008.     

Torsion-free groups with factor-groups on their hypercenter which are periodic

Assume that G is a torsion-free group, Zk(G) is the k-th term of the upper central series of G, and ¯G_k=G/Z_k(G) is a nontrivial periodic group. Then every finite subgroup of ¯G_k is nilpotent of class not higher than k; the group k 2 contains an infinite subgroup with k generators if k2 and two generators if k=1. Moreover any nontrivial invariant subgroup of ¯G_k is infinite. All elements of ¯Gk are of odd order. This assertion is generalized.Translated from Matematicheskie Zametki, Vol. 8, No. 3, pp. 373–383, September, 1970.     

A GENERALIZATION OF COMPLETE GROUPS

Let G be a finite group and let G be the semi-direct product of a normal subgroup N and a subgroup K. In [1], conditions were found which are equivalent to the existence of a normal complement to N in G. We consider the structure of groups N for which the above condition always holds. Thus we use Bechtell's results to gain information on groups N such that if G is a semi-direct product of N and a subgroup K, then N is a direct factor of G, for all G. It is an old result that a group N is complete if and only if whenever N is a normal subgroup of G, then N is a direct factor of G, [4]. Hence it is not surprising that complete groups are part of our result. Moreover a group N is complete if and only if N is isomorphic to Aut(N) under the mapping σ(n) = σ _n , where σ _n is the inner automorphism induced by n. This remark leads us to consider groups N which contain a subgroup H such that H is isomorphic to Aut(N) under σ: H → Aut(N). All groups considered here are finite. The results found here do not parallel the results found in the author's dissertation for Lie algebras. There it is shown that only complete Lie algebras have the desired property. Thus, these results provide an example of when the theory of Lie algebras diverges from that of groups.     

Nilpotent length of a finite group admitting a frobenius group of automorphisms with fixed-point-free kernel

Suppose that a finite group G admits a Frobenius group FH of automorphisms with kernel F and complement H such that the fixed-point subgroup of F is trivial, i.e., C_G(F) = 1, and the orders of G and H are coprime. It is proved that the nilpotent length of G is equal to the nilpotent length of C_G(H) and the Fitting series of the fixed-point subgroup C_G(H) coincides with a series obtained by taking intersections of C_G(H) with the Fitting series of G.     

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     

Definability in algebraically closed groups

Let K be an abstract class of groups such that a countable group U exists possessing the following properties: 1) an arbitrary finitely generated subgroup of U belongs to K; 2) an arbitrary finitely generated subgroup from K is imbedded in U; 3) a recursive representaion of the group U exists with a solvable word identity problem. Then for arbitrary n ≥ 1 there exists ??-equation Ψ_n(v₀...v_n?1) such that for an arbitrary algebraically closed group G and for arbitrary x₀...x_n?1 ε G Classes of finite free nilpotent groups satisfy the conditions of the theorem.     

Dissipative and nonunitary solutions of operator commutation relations

We study the (generalized) semi-Weyl commutation relations U_gAU* _g = g(A) on Dom(A), where A is a densely defined operator and G ? g ? U_g is a unitary representation of the subgroup G of the affine group G, the group of affine orientation-preserving transformations of the real axis. If A is a symmetric operator, then the group G induces an action/flow on the operator unit ball of contracting transformations from Ker(A* - iI) to Ker(A* + iI). We establish several fixed-point theorems for this flow. In the case of one-parameter continuous subgroups of linear transformations, self-adjoint (maximal dissipative) operators associated with the fixed points of the flow yield solutions of the (restricted) generalized Weyl commutation relations. We show that in the dissipative setting, the restricted Weyl relations admit a variety of representations that are not unitarily equivalent. For deficiency indices (1, 1), the basic results can be strengthened and set in a separate case.     

Characterization of infinite Chernikov groups

It is shown that an infinite locally finite group is a Chernikov group if and only if its Cartesian square G × G contains a subgroup T of finite index such that Aut T possesses the four group V as subgroup with Chernikov centralizer C_T(v) and the centralizers of involutions in V are weakly isolated in T.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 5, pp. 674–677, May, 1990.     

A characterization of alternating groups. II

Let G be a group. A subset X of G is called an A-subset if X consists of elements of order 3, X is invariant in G, and every two non-commuting members of X generate a subgroup isomorphic to A₄ or to A₅. Let X be the A-subset of G. Define a non-oriented graph Γ(X) with vertex set X in which two vertices are adjacent iff they generate a subgroup isomorphic to A₄. Theorem 1 states the following. Let X be a non-empty A-subset of G. (1) Suppose that C is a connected component of Γ(X) and H = 〈C〉. If H ∩ X does not contain a pair of elements generating a subgroup isomorphic to A₅ then H contains a normal elementary Abelian 2-subgroup of index 3 and a subgroup of order 3 which coincides with its centralizer in H. In the opposite case, H is isomorphic to the alternating group A(I) for some (possibly infinite) set I, |I| ≥ 5. (2) The subgroup 〈X^G〉 is a direct product of subgroups 〈C _α〉-generated by some connected components C _α of Γ(X). Theorem 2 asserts the following. Let G be a group and X⊆G be a non-empty G-invariant set of elements of order 5 such that every two non-commuting members of X generate a subgroup isomorphic to A₅. Then 〈XG〉 is a direct product of groups each of which either is isomorphic to A₅ or is cyclic of order 5. Supported by RFBR grant No. 05-01-00797; FP “Universities of Russia,” grant No. UR.04.01.028; RF Ministry of Education Developmental Program for Scientific Potential of the Higher School of Learning, project No. 511; Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1. __________ Translated from Algebra i Logika, Vol. 45, No. 2, pp. 203–214, March–April, 2006.     

The Supersolvable Residual of a Finite Group Factorized by Pairwise Permutable Seminormal Subgroups

Algebra and Logic - A subgroup A is seminormal in a finite group G if there exists a subgroup B such that G = AB and AX is a subgroup for each subgroup X from B. We study a group G = G1G2 . . .Gn...     

Divisible rigid groups

A soluble group G is rigid if it contains a normal series of the form G = G₁ > G₂ > … > G_p > G_p+1 = 1, whose quotients G_i/G_i+1 are Abelian and are torsion-free as right ℤ[G/G_i]-modules. The concept of a rigid group appeared in studying algebraic geometry over groups that are close to free soluble. In the class of all rigid groups, we distinguish divisible groups the elements of whose quotients G_i/G_i+1 are divisible by any elements of respective groups rings Z[G/G_i]. It is reasonable to suppose that algebraic geometry over divisible rigid groups is rather well structured. Abstract properties of such groups are investigated. It is proved that in every divisible rigid group H that contains G as a subgroup, there is a minimal divisible subgroup including G, which we call a divisible closure of G in H. Among divisible closures of G are divisible completions of G that are distinguished by some natural condition. It is shown that a divisible completion is defined uniquely up to G-isomorphism. Supported by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-344.2008.1). Translated from Algebra i Logika, Vol. 47, No. 6, pp. 762–776, November–December, 2008.     

子群的核平凡或正规闭包极大的有限p群

称有限p群G为ACT群,如果对每个交换子群H,其正规核HG=1或HG=H.又称p群G是CC群,如果对每个非正规交换子群H,有HG=1或HG在G中的指数为p.本文分类了ACT群和CC群.     

Conjugate biprimitive finite groups saturated with finite simple subgroupsU 3(2 n )

A group G is saturated with groups of the set X if every finite subgroup K≤G is embedded in G into a subgroup L isomorphic to some group of X. We study periodic conjugate biprimitive finite groups saturated with groups in the set {U₃(2ⁿ)}. It is proved that every such group is isomorphic to a simple group U₃(Q) over a locally finite field Q of characteristic 2. Supported by the RF State Committee of Higher Education. Translated fromAlgebra i Logika, Vol. 37, No. 5, pp. 606–615, September–October, 1998.