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.     

Generating sets for lattices of dimension two

The dimension of a partially ordered set P is the smallest integer n (if it exists) such that the partial order on P is the intersection of n linear orders. It is shown that if L is a lattice of dimension two containing a sublattice isomorphic to the modular lattice M_2n+1, then every generating set of L has at least n+2 elements. A consequence is that every finitely generated lattice of dimension two and with no infinite chains is finite.     

On the lattice formed by all normal subloops of a finite loop

All normal subloops of a loopG form a modular latticeL _n (G). It is shown that a finite loopG has a complemented normal subloop lattice if and only ifG is a direct product of simple subloops. In particular,L _n (G) is a Boolean algebra if and only if no two isomorphic factors occurring in a decomposition ofG are abelian groups. The normal subloop lattice of a finite loop is a projective geometry if and only ifG is an elementary abelianp-group for some primep.     

The M3[D] construction and n-modularity

In 1968, Schmidt introduced the M ₃[D] construction, an extension of the five-element modular nondistributive lattice M ₃ by a bounded distributive lattice D, defined as the lattice of all triples satisfying . The lattice M ₃[D] is a modular congruence-preserving extension of D.? In this paper, we investigate this construction for an arbitrary lattice L. For every n > 0, we exhibit an identity such that is modularity and is properly weaker than . Let M _n denote the variety defined by , the variety of n-modular lattices. If L is n-modular, then M ₃[L] is a lattice, in fact, a congruence-preserving extension of L; we also prove that, in this case, Id M ₃[L] M ₃[Id L]. ? We provide an example of a lattice L such that M ₃[L] is not a lattice. This example also provides a negative solution to a problem of Quackenbush: Is the tensor product of two lattices A and B with zero always a lattice. We complement this result by generalizing the M ₃[L] construction to an M ₄[L] construction. This yields, in particular, a bounded modular lattice L such that M ₄ L is not a lattice, thus providing a negative solution to Quackenbush’s problem in the variety M of modular lattices.? Finally, we sharpen a result of Dilworth: Every finite distributive lattice can be represented as the congruence lattice of a finite 3-modular lattice. We do this by verifying that a construction of Gr?tzer, Lakser, and Schmidt yields a 3-modular lattice. Received May 26, 1998; accepted in final form October 7, 1998.     

Rationality of the vertex operator algebra <Emphasis Type="Italic">V</Emphasis><Subscript><Emphasis Type="Italic">L</Emphasis></Subscript>+ for a positive definite even lattice <Emphasis Type="Italic">L</Emphasis>

The lattice vertex operator algebra V_L associated to a positive definite even lattice L has an automorphism of order 2 lifted from –1-isometry of L. The fixed point set V_L+ of V_L for the automorphism is naturally a vertex operator algebra. We prove that any ₀-graded weak V_L⁺-module is completely reducible.Supported by JSPS Research Fellowships for Young Scientists.     

Almost fixed-point-free automorphisms of prime order

Let ϕ be an automorphism of prime order p of the group G with C _G (ϕ) finite of order n. We prove the following. If G is soluble of finite rank, then G has a nilpotent characteristic subgroup of finite index and class bounded in terms of p only. If G is a group with finite Hirsch number h, then G has a soluble characteristic subgroup of finite index in G with derived length bounded in terms of p and n only and a soluble characteristic subgroup of finite index in G whose index and derived length are bounded in terms of p, n and h only. Here a group has finite Hirsch number if it is poly (cyclic or locally finite). This is a stronger notion than that used in [Wehrfritz B.A.F., Almost fixed-point-free automorphisms of order 2, Rend. Circ. Mat. Palermo (in press)], where the case p = 2 is discussed.     

Generalized quadrangles admitting a sharply transitive Heisenberg group

