Nilpotent injectors in alternating groups

AnN-Injector in an arbitrary finite group is defined as a maximal nilpotent subgroup ofG containing a subgroupA ofG of maximal order, satisfying class (A)≦2. In a previous paper theN-Injectors of Sym(n) were determined. In this paper we determine theN-Injectors of Alt(n), after having determined the set of all nilpotent subgroups,A, of Sym(n) of maximal order satisfying class(A)≦2. It is shown that the set ofN-Injectors of Alt(n) consists of a unique conjugacy class, and ifn≠9, it coincides with the set of the nilpotent subgroups of Alt(n) of maximal order.     

Nilpotent injectors in symmetric groups

AnN-Injector in an arbitrary finite groupG is defined as a maximal nilpotent subgroup ofG, containing a subgroupA ofG of maximal order satisfying class(A)>=2. Among other results theN-Injectors of Sym(n) are determined and shown to consist of a unique conjugacy class of subgroups of Sym(n).     

Automorphisms of Relatively Free Nilpotent Lie Algebras

Let L be a relatively free nilpotent Lie algebra over ? of rank n and class c, with n ≥ 2; freely generated by a set 𝒵. Give L the structure of a group, denoted by R, by means of the Baker–Campbell–Hausdorff formula. Let G be the subgroup of R generated by the set 𝒵 and N _Aut(L)(G) the normalizer in Aut(L) of the set G. We prove that the automorphism group of L is generated by GL _n (?) and N _Aut(L)(G). Let H be a subgroup of finite index in Aut(G) generated by the tame automorphisms and a finite subset X of IA-automorphisms with cardinal s. We construct a set Y consisting of s + 1 IA-automorphisms of L such that Aut(L) is generated by GL _n (?) and Y. We apply this particular method to construct generating sets for the automorphism groups of certain relatively free nilpotent Lie algebras.     

Sets of Elements that Pairwise Generate a Matrix Ring

In this article, we investigate the relationship between the minimum number of proper subgroups of GL(n, q) whose union is the whole GL(n, q) and the maximum number of elements that pairwise generate GL(n, q). We show that the minimum number of proper subrings of M _n (q) whose union is the whole M _n (q) is exactly the maximum number of elements that pairwise generate M _n (q).     

Product of nilpotent subgroups

We will say that a subgroup X of G satisfies property C in G if C_G(X?X^g)\leqq X?X^g{\rm C}_{G}(X\cap X^{{g}})\leqq X\cap X^{{g}} for all g ? G{g}\in G. We obtain that if X is a nilpotent subgroup satisfying property C in G, then XF(G) is nilpotent. As consequence it follows that if N\triangleleft GN\triangleleft G is nilpotent and X is a nilpotent subgroup of G then C_G(N?X)\leqq XC_G(N\cap X)\leqq X implies that NX is nilpotent.¶We investigate the relationship between the maximal nilpotent subgroups satisfying property C and the nilpotent injectors in a finite group.     

A Generalization of the Kostka–Foulkes Polynomials

Combinatorial objects called rigged configurations give rise to q-analogues of certain Littlewood–Richardson coefficients. The Kostka–Foulkes polynomials and two-column Macdonald–Kostka polynomials occur as special cases. Conjecturally these polynomials coincide with the Poincaré polynomials of isotypic components of certain graded GL(n)-modules supported in a nilpotent conjugacy class closure in gl(n).     

Parabolic conjugacy in general linear groups

Let q be a power of a prime and n a positive integer. Let P(q) be a parabolic subgroup of the finite general linear group GL _n (q). We show that the number of P(q)-conjugacy classes in GL _n (q) is, as a function of q, a polynomial in q with integer coefficients. This answers a question of Alperin in (Commun. Algebra 34(3): 889–891, 2006)     

On the description of overgroups of E(m,R)?E(n,R)

