Coprime subdegrees for primitive permutation groups and completely reducible linear groups

In this paper we answer a question of Gabriel Navarro about orbit sizes of a finite linear group H ? GL(V) acting completely reducibly on a vector space V: if the H-orbits containing the vectors a and b have coprime lengths m and n, we prove that the H-orbit containing a + b has length mn. Such groups H are always reducible if n,m > 1. In fact, if H is an irreducible linear group, we show that, for every pair of non-zero vectors, their orbit lengths have a non-trivial common factor. In the more general context of finite primitive permutation groups G, we show that coprime non-identity subdegrees are possible if and only if G is of O’Nan-Scott type AS, PA or TW. In a forthcoming paper we will show that, for a finite primitive permutation group, a set of pairwise coprime subdegrees has size at most 2. Finally, as an application of our results, we prove that a field has at most 2 finite extensions of pairwise coprime indices with the same normal closure.     

Sporadic groups and automorphisms of linear spaces

This article is a contribution to the study of the automorphism groups of finite linear spaces. In particular we look at almost simple groups and prove the following theorem: Let G be an almost simple group and let 𝒮 be a finite linear space on which G acts as a line‐transitive automorphism group. Then the socle of G is not a sporadic group. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 353–362, 2000     

On the composition length of finite primitive linear groups

LetG be a finite primitive linear group over a fieldK, whereK is a finite field or a number field. We bound the composition length ofG in terms of the dimension of the underlying vector space and of the degree ofK over its prime subfield. As a byproduct, we prove a result of number theory which bounds the number of prime factors (counting multiplicities) ofq ⁿ−1, whereq, n>1 are integers, improving a result of Turull and Zame [6].     

Extremely non-complex spaces

We show that there exist infinite-dimensional extremely non-complex Banach spaces, i.e. spaces X such that the norm equality Id+T²=1+T² holds for every bounded linear operator . This answers in the positive Question 4.11 of [V. Kadets, M. Martín, J. Merí, Norm equalities for operators on Banach spaces, Indiana Univ. Math. J. 56 (2007) 2385–2411]. More concretely, we show that this is the case of some C(K) spaces with few operators constructed in [P. Koszmider, Banach spaces of continuous functions with few operators, Math. Ann. 330 (2004) 151–183] and [G. Plebanek, A construction of a Banach space C(K) with few operators, Topology Appl. 143 (2004) 217–239]. We also construct compact spaces K₁ and K₂ such that C(K₁) and C(K₂) are extremely non-complex, C(K₁) contains a complemented copy of C(2^ω) and C(K₂) contains a (1-complemented) isometric copy of ℓ_∞.     

Automorphism groups of linear spaces and their parabolic subgroups

Suppose that an almost simple group G acts line transitively on a finite linear space S. Let Gx be a point stabilizer in G and suppose that G has socle T, a simple group of Lie type. In this paper we show that if T∩Gx is a parabolic subgroup of T, then G is flag transitive on S.     

Solvable line-transitive automorphism groups of finite linear spaces

Let S be a finite linear space, and letG be a group of automorphisms of S. IfG is soluble and line-transitive, then for a givenk but a finite number of pairs of (S, G),S hasv= p ⁿ points andG ⩽AΓL(1,p ⁿ ).     

Induced characters, Mackey analysis and primitive ideal spaces of nilpotent discrete groups

Let G be a nilpotent discrete group and Prim(C^*(G)) the primitive ideal space of the group C^*-algebra C^*(G). If G is either finitely generated or has absolutely idempotent characters, we are able to describe the hull-kernel topology on Prim(C^*(G)) in terms of a topology on a parametrizing space of subgroup-character pairs. For that purpose, we introduce and study induced traces and develop a Mackey machine for characters. We heavily exploit the fact that the groups under consideration have the property that every faithful character vanishes outside the finite conjugacy class subgroup.     

Extremely non-complex Banach spaces

A Banach space X is said to be an extremely non-complex space if the norm equality ∥Id +T ²∥ = 1+∥T ²∥ holds for every bounded linear operator T on X. We show that every extremely non-complex Banach space has positive numerical index, it does not have an unconditional basis and that the infimum of diameters of the slices of its unit ball is positive.     

Prehomogeneous spaces for Borel subgroups of general linear groups

Let k be an algebraically closed field. Let B be the Borel subgroup of GL_n(k) consisting of nonsingular upper triangular matrices. Let b = Lie B be the Lie algebra of upper triangular n × n matrices and u the Lie subalgebra of b consisting of strictly upper triangular matrices. We classify all Lie ideals n of b, satisfying u' ⫅ n ⫅ u, such that B acts (by conjugation) on n with a dense orbit. Further, in case B does not act with a dense orbit, we give the minimal codimension of a B-orbit in n. This can be viewed as a first step towards the difficult open problem of classifying of all ideals n ⫅ u such that B acts on n with a dense orbit. The proofs of our main results require a translation into the representation theory of a certain quasi-hereditary algebra A_t,1. In this setting we find the minimal dimension of Ext¹A_t,1(M,M) for a δ-good A_t,1-module of certain fixed δ-dimension vectors.     

A recursive basis for primitive forms in symplectic spaces and applications to Heisenberg groups

This paper is divided in two parts: in Section 2, we define recursively a privileged basis of the primitive forms in a symplectic space(V~(2n), ω). Successively, in Section 3, we apply our construction in the setting of Heisenberg groups H~n, n ≥ 1, to write in coordinates the exterior differential of the so-called Rumin's complex of differential forms in H~n.     

Limit distributions and one-parameter groups of linear operators on Banach spaces

Let = {U_t: t > 0} be a strongly continuous one-parameter group of operators on a Banach space X and Q be any subset of a set (X) of all probability measures on X. By (Q; ) we denote the class of all limit measures of {U_tn(μ₁ * μ₂*…*μ_n)*δ_xn}, where {μ_n}Q, {x_n}X and measures U_tnμ_j (j=1, 2,…, n; N=1, 2,…) form an infinitesimal triangular array. We define classes L_m( ) as follows: L₀( )= ( (X); ), L_m( )= (L_m−1( ); ) for m=1, 2,… and L_∞( )=_m=0^∞L_m( ). These classes are analogous to those defined earlier by Urbanik on the real line. Probability distributions from L_m( ), m=0, 1, 2,…, ∞, are described in terms of their characteristic functionals and their generalized Poisson exponents and Gaussian covariance operators.     

Criterion of completeness of topological linear spaces and topological Abelian groups

A criterion of completeness, established earlier by the author for locally convex spaces, is generalized to arbitrary topological linear spaces and topological Abelian groups.     

The Baire category theorem in products of linear spaces and topological groups

A space is a Baire space if the intersection of countably many dense open sets is dense. We show that if X is a non-separable completely metrizable linear space (pathconnected abelian topological group) then X contains two linear subspaces (subgroups) E and F such that both E and F are Baire but E×F is not. If X is a completely metrizable linear space of weight ℵ₁ then X is the direct sum E⊕F of two linear subspaces E and F such that both E and F are Baire but E×F is not.     

Action of primitive groups

Translated from Algebra i Logika, Vol. 28, No. 3, pp. 337–363, May–June, 1989.