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.     

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.     

On simple periodic linear groups— Dense subgroups,permutation representations,and induced modules

We determine the Zariski-dense subgroups of Chevalley groups and their twisted analogues over infinite algebraic extensions of finite fields. It turns out that these are essentially forms of the same group (possibly becoming twisted) over smaller infinite fields. It follows from our classification that if is a simple algebraic group over the algebraic closure of a finite field, then a dense subgroup of can never be maximal, and so the maximal subgroups of are necessarily closed. It follows that Seitz’s determination of the closed maximal subgroups of actually gives all the maximal subgroups. It also enables us to prove that ifG is a simple Chevalley group or twisted type over an infinite algebraic extension of a finite field, then in every non-trivial permutation representation ofG, every finite subgroup has a regular orbit. It follows that every non-trivial permutation module forG over a fieldk iskG-faithful. This is relevant to a programme of studying ideals in group rings of simple locally finite groups. To John Thompson in recognition of his many outstanding contributions to group theory     

The generic character table of a Sylow p-subgroup of a finite Chevalley group of type D4

Let U be a Sylow p-subgroup of the finite Chevalley group of type D₄ over the field of q elements, where q is a power of a prime p. We describe a construction of the generic character table of U.     

The nilpotence class of the Frattini subgroup

Ap-group of sufficiently large nilpotence class cannot occur as a normal subgroup contained in the Frattini subgroup of any finite group. The Frattini subgroup of a group of order Π _pi ^αi with max α _i at least 3, has nilpotence class at most 1/2 (max α _i − 1). The Frattini subgroup of at-group is abelian. The occurrence of groups of orderp ⁴ as normal subgroups contained in Frattini subgroups is investigated. National Science Foundation Science Faculty Fellow, University of Cincinnati     

Congruence subgroups of the minimal covolume arithmetic Kleinian group

We consider the problem of finding the normal subgroups of the orientation preserving subgroup Δ⁺ of the [3,5,3]-Coxeter group with the factor group isomorphic to \operatornamePSL₂(\mathbb F_q)\operatorname{\mathrm{PSL}}_{2}(\mathbb {F}_{q}). We identify all such groups with particular congruence subgroups of an arithmetic subgroup of PSL ₂(ℂ) derived from a quaternion algebra over a quartic field. The result can be interpreted as a generalization of the Macbeath’s result on the classification of finite linear groups as Hurwitz groups to 3-dimensional hyperbolic space.     

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.     

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.     

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.     

Unique Node Extremal Subgroups in Chevalley Groups

Abstract

Taking G to be a Chevalley group of rank at least 3 and U to be the unipotent radical of a Borel subgroup B,an extremal subgroup A is an abelian normal subgroup of U which is not contained in the intersection of all the unipotent radicals of the rank 1 parabolic subgroups of G containing B. If there is an unique rank 1 parabolic subgroup P of G containing B with the property that A is not contained in the unipotent radical of P,then A is called a unique node extremal subgroup. In this paper we investigate the embedding of unique node extremal subgroups in U and prove that,apart from some specified cases,such a subgroup is contained in the unipotent radical of a certain maximal parabolic subgroup.     

Levi Decomposition for Carpet Subgroups of Chevalley Groups Over a Field

It is proved that a carpet subgroup of a Chevalley group of type Φ over a field is a semidirect product whose kernel is defined by a unipotent carpet of type Φ, while the noninvariant factor is a central product of carpet subgroups each of which is defined by an irreducible subcarpet of type Φi for some indecomposable root subsystem Φ _i of Φ. The obtained result can be viewed as an analog of the Levi decomposition.     

Subgroups normalized by the elementary Levi subgroup

Subgroups of the unipotent radical of a maximal parabolic subgroup of a Chevalley group over a field K, which are normalized by the commutator subgroup of the Levi subgroup, are described. It is shown that in the typical case, such subgroups are in one-to-one correspondence with the closed subsets of {1, 2, ..., n} for a natural n. In the exceptional cases the classification also involves additive subgroups of K. See the table in the paper for a detailed list of possibilities. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 319, 2004, pp. 199–215.     

On Complementability of Nonmetacyclic Subgroups in Finite A-Groups

We study groups G that satisfy the following conditions: (i) G is a finite solvable group with nonprimary metacyclic second subgroup and (ii) all Sylow subgroups of the group G are elementary Abelian subgroups. We describe the structure of groups of this type with complementable nonmetacyclic subgroups.     

On the concept of level for subgroups of SL2 over arithmetic rings

We define the concept of level for arbitrary subgroups Γ of finite index in the special linear group SL₂(A _S), whereA _S is the ring ofS-integers of a global fieldk provided thatk is an algebraic number field, or card (S) ≥ 2. It is shown that this concept agrees with the usual notion of ‘Stufe’ for congruence subgroups. In the case SL₂(O),O the ring of integers of an imaginary quadratic number field, this criterion for deciding whether or not an arbitrary subgroup of finite index is a congruence subgroup is used to determine the minimum of the indices of non-congruence subgroups.     

On finite groups isospectral to simple linear and unitary groups

Let L be a simple linear or unitary group of dimension larger than 3 over a finite field of characteristic p. We deal with the class of finite groups isospectral to L. It is known that a group of this class has a unique nonabelian composition factor. We prove that if L ≠ U ₄(2), U ₅(2) then this factor is isomorphic to either L or a group of Lie type over a field of characteristic different from p.     

Subgroups of unitriangular groups of infinite matrices

We show that for any associative ring R, the subgroup UT _r(∞, R) of row-finite matrices in UT(∞, R), the group of all infinite-dimensional (indexed by ℕ) upper unitriangular matrices over R, is generated by the so-called strings (block-diagonal matrices with finite blocks along the main diagonal). This allows us to define a large family of subgroups of UT _r(∞, R) associated with some growth functions. The smallest subgroup in this family, called the group of banded matrices, is generated by 1-banded simultaneous elementary transvections (a slight generalization of the usual notion of elementary transvection). We introduce the notion of net subgroup and characterize the normal net subgroups of UT(∞, R). Bibliography: 26 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 338, 2006, pp. 137–154.     

Finite A-groups with complementable nonmetacyclic subgroups

We study groups G that satisfy the following conditions (i) G is a finite solvable group with nonidentity primary metacyclic second commutator subgroup (ii) all Sylow subgroups of G are elementary Abelian. We describe the structure of groups of this type with complementable nonmetacyclic subgroups. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 5, pp. 607–615, May, 2006.     

Normal Subgroups of Hecke Groups <Emphasis Type="Italic">H</Emphasis>(<Emphasis Type="Italic">λ</Emphasis>)

Let λ ≥ 2 and let H(λ) be the Hecke group associated to λ. Also let H(λ)\U be the Riemann surface associated to the Hecke group H(λ). In this article, we study the even subgroup H _e (λ) and the power subgroups H ^m (λ) of the Hecke groups H(λ). We also study some genus 0 normal subgroups of finite index of H(λ). Finally, we discuss free normal subgroups of H(λ).