The subgroups E(m,R) ⊗ E(n,R) ≤ H ≤ G = GL(mn,R) are studied under the assumption that the ring R is commutative and m, n ≥ 3. The group GL _m ⊗GL _n is defined by equations, the normalizer of the group E(m,R) ⊗ E(n,R) is calculated, and with each intermediate subgroup H it is associated a uniquely determined lower level (A,B,C), where A,B,C are ideals in R such that mA,A ² ≤ B ≤ A and nA,A ² ≤ C ≤ A. The lower level specifies the largest elementary subgroup satisfying the condition E(m, n,R, A,B,C) ≤ H. The standard answer to this problem asserts that H is contained in the normalizer N _G (E(m,n,R, A,B,C)). Bibliography: 46 titles.     

Locally nilpotent linear groups with restrictions on their subgroups of infinite central dimension

Let F be a field and V a vector space over F. If G is a subgroup of GL(V, F), then we define the central dimension of G (denoted by centdim _F G) as the F-dimension of the factor-space V/C _V (G). In this paper, we continue the study of locally nilpotent linear groups satisfying the weak minimal or the weak maximal condition on their subgroups of infinite central dimension started in Kurdachenko et al. (Publ Mat 52:151–169, 2008). Supported by Proyecto MTM2007-60994 of Dirección General de Investigación MEC (Spain).     

Fischer Matrices of the Affine Groups

Let GL_n(q) be the general linear group and let H_n ; V_n(q) · GL_n(q) denote the affine group of V_n(q). In [1] and [4], we determined Fischer matrices for the conjugacy classes of GL_n(q) where n = 2, 3, 4 and we obtained the number of conjugacy classes and irreducible characters of H₂, H₃, and H₄. In this paper, we find the Fischer matrices of the affine group H_n for arbitrary n.AMS Subject Classification Primary 20C15 Secondary 20C33     

The n-cohomology of limits of discrete series

Let G be a semisimple Lie group which has a compact Cartan subgroup H, let K be a maximal compact subgroup of G containing H, and let n be the sum of the negative root spaces of G corresponding to an arbitrary choice of a positive root system of (G, H). We compute the n-cohomology of the K-finite vectors in a limit of a discrete series representation π of G. In the special case when π is a discrete series representation our result reduces to the result of W. Schmid. In the special case when π is a holomorphic limit we interpret its multiplicity in L²(ΓβG) cohomologically, where Γ is a discrete subgroup of G. In the general case we present a conjecture for this multiplicity.     

On p-nilpotency of finite groups with some subgroups π-quasinormally embedded

Summary A subgroup H of a group G is said to be π-quasinormal in G if it permutes with every Sylow subgroup of G, and H is said to be π-quasinormally embedded in G if for each prime dividing the order of H, a Sylow p-subgroup of H is also a Sylow p-subgroup of some π-quasinormal subgroups of G. We characterize p-nilpotentcy of finite groups with the assumption that some maximal subgroups, 2-maximal subgroups, minimal subgroups and 2-minimal subgroups are π-quasinormally embedded, respectively.     

Decompositions of complete graphs and complete bipartite graphs into isomorphic supersubdivision graphs

A graph H is called a supersubdivison of a graph G if H is obtained from G by replacing every edge uv of G by a complete bipartite graph K_2,m (m may vary for each edge) by identifying u and v with the two vertices in K_2,m that form one of the two partite sets. We denote the set of all such supersubdivision graphs by SS(G). Then, we prove the following results.

1. Each non-trivial connected graph G and each supersubdivision graph HSS(G) admits an α-valuation. Consequently, due to the results of Rosa (in: Theory of Graphs, International Symposium, Rome, July 1966, Gordon and Breach, New York, Dunod, Paris, 1967, p. 349) and El-Zanati and Vanden Eynden (J. Combin. Designs 4 (1996) 51), it follows that complete graphs K_2cq+1 and complete bipartite graphs K_mq,nq can be decomposed into edge disjoined copies of HSS(G), for all positive integers m,n and c, where q=|E(H)|.

2. Each connected graph G and each supersubdivision graph in SS(G) is strongly n-elegant, where n=|V(G)| and felicitous.

3. Each supersubdivision graph in EASS(G), the set of all even arbitrary supersubdivision graphs of any graph G, is cordial.

Further, we discuss a related open problem.     

