Related papers: A note on Moufang sets
Jacques Tits gave a general recipe for producing an abstract geometry from a semisimple algebraic group. This expository paper describes a uniform method for giving a concrete realization of Tits's geometry and works through several…
The set of idempotents of a regular semigroup is given an abstract characterization as a regular biordered set in [2], and in [4] it is shown how a biordered set can be associated with a complemented modular lattice. Von Neumann has shown…
We study abelian-by-cyclic Moufang loops. We construct all split $3$-divisible abelian-by-cyclic Moufang loops from so-called Moufang permutations on abelian groups $(X,+)$, which are permutations that deviate from an automorphism of…
We develop the basic topological properties of compact polygons, i.e. of compact topological Tits buildings of rank two. It is proved that the Coxeter diagram of such a building is always crystallographic, that is, compact connected n-gons…
Moufang loops are one of the best-known generalizations of groups. There is only one countable family of nonassociative finite simple Moufang loops, arising from the split octonion algebras. We prove that every member of this family is…
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
In the classification of Moufang polygons by J. Tits and R. Weiss, the most intricate case is by far the case of the exceptional Moufang quadrangles of type E_6, E_7 and E_8, and in fact, the construction that they present is ad-hoc and…
Suzuki classified all Zassenhaus groups of finite odd degree. He showed that such a group is either isomorphic to a Suzuki group or to $\PSL(2,q)$ with $q$ a power of $2$. In this paper we give another proof of this result using the…
In 2000, J. Tits and R. Weiss classified all Moufang spherical buildings of rank two, also known as Moufang polygons. The hardest case in the classification consists of the Moufang quadrangles. They fall into different families, each of…
Molodstov[10] introduced soft set theory as a new mathematical approach for solving problems having uncertainties. Many researchers worked on the findings of structures of soft set theory and applied to many problems having uncertainties.…
Let $A$ and $B$ be finite ordered sets. We show that if the ordered sets of isotone self-maps $A^A$ and $B^B$ (ordered pointwise) are isomorphic, then $A$ and $B$ are isomorphic. This resolves a question originating with D. Duffus in 1978,…
We define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the…
Working in the soft-element (classical) viewpoint, we introduce \emph{soft bitopological groups}: soft groups endowed with two soft topologies such that the induced topologies on the set of soft elements make the soft-element group into a…
In this paper, we present some geometric characterizations of the Moufang quadrangles of mixed type, i.e., the Moufang quadrangles all the points and lines of which are regular. Roughly, we classify generalized quadrangles with enough (to…
This is the written version of the Bourbaki seminar given in January 2013 and published in 2014 (modulo an additional early reference added subsequently). It describes the first construction of infinite, finitely generated amenable simple…
We prove that Moufang sets with abelian root groups arising at infinity of a locally finite tree all come from rank one simple algebraic groups over local fields.
The notion of soft sets is introduced as a general mathematical tool for dealing with uncertainty. In this paper, we consider the concepts of soft compactness, countably soft compactness and obtain some results. We study some soft…
We prove various reconstruction theorems about open subsets of normed spaces. E.g. if the uniformly continuous homeomorphism groups of two such sets are isomorphic, then this isomorphism is induced by a uniformly continuous homeomorphism…
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…
In this work we present a principle which says that quasimorphisms can be obtained via "local data" of the group action on certain appropriate spaces. In a rough manner the principle says that instead of starting with a given group and try…