相关论文: Generators for finite simple Moufang loops

It is known that semigroups are Ramsey algebras. This paper is an attempt to understand the role associativity plays in a binary system being a Ramsey algebra. Specifically, we show that the nonassociative Moufang loop of octonions is not a…

In [11] we showed that a loop in a simply connected compact Lie group $\dot{U}$ has a unique Birkhoff (or triangular) factorization if and only if the loop has a unique root subgroup factorization (relative to a choice of a reduced sequence…

We solve a problem of Belousov which has been open since 1967: to characterize the loop isotopes of F-quasigroups. We show that every F-quasigroup has a Moufang loop isotope which is a central product of its nucleus and Moufang center. We…

For every octonion division algebra O, there exists a projective plane which is parametrized by O; these planes are related to rank two forms of linear algebraic groups of absolute type E6. We study all possible polarities of such octonion…

A bijection $f$ of a loop $L$ is a half-automorphism if $f(xy)\in \{f(x)f(y),f(y)f(x)\}$, for any $x,y\in L$. A half-automorphism is nontrivial when it is neither an automorphism nor an anti-automorphism. A Chein loop $L=G\cup Gu$ is a…

Let $F$ be a field of non-zero characteristic $p$, let $G$ be a cyclic group of order $q =p^a$ for some positive integer $a$, and let $U$ and $W$ be indecomposable $F G$-modules. We identify a generator for each of the indecomposable…

In this paper the linear representations of analytic Moufang loops are investigated. We prove that every representation of semisimple analytic Moufang loop is completely reducible and find all nonassociative irreducible representations. We…

Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes groups and commutative Moufang loops. A half-isomorphism $f : G \longrightarrow K$ between multiplicative systems $G$ and $K$ is a…

We sketch a simplification of proofs of old results on the arithmeticity of the group generated by opposing integral unipotent radicals in higher rank arithmetic groups

We prove that there does not exist any connected topological proper loop homeomorphic to a quasi-simple Lie group and having a compact Lie group as the group topologically generated by its left translations. Moreover, any connected…

In the study of Fuchsian groups, it is a nontrivial problem to determine a set of generators. Using a dynamical approach we construct for any cocompact arithmetic Fuchsian group a fundamental region in $\mathbf{SL}_2(\mathbb{R})$ from which…

Given a uniquely 2-divisible group $G$, we study a commutative loop $(G,\circ)$ which arises as a result of a construction in \cite{baer}. We investigate some general properties and applications of $\circ$ and determine a necessary and…

Let G be a finite group. It has recently been proved that every nontrivial element of G is contained in a generating set of minimal size if and only if all proper quotients of G require fewer generators than G. It is natural to ask which…

We prove that for positive integers $m \geq 1, n \geq 1$ and a prime number $p \neq 2,3$ there are finitely many finite $m$-generated Moufang loops of exponent $p^n$.

We say that a loop is unbreakable when it does not have nontrivial subloops. While the cyclic groups of prime order are the only unbreakable finite groups, we show that nonassociative unbreakable loops exist for every order n >= 5. We…

Our main result is that many triangles of Baumslag-Solitar groups collapse to finite groups, generalizing a famous example of Hirsch. A triangle of Baumslag-Solitar groups means a group with three generators, cyclically ordered, with each…

We prove that a normal subloop $X$ of a Moufang loop $Q$ induces an abelian congruence of $Q$ if and only if each inner mapping of $Q$ restricts to an automorphism of $X$ and $u(xy) = (uy)x$ for all $x,y\in X$ and $u\in Q$. The former…

A derived version of Maschke's theorem for finite groups is proved: the derived categories, bounded or unbounded, of all blocks of the group algebra of a finite group are simple, in the sense that they admit no nontrivial recollements. This…

Moufang sets were introduced by Jacques Tits in order to understand isotropic linear algebraic groups of relative rank one, but the notion is more general. We describe a new class of Moufang sets, arising from so-called mixed groups of type…

We give generators for a certain complex hyperbolic braid group. That is, we remove a hyperplane arrangement from complex hyperbolic $13$-space, take the quotient of the remaining space by a discrete group, and find generators for the…