Local half Moufang quadrangles

In this article, we show that if every root of a finite generalized quadrangle containing a fixed point x is Moufang, then every dual root containing x in its interior is also Moufang. As a corollary, we obtain a new proof of the half Moufang theorem. This says that finite half Moufang quadrangles are Moufang.     

Half-moufang generalized hexagons

If Γ is a half-Moufang generalized hexagon, then Γ is Moufang. We also give a very short proof that a generalized hexagon admitting a split BN-pair is a Moufang hexagon. Supported by a Heisenberg-Stipendium.     

On 4-transitivity in the Moufang plane

The purpose of this paper is to give a short proof of 4-transitivity in Moufang planes. This proof originated in the observation of the two first name authors that the standard Moufang identities, together with the identity (1) x^–1(y(xz)) = (x^–1(yx)z, which is asserted in [2, p. 103] to hold in Cayley-Dickson division algebras, can be applied to give a particularly simple algebraic proof of the fact that the collineation group of a Moufang plane is transitive on four-points. Unfortunately, as pointed out by H. Karzel and demonstrated here in Proposition 1, (1) does not hold in Cayley-Dickson algebras. Nevertheless, the algebraic proof of transitivity remains valid after slight modifications and is given here as Theorem 1.The authors wish to thank Professor Karzel for pointing out the error in [2] and for his suggestions in preparing the final version of this paper.Dedicated to Professor H. Karzel on the occasion of his 60th birthday.     

Polarities and planar collineations of Moufang planes

We show that conjugacy classes of Baer involutions and non-elliptic polarities, respectively, of proper (i.e., non-desarguesian) Moufang planes are interrelated. Restriction of the conjugating group to the stabilizer of a triangle or a quadrangle does not refine the classes. These results are applied to prove transitivity properties for the centralizers of these polarities. Along the way, a new proof is obtained for the fact that the automorphism group of a Moufang plane acts transitively on quadrangles.     

Universal envelopes of Malcev Algebras: Pointed Moufang bialgebras

Under study are the pointed unital coassociative cocommutative Moufang H-bialgebras. We prove an analog of the Cartier-Kostant-Milnor-Moore theorem for weakly associative Moufang H-bialgebras. If the primitive elements commute with group-like elements then these Moufang H-bialgebras are isomorphic to the tensor product of a universal enveloping algebra of a Malcev algebra and a loop algebra constructed by a Moufang loop.     

Moufang loops with commuting inner mappings

We investigate the relation between the structure of a Moufang loop and its inner mapping group. Moufang loops of odd order with commuting inner mappings have nilpotency class at most 2. The 6-divisible Moufang loops with commuting inner mappings have nilpotency class at most 2. There is a Moufang loop of order 2¹⁴ with commuting inner mappings and of nilpotency class 3.     

Moufang sets and jordan division algebras

We give a simple criterion which determines when a permutation group U and one additional permutation give rise to a Moufang set. We apply this criterion to show that every Jordan division algebra gives rise in a very natural way to a Moufang set, to provide sufficient conditions for a Moufang set to arise from a Jordan division algebra and to give a characterization of the projective Moufang sets over a commutative field of characteristic different from 2. The first author is a Postdoctoral Fellow of the Research Foundation – Flanders (Belgium) (FWO-Vlaanderen).     

Continuous Moufang Transformations

Continuous Moufang transformations are introduced and discussed. Commutation relations for infinitesimal Moufang transformations are established. The resulting Lie algebra has quite impressive structure equations, well known from the theory of alternative algebras.     

Characterizations by Automorphism Groups of Some Rank 3 Buildings, III. Moufang-Like Conditions

In this paper, we introduce the root-Moufang condition and the p-adic Moufang condition. We show that affine buildings of type Ã2 satisfying the root-Moufang condition are Bruhat–Tits buildings. Also, every rank 3 affine building satisfying the p-adic Moufang condition is a Bruhat-Tits building. We motivate the introduction of the new conditions by showing that all Bruhat– Tits Ã2-buildings satisfy the root-Moufang condition, and that the Ã2-buildings over a p-adic field also satisfy the p-adic Moufang condition. Another application of the p-adic Moufang condition is given in Part IV of this paper.     

Linear representations of formal loops

A representation of an object in a category is an abelian group in the corresponding comma category. In this paper, we derive the formulas describing linear representations of objects in the category of formal loops and formal loop homomorphisms and apply them to obtain a new approach to the representation theory of formal Moufang loops and Malcev algebras based on Moufang elements. Certain ‘non-associative Moufang symmetry’ of groups is revealed.     

Half-isomorphisms of Finite Automorphic Moufang Loops

We show that each half-automorphism of a finite automorphic Moufang loop is trivial. In general, this is not true for finite left automorphic Moufang loops and for finite automorphic loops.     

Characterizations by Automorphism Groups of Some Rank 3 Buildings – IV: Hyperbolic p-adic Moufang Buildings of Rank 3

In this paper, we introduce the p-adic Moufang condition for hyperbolic buildings of rank 3. It is the most obvious and simplest generalization of the p-adic Moufang condition for affine buildings, introduced in Part III of this sequence of papers. We show that p is very restricted, which confirms (but does not prove) the conjecture that no p-adic analogue is possible for the construction of Moufang (hyperbolic) buildings by Ronan and Tits.     

Geometric characterizations of finite Chevalley groups of type B

Finite Moufang generalized quadrangles were classified in 1974 as a corollary to the classification of finite groups with a split BN-pair of rank , by P. Fong and G. M. Seitz (1973), (1974). Later on, work of S. E. Payne and J. A. Thas culminated in an almost complete, elementary proof of that classification; see Finite Generalized Quadrangles, 1984. Using slightly more group theory, first W. M. Kantor (1991), then the first author (2001), and finally, essentially without group theory, J. A. Thas (preprint), completed this geometric approach. Recently, J. Tits and R. Weiss classified all (finite and infinite) Moufang polygons (2002), and this provides a third independent proof for the classification of finite Moufang quadrangles.

In the present paper, we start with a much weaker condition on a BN-pair of Type and show that it must correspond to a Moufang quadrangle, proving that the BN-pair arises from a finite Chevalley group of (relative) Type . Our methods consist of a mixture of combinatorial, geometric and group theoretic arguments, but we do not use the classification of finite simple groups. The condition on the BN-pair translates to the generalized quadrangle as follows: for each point , the stabilizer of all lines through that point acts transitively on the points opposite .

     

Every Moufang loop of odd order with nontrivial commutant has nontrivial center

We get a partial result for Phillips’ problem: does there exist a Moufang loop of odd order with trivial nucleus? First we show that a Moufang loop Q of odd order with nontrivial commutant has nontrivial nucleus, then, by using this result, we prove that the existence of a nontrivial commutant implies the existence of a nontrivial center in Q. Introducing the notion of commutantly nilpotence, we get that the commutantly nilpotence is equivalent to the centrally nilpotence for the Moufang loops of odd order.     

Moufang sets from groups of mixed type

We consider the existence of Moufang sets related to certain groups of mixed type. This way, we obtain new examples of Moufang sets and new constructions of known classes. The most interesting class of new examples is related to the Moufang quadrangles of type and to the Ree–Tits octagon over a nonperfect field, and the root groups of each member have nilpotency class three.     

Primary Decompositions in Varieties of Commutative Diassociative Loops

The decomposition theorem for torsion abelian groups holds analogously for torsion commutative diassociative loops. With this theorem in mind, we investigate commutative diassociative loops satisfying the additional condition (trivially satisfied in the abelian group case) that all nth powers are central, for a fixed n. For n = 2, we get precisely commutative C loops. For n = 3, a prominent variety is that of commutative Moufang loops.

Many analogies between commutative C and Moufang loops have been noted in the literature, often obtained by interchanging the role of the primes 2 and 3. We show that the correct encompassing variety for these two classes of loops is the variety of commutative RIF loops. In particular, when Q is a commutative RIF loop: all squares in Q are Moufang elements, all cubes are C elements, Moufang elements of Q form a normal subloop M ₀(Q) such that Q/M ₀(Q) is a C loop of exponent 2 (a Steiner loop), C elements of L form a normal subloop C ₀(Q) such that Q/C ₀(Q) is a Moufang loop of exponent 3. Since squares (resp., cubes) are central in commutative C (resp., Moufang) loops, it follows that Q modulo its center is of exponent 6. Returning to the decomposition theorem, we find that every torsion, commutative RIF loop is a direct product of a C 2-loop, a Moufang 3-loop, and an abelian group with each element of order prime to 6.

We also discuss the definition of Moufang elements and the quasigroups associated with commutative RIF loops.     

Half Moufang implies Moufang for finite generalized quadrangles

Summary A finite generalized quadrangle has two types of panels. If each panel of one type is Moufang, then every panel is Moufang. Hence by a theorem of Fong and Seitz [1] the quadrangle is classical or dual classical.Oblatum 1-XI-1989 & 7-XI-1990