When is the commutant of a Bol loop a subloop?

A left Bol loop is a loop satisfying . The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order , odd, the commutant is a subloop. We investigate conditions under which the commutant of a Bol loop is not a subloop. In a finite Bol loop of order relatively prime to , the commutant generates an abelian group of order dividing the order of the loop. This generalizes a well-known result for Moufang loops. After describing all extensions of a loop such that is in the left and middle nuclei of the resulting loop, we show how to construct classes of Bol loops with a non-subloop commutant. In particular, we obtain all Bol loops of order with a non-subloop commutant.

     

On the smallest simple, unipotent Bol loop

Finite simple, unipotent Bol loops have recently been identified and constructed using group theory. However, the purely group-theoretical constructions of the actual loops are indirect, somewhat arbitrary in places, and rely on computer calculations to a certain extent. In the spirit of revisionism, this paper is intended to give a more explicit combinatorial specification of the smallest simple, unipotent Bol loop, making use of concepts from projective geometry and quasigroup theory along with the group-theoretical background. The loop has dual permutation representations on the projective line of order 5, with doubly stochastic action matrices.     

A note on Bol loops of order 2 n k

It is shown that, for eachn 2 and k 3, there exist at least 2 ⁿ -3 non-isomorphic loops of order 2 ⁿ k which are Bol but not Moufang. In most cases this bound can be improved.     

Commutants of certain analytic operator algebras

We prove that algebraic commutants of maximal subdiagonal algebras and of analytic operator algebras determined by flows in a -finite von Neumann algebra are self-adjoint.

     

Matched Pairs,Permutation Representations,and the Bol Property

The article examines Bol loops that are constructed from matched pairs of groups, including a new simple, non-Moufang Bol loop of order 120. Certain permutation representations of the loops under consideration provide nontrivial examples of doubly stochastic action matrices. A generalization of the matched-pair loop construction yields proper Bol actions of groups.     

Incidence properties of cosets in loops

We study incidence properties among cosets of infinite loops, with emphasis on well‐structured varieties such as antiautomorphic loops and Bol loops. While cosets in groups are either disjoint or identical, we find that the incidence structure in general loops can be much richer. Every symmetric design, for example, can be realized as a canonical collection of cosets of a infinite loop. We show that in the variety of antiautomorphic loops the poset formed by set inclusion among intersections of left cosets is isomorphic to that formed by right cosets. We present an algorithm that, given a infinite Bol loop S, can in some cases determine whether |S| divides |Q| for all infinite Bol loops Q with S?Q, and even whether there is a selection of left cosets of S that partitions Q. This method results in a positive confirmation of Lagrange's Theorem for Bol loops for a few new cases of subloops. Finally, we show that in a left automorphic Moufang loop Q (in particular, in a commutative Moufang loop Q), two left cosets of S?Qare either disjoint or they intersect in a set whose cardinality equals that of some subloop of S.     

On loop extensions satisfying one single identity and cohomology of loops

In this paper are defined cohomology-like groups that classify loop extensions satisfying a given identity in three variables for association identities and in two variables for the case of commutativity. It is considered a large amount of identities. These groups generalize those defined in Nishigori [3 Nishigori, N. (1963). On loop extensions of groups and M-cohomology groups I. J. Sci. Hiroshima Univ. Ser. A-I 27:151–165. [Google Scholar]] and of Kenneth and Leedham-Green [2 Kenneth, W. J., Leedham-Green, Ch. R. (1990). Loop cohomology. Czec. Math. J. 40(2):182–194.[Web of Science ®] , [Google Scholar]]. It is computed the number of metacyclic extensions for trivial action of the quotient on the kernel in one particular case for left Bol loops and in general for commutative loops.     

A Characterization of Bol left loops

The relationship between the Bol identity, the so-called Left Loop Property LLP and the Left Inverse Property in any left quasigroup is determined. Counterexamples are given whenever two properties are not equivalent. It is shown that a principal isotope of a LLP quasigroup is a left Bol loop. In any LLP left quasigroup the existence of a right identity element is equivalent to the right division.     

A class of simple proper Bol loops

The existence of finite simple non-Moufang Bol loops has long been considered to be one of the main open problems in the theory of loops and quasigroups. In this paper, we present a class of simple proper Bol loops. This class contains finite and new infinite simple proper Bol loops. This paper was written during the author’s Marie Curie Fellowship MEIF-CT-2006-041105 at the University of Würzburg (Germany).     

On the extension of involutorial Bol loops

The group theoretical problem of the existence of a system of representativesT of the subgroup H of G such that T consists of conjugacy classes of involutions leads to the theory of Bol loops of exponent 2. In this paper, we develop a theory of extensions of such loops and give two applications of the theory. First, we classify all (left) Bol loops of exponent 2 of order 16; second, we classify all Bol loops of exponent 2 whose right nucleus has index 2. In particular, we give a class of examples of non-nilpotent such Bol loops. The second author was supported by the “János Bolyai” Fellowship, the Blaschke Stiftung and the OTKA grants F030737, T029849.     

Hardy空间上某些解析Toeplitz算子的换位及约化子空间

讨论了Hardy空间上以非退化有界单叶解析函数的幂为符号的解析Toeplitz算子的换位.并且刻划了符号为三个Blaschke因子积的解析Toeplitz算子的约化子空间.     

Subloops of indecomposable RA loops

Summary An RA loop is a (necessarily Moufang) loop whose loop rings in any characteristic are alternative, but not associative. There are seven classes of finite indecomposable RA loops. In this paper, we find the indecomposable subloops and the indecomposable nonabelian groups which can appear inside the loops in each class.     

Bol loops as sections in semi-simple Lie groups of small dimension

Using the relations between the theory of differentiable Bol loops and the theory of affine symmetric spaces we classify all connected differentiable Bol loops having an at most nine-dimensional semi-simple Lie group as the group topologically generated by their left translations. We show that all these Bol loops are isotopic to direct products of Bruck loops of hyperbolic type or to Scheerer extensions of Lie groups by Bruck loops of hyperbolic type.This paper was supported by DAAD.     

A class of non-Moufang Bol loops isomorphic to all their loop isotopes

For any two primes, , such that< and divides–1, it is shown that there exists a non-Moufang Bol loop of order ² which is isomorphic to each of its loop isotopes.