All known finite generalized quadrangles that admit an automorphism group acting sharply transitively on their point set arise by Payne derivation from thick elation generalized quadrangles of order s with a regular point. In these examples only two groups occur: elementary abelian groups of even order and odd order Heisenberg groups of dimension 3. In [2] the authors determined all generalized quadrangles admitting an abelian group with a sharply transitive point action. Here, we classify thick finite generalized quadrangles admitting an odd order Heisenberg group of dimension 3 acting sharply transitively on the points. In fact our more general result comes close to a complete solution of classifying odd order Singer p-groups.      

On noninner automorphisms of 2-generator finite p-groups

A longstanding conjecture asserts that every finite nonabelian p-group admits a noninner automorphism of order p. In this paper we give some necessary conditions for a possible counterexample G to this conjecture, in the case when G is a 2-generator finite p-group. Then we show that every 2-generator finite p-group with abelian Frattini subgroup has a noninner automorphism of order p.     

The Automorphism Groups of Finite Type G-Structures on Orbifolds

The automorphism group of a G-structure of finite type and order k on a smooth n-dimensional orbifold is proved to be a Lie group of dimension n+dim(g+g ₁+...+g _k-1), where g _i is the ith prolongation of the Lie algebra g of a given group G. This generalizes the corresponding result by Ehresmann for finite type G-structures on manifolds. The presence of orbifold points is shown to sharply decrease the dimension of the automorphism group of proper orbifolds. Estimates are established for the dimension of the isometry group and the dimension of the group of conformal transformations of Riemannian orbifolds, depending on the types of orbifold points.     

Counting Overlattices in Automorphism Groups of Trees

We give an upper bound for the number u _Γ(n) of “overlattices” in the automorphism group of a tree, containing a fixed lattice Γ with index n. For an example of Γ in the automorphism group of a 2p-regular tree whose quotient is a loop, we obtain a lower bound of the asymptotic behavior as well.     

On the ϕ-structure on the projective groupL 2(q)

In the paper it is proved that the projective groupL ₂(q) cannot be the automorphism group of a finite left distributive quasigroup. This is a special case of the conjecture according to which the automorphism group of a left distributive quasigroup is solvable. Translated fromMatematicheskie Zametki, Vol. 63, No. 5, pp. 725–728, May, 1998.     

Difference algebraic subgroups of commutative algebraic groups over finite fields

We study the question of which torsion subgroups of commutative algebraic groups over finite fields are contained in modular difference algebraic groups for some choice of a field automorphism. We show that if G is a simple commutative algebraic group over a finite field of characteristic p, ? is a prime different from p, and for some difference closed field (?, σ) the ?-primary torsion of G(?) is contained in a modular group definable in (?, σ), then it is contained in a group of the form {x∈G(?) :σ(x) =[a](x) } with a∈ℕ\p ^ℕ. We show that no such modular group can be found for many G of interest. In the cases that such equations may be found, we recover an effective version of a theorem of Boxall. Received: 28 May 1998 / Revised version: 20 December 1998     

Fixed-point-free automorphisms of Lie algebras

In this paper we have proved that the Lie algebraL over a fieldF of characteristic 0 which admits a fixed-point-free automorphism of finite order is solvable, andL is nilpotent ifL admits a fixed-point-free automorphism of prime order. The problem seems to be open if the fieldF has prime characteristic.     

On automorphisms of finite Abelian <Emphasis Type="Italic">p</Emphasis>-groups

Let A be a finitely generated abelian group. We describe the automorphism group Aut(A) using the rank of A and its torsion part p-part A _p . For a finite abelian p-group A of type (k ₁, ..., k _n ), simple necessary and sufficient conditions for an n × n-matrix over integers to be associated with an automorphism of A are presented. Then, the automorphism group Aut(A) for a finite p-group A of type (k ₁, k ₂) is analyzed. This work has begin during the visit of the second author to the Faculty of Mathematics and Computer Science, Nicolaus Copernicus University during the period July 31–August 13, 2005. This visit was supported by the Nicolaus Copernicus University and a grant from Cnpq.     

Finite extensions of free pro-P groups of rank at most two

