Related papers: On Isotopic Characterization of Central Loops

In this paper, we introduce the concept of central periodic points of a linear system as points which lies on orbits starting and ending at the central subgroup of the system. We show that this set is bounded if and only if the central…

In this paper, given a split extension of an arbitrary Coxeter group by automorphisms of the Coxeter graph, we determine the involutions in that extension whose centralizer has finite index. Our result has applications to many problems such…

We study a specific family of uniformly isochronous polynomial systems. Our results permit to solve a problem about centers of such systems.

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…

In this paper we study the isomorphism problem for centreless Lie tori that are fgc (finitely generated as modules over their centroid). These Lie tori play a important role in the theory of extended affine Lie algebras and of multiloop Lie…

We describe and classify countable Boolean rings (which may or may not have a multiplicative identity) with finitely many distinguished ideals whose elementary theory is countably categorical. This extends the description by Macintyre and…

This paper analyses the finer structure of Newton strata in loop groups. These can be decomposed into so-called central leaves. We define them, and determine their global geometric structure. We then study the closure of central leaves,…

We develop a theory of chirality and racemization on isotopy classes of finite loops, formulated intrinsically within the loop isotopy groupoid understood in the categorical sense. Motivated by earlier work on quasigroups…

The isomorphism problem for centrally nilpotent loops can be tackled by methods of cohomology. We develop tools based on cohomology and linear algebra that either lend themselves to direct count of the isomorphism classes (notably in the…

The classical construction of representations of quivers enables us to consider linear maps between several vector spaces. The mixed representations of quivers helps us to work with linear maps as well as bilinear forms on several vector…

We present a development of the theory of higher groups, including infinity groups and connective spectra, in homotopy type theory. An infinity group is simply the loops in a pointed, connected type, where the group structure comes from the…

We show that on a closed Riemannian manifold with fundamental group isomorphic to $\mathbb{Z}$, other than the circle, every isometry that is homotopic to the identity possesses infinitely many invariant geodesics. This completes a recent…

Identity-homotopic self-homeomorphisms of a space of non-periodic 1-dimensional tiling are generalizations of orientation-preserving self-homeomorphisms of circles. We define the analogue of rotation numbers for such maps. In constrast to…

We prove that every self-homeomorphism on the inverse limit space of a quadratic map is isotopic to some power of the shift map.

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.

Transfer systems on finite posets have recently been gaining traction as a key ingredient in equivariant homotopy theory. Additionally, they also naturally occur in the data of a model structure. We give a complete characterization of all…

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 short paper, we survey the results on commutative automorphic loops and give a new construction method. Using this method, we present new classes of commutative automorphic loops of exponent 2 with trivial center.

We study mixed identities for oligomorphic automorphism groups of countable relational structures. Our main result gives sufficient conditions for such a group to not admit a mixed identity without particular constants. We study numerous…

In this note, finite type epimorphisms of rings are characterized.