Related papers: A note on Moufang sets

We generalize the concept of the group determinant and prove a necessary and sufficient novel condition for a subset to be a subgroup. This development is based on the group determinant work by Edward Formanek, David Sibley, and Richard…

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

We describe a procedure to construct infinite sets of pairwise smoothly inequivalent 2-spheres in simply connected 4-manifolds, which are topologically isotopic and whose complement has a prescribed fundamental group that satisfies some…

We prove that a two-spherical split Kac-Moody group over a local field naturally provides a topological twin building in the sense of Kramer. This existence result and the local-to-global principle for twin building topologies combined with…

A homogeneous family of subsets over a given set is one with a very ``rich'' automorphism group. We prove the existence of a bi-universal element in the class of homogeneous families over a given infinite set and give an explicit…

A concept of the Moufang-Malt'tsev pair is elaborated. This concept is based on the generalized Maurer-Cartan equations of a local analytic Moufang loop. Triality can be seen as a fundamental property of such pairs. Based on triality, the…

For most (and possibly all) non-associative finite simple Moufang loops, three generators of order 3 can be chosen so that each two of them generate a group isomorphic to $(3, 3 | 3, p)$. The subgroup structure of $(3, 3 | 3, p)$ depends on…

We provide a formal introduction into the classic theorems of general topology and its axiomatic foundations in set theory. Starting from ZFC, the exposition in this first part includes relation and order theory as well as a construction of…

We revisit the notion of initial sets by Xu and Cayrol, i.e., non-empty minimal admissible sets in abstract argumentation frameworks. Initial sets are a simple concept for analysing conflicts in an abstract argumentation framework and to…

Recently, we have endowed various categories of groups with topologies. The purpose of this paper is to introduce on these categories others topologies which are statistically more suitable to study well-known problems in groups theory. We…

Given a semigroup $G$ and a bounded function $f: G \to \mathbb{C}$, a topological Furstenberg system of $f$ is a topological dynamical system $\mathbb{X}=(X, (T_g)_{g \in G})$ that encodes the dynamical behaviour of $f$. We show that…

Generalized Lie-Cartan theorem for linear birepresentations of an analytic Moufang loop is considered. The commutation relations of the generators of the birepresentation were found. In particular, the Lie algebra of the multiplication…

We classify compact 2-connected homogeneous spaces with the same rational cohomology as a product of spheres. This classification relies on spectral sequences, homotopy theory, and representation theory. We then apply this classification to…

The notion of preopen sets and precontinuity in a topological space was introduced by Mashhour et. al in 1982 [13]. Later the same was studied in a bitopological space in [7] and [9]. Here we have studied the idea of pairwise preopen sets…

The various finiteness conditions in commutative Moufang loops are characterized using the notions of centralizer of subloops and centralizer of subgroups of its multiplication group.

We consider a class of iterated function systems (IFSs) of contracting similarities of $R^n$, introduced by Hutchinson, for which the invariant set possesses a natural H\"older continuous parameterization by the unit interval. When such an…

We discuss conditions under which certain compactifications of topological spaces can be obtained by composing the ultrafilter space monad with suitable reflectors. In particular, we show that these compactifications inherit their…

To any finite ordered subset and any finite partition of a group a set of tuples of positive integers, named as configurations, is associated that describes the group's behavior. The present paper provides an exposition of this notion and…

For a mixing shift of finite type, the associated automorphism group has a rich algebraic structure, and yet we have few criteria to distinguish when two such groups are isomorphic. We introduce a stabilization of the automorphism group,…

Implicative algebras have been recently introduced by Miquel in order to provide a unifying notion of model, encompassing the most relevant and used ones, such as realizability (both classical and intuitionistic), and forcing. In this work,…