Related papers: A note on Moufang sets
Departing from a Moufang set related to a polarity in an exceptional Moufang quadrangle of type F_4, we construct a rank three geometry. The main property of this new geometry is that its automorphism group is identical to the one of the…
We give an explicit construction of the Ree groups of type $G_2$ as groups acting on mixed Moufang hexagons together with detailed proofs of the basic properties of these groups contained in the two fundamental papers of Tits on this…
We use groups with triality to construct a series of nonassociative Moufang loops. Certain members of this series contain an abelian normal subloop with the corresponding quotient being a cyclic group. In particular, we give a new series of…
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…
Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of…
The sets used to construct other mathematical objects are pure sets, which means that all of their elements are sets, which are themselves pure. One set may therefore be within another, not as an element, but as an element of an element, or…
The continuous Moufang loops are characterized as the algebraic systems where the associativity law is perturbed minimally. The minimal perturbation of associativity is characterized by the first- order partial differential equations, which…
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…
We firstly present definitions and properties in study of Maji \cite{maji-2013} on neutrosophic soft sets. We then give a few notes on his study. Next, based on \c{C}a\u{g}man \cite{cagman-2014}, we redefine the notion of neutrosophic soft…
We give an interpretation of the construction of torsors from preceding work (Bertram, Kinyon: Associative Geometries. I, J. Lie Theory 20) in terms of classical projective geometry. For the Desarguesian case, this leads to a reformulation…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
We study cocycles of homeomorphisms of $\T$ in the isotopy class of the identity over shift spaces, using as a tool a novel definition of rotation sets inspired in the classical work of Miziurewicz and Zieman. We discuss different notions…
The work lays the foundations of the theory of changeable sets. In author opinion, this theory, in the process of it's development and improvement, can become one of the tools of solving the sixth Hilbert problem least for physics of…
Concept of a birepresentation for the Moufang loops is elaborated.
We give an abstract definition of affine hovels which generalizes the definition of affine buildings (eventually non simplicial) given by Jacques Tits and includes the hovels built by Stephane Gaussent and the author for some Kac-Moody…
In this article, we introduce an interesting topology-like concept concerning groups (and with almost the same method it can be defined for other algebraic systems). Given an arbitrary group $G$, we define a {\em topo-system} on $G$ as a…
In math.GR/0510298, we showed that every loop isotopic to an F-quasigroup is a Moufang loop. Here we characterize, via two simple identities, the class of F-quasigroups which are isotopic to groups. We call these quasigroups FG-quasigroups.…
We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…
In order to provide a good categorical setting to the many different spaces of fields arising in the description of physical theories, a pedagogical introduction to the categorical notion of smooth sets is provided and some simple…
The celebrated Borel--Tits theorem provides a classification of abstract isomorphisms between (simple) isotropic groups over fields, showing that such isomorphisms arise from field isomorphisms and group-scheme isomorphisms. In this work,…