For a pro-p groupG, containing a free pro-p open normal subgroup of rank at most 2, a characterization as the fundamental group of a connected graph of cyclic groups of order at mostp, and an explicit list of all such groups with trivial center are given. It is shown that any automorphism of a free pro-p group of rank 2 of coprime finite order is induced by an automorphism of the Frattini factor groupF/F ^* . Finally, a complete list of automorphisms of finite order, up to conjugacy in Aut(F), is given. Supported by an NSERC grant. Supported by the Austrian Science Foundation.     

The dimension monoid of a lattice

We introduce the dimension monoid of a lattice L, denoted by Dim L. The monoid Dim L is commutative and conical, the latter meaning that the sum of any two nonzero elements is nonzero. Furthermore, Dim L is given along with the dimension map, D\Delta from L2L to Dim L, which has the intuitive meaning of a distance function. The maximal semilattice quotient of Dim L is isomorphic to the semilattice Con_c L of compact congruences of L; hence Dim L is a precursor of the congruence lattice of L. Here are some additional features of this construction: ¶¶ (1) Our dimension theory provides a generalization to all lattices of the von Neumann dimension theory of continuous geometries. In particular, if L is an irreducible continuous geometry, then Dim L is either isomorphic to \Bbb Z⁺\Bbb Z^+ or to \Bbb R⁺\Bbb R^+.¶ (2) If L has no infinite bounded chains, then Dim L embeds (as an ordered monoid) into a power of \Bbb Z⁺è{￥}.{\Bbb Z}^{+}\cup \{\infty\}.¶ (3) If L is modular or if L has no infinite bounded chains, then Dim L is a refinement monoid.¶ (4) If L is a simple geometric lattice, then Dim L is isomorphic to \Bbb Z⁺\Bbb Z^+, if L is modular, and to the two-element semilattice, otherwise.¶ (5) If L is an à₀\aleph_0-meet-continuous complemented modular lattice, then both Dim L and the dimension function D\Delta satisfy (countable) completeness properties.¶¶ If R is a von Neumann regular ring and if L is the lattice of principal right ideals of the matrix ring M₂ (R), then Dim L is isomorphic to the monoid V (R) of isomorphism classes of finitely generated projective right R-modules. Hence the dimension theory of lattices provides a wide lattice-theoretical generalization of nonstable K-theory of regular rings.     

A quasivariety lattice of torsion-free soluble groups

Let L _q (qG) be a lattice of quasivarieties contained in a quasivariety generated by a group G. It is proved that if G is a torsion-free finitely generated group in AB\mathcal{AB} _pk , where p is a prime, p ≠ 2, and k ∈ N, which is a split extension of an Abelian group by a cyclic group, then the lattice L _q (qG) is a finite chain.     

Homomorphisms between the chevalley groups over any fields of characteristic zero

Given an irreducible root system ∑, let G(F,L) denote the Cheval- ley group over a field F corresponding to a lattice L between the root lattice and the weight lattice of ∑,. We will determine all nontnvial homomorphisms from G(k,L ₁) to G(K,L ₂when k and K are any fields of characteristic zero, and we will verify that any nontrivial homomorphism from G(k,L ₁) to G(K,L ₂are induced by a field homomorphism from k to K by multiplying an automorphism of G(K,L ₂.     

Quasi-antichain Chermak–Delgado lattices of finite groups

The Chermak–Delgado lattice of a finite group is a dual, modular sublattice of the subgroup lattice of the group. This paper considers groups with a quasi-antichain interval in the Chermak–Delgado lattice, ultimately proving that if there is a quasi-antichain interval between subgroups L and H with L ≤ H then there exists a prime p such that H/L is an elementary abelian p-group and the number of atoms in the quasi-antichain is one more than a power of p. In the case where the Chermak–Delgado lattice of the entire group is a quasi-antichain, the relationship between the number of abelian atoms and the prime p is examined; additionally, several examples of groups with a quasi-antichain Chermak–Delgado lattice are constructed.