Unipotent Conjugacy in General Linear Groups

Let U(n,q) be the group of upper uni-triangular matrices in GL(n,q), the n-dimensional general linear group over the field of q elements. The number of U(n,q)-conjugacy classes in GL(n,q) is, as a function of q, for fixed n, a polynomial in q with integral coefficients.     

A partition of characters associated to nilpotent subgroups

IfG is a finite solvable group andH is a maximal nilpotent subgroup ofG containingF(G), we show that there is a canonical basisP(G|H) of the space of class functions onG vanishing off anyG-conjugate ofH which consists of characters. ViaP(G|H) it is possible to partition the irreducible characters ofG into “blocks”. These behave like Brauerp-blocks and a Fong theory for them can be developed. Research partially supported by DGICYT and MEC.     

On a group with three supersolvable subgroups of pairwise relatively prime indices

In this paper, we show that if G is a finite group with three supersolvable subgroups of pairwise relatively prime indices in G and G′ is nilpotent, then G is supersolvable. Let π(G) denote the set of prime divisors of |G| and max(π(G)) denote the largest prime divisor of |G|. We also establish that if G is a finite group such that G has three supersolvable subgroups H, K, and L whose indices in G are pairwise relatively prime, q \nmid p-1{q \nmid p-1} where p =  max(π(G)) and q = max(π(L)) with L a Hall p′-subgroup of G, then G is supersolvable.     

On subgroups of the general linear group that contain a maximal nonsplit torus

The paper deals with the structure of intermediate subgroups of the general linear group GL(n, k) of degree n over a field k of odd characteristic that contain a nonsplit maximal torus related to a radical extension of degree n of the ground field k. The structure of ideal nets over a ring that determine the structure of intermediate subgroups containinga transvection is given. Let K = k( ⁿ?{d} ) K = k\left( {\sqrt[n]{d}} \right) be a radical degree-n extension of a field k of odd characteristic, and let T =(d) be a nonsplit maximal torus, which is the image of the multiplicative group of the field K under the regular embedding in G =GL(n, k). In the paper, the structure of intermediate subgroups H, T ≤ H ≤ G, that contain a transvection is studied. The elements of the matrices in the torus T = T (d) generate a subring R(d) in the field k.Let R be an intermediate subring, R(d) ⊆ R ⊆ k, d ∈ R. Let σ_R denote the net in which the ideal dR stands on the principal diagonal and above it and all entries of which beneath the principal diagonal are equal to R. Let σ^R denote the net in which all positions on the principal diagonal and beneath it are occupied by R and all entries above the principal diagonal are equal to dR. Let E(σ_R) be the subgroup generated by all transvections from the net group G(σ_R). In the paper it is proved that the product TE(σ_R) is a group (and thus an intermediate subgroup). If the net σ associated with an intermediate subgroup H coincides with σ_R,then TE(σ_R) ≤ H ≤ N(σ_R),where N(σ_R) is the normalizer of the elementary net group E(σ_R) in G. For the normalizer N(σ_R),the formula N(σ_R)= TG(σ^R) holds. In particular, this result enables one to describe the maximal intermediate subgroups. Bibliography: 13 titles.     

Primitive permutation groups with a regular subgroup

This paper starts the classification of the primitive permutation groups (G,Ω) such that G contains a regular subgroup X. We determine all the triples (G,Ω,X) with soc(G) an alternating, or a sporadic or an exceptional group of Lie type. Further, we construct all the examples (G,Ω,X) with G a classical group which are known to us. Our particular interest is in the 8-dimensional orthogonal groups of Witt index 4. We determine all the triples (G,Ω,X) with . In order to obtain all these triples, we also study the almost simple groups G with GPΩ_2n+1(q). The case GU_n(q) is started in this paper and finished in [B. Baumeister, Primitive permutation groups of unitary type with a regular subgroup, Bull. Belg. Math. Soc. 112 (5) (2006) 657–673]. A group X is called a Burnside-group (or short a B-group) if each primitive permutation group which contains a regular subgroup isomorphic to X is necessarily 2-transitive. In the end of the paper we discuss B-groups.