Related papers: The Structure of F-Quasigroups

Kunen proved that a quasigroup satisfying a Moufang-type identity ($N1$) must be a loop. We reformulate the argument in the category $\mathbf{Set}$ as a fixed-point extraction principle. From $N1$ one canonically obtains an idempotent…

C-loops are loops satisfying the identity $x(y\cdot yz) = (xy\cdot y)z$. We develop the theory of extensions of C-loops, and characterize all nuclear extensions provided the nucleus is an abelian group. C-loops with central squares have…

We establish a cluster theoretical interpretation of the isomorphisms of [F.-H.-O.-O., J. Reine Angew. Math., 2022] among quantum Grothendieck rings of representations of quantum loop algebras. Consequently, we obtain a quantization of the…

In this paper, new hyper-algebraic structures called polygroupoid, polyquasigroup and polyloop were introduced with concrete examples given. The first, second, third and fourth left (middle, right) nuclei of polygroupoid were introduced and…

Function spaces are central topic in analysis. Often those spaces and related analysis involves symmetries in form of an action of a Lie group. Coorbit theory as introduced by Feichtinger and Gr\"ochenig and then later extended in [3] gives…

We describe a large-scale project in applied automated deduction concerned with the following problem of considerable interest in loop theory: If $Q$ is a loop with commuting inner mappings, does it follow that $Q$ modulo its center is a…

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 representation of an object in a category is an abelian group in the corresponding comma category. In this paper we derive the formulas describing linear representations of objects in the category of formal loops and apply them to obtain…

A loop whose inner mappings are automorphisms is an \emph{automorphic loop} (or \emph{A-loop}). We characterize commutative (A-)loops with middle nucleus of index 2 and solve the isomorphism problem. Using this characterization and certain…

In this work, we show that the periodic defocusing Ablowitz-Ladik equation can be expressed as an isospectral deformation of Floquet CMV matrices. We then introduce a Poisson Lie group whose underlying group is a loop group and show that…

Let $f$ be a real- or circle-valued Morse function on a compact surface M having exactly $n>0$ critical points. Denote by $O$ the orbit of $f$ with respect to the right action of the group of diffeomorphisms of $M$. We show that the…

4-dimensional $F_{4} $ polytopes and their dual polytopes have been constructed as the orbits of the Coxeter-Weyl group $W(F_{4})$ where the group elements and the vertices of the polytopes are represented by quaternions. Branchings of an…

A Gelfand-Cetlin polytope is a convex polytope obtained as an image of certain completely integrable system on a partial flag variety. In this paper, we give an equivalent description of the face structure of a GC-polytope in terms of so…

This thesis was inspired by work of M. Cowling, F. De Mari, A. Koranyi and M. Reimann, who studied multicontact structures for the homogeneous manifolds G/P, where G is a semisimple Lie group and P is the minimal parabolic subgroup of G.…

Starting from the Weierstrass elliptic function, we study the associated Frobenius structure, incorporating the perspective of derived categories, particularly that of homological mirror symmetry. Given a deformation of the Weierstrass…

We establish the structure of finite groups with $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups in case $\mathfrak{F}$ is a subgroup-closed saturated superradical formation containing all nilpotent groups.

It is well known that if a group G factorizes as G = NH where H\leq G and N is normal in G then the group structure of G is determined by the subgroups H and N, the intersection of N with H and how H acts on N with a homomorphism f : H ->…

We begin an investigation of the action of pseudo-Anosov elements of $\mathrm{Out}(\mathbf{F}_{2})$ on the Markoff-type varieties \[ \mathbb{X}_{\kappa}:\:x^{2}+y^{2}+z^{2}=xyz+2+\kappa \] over finite fields $\mathbb{F}_{p}$ with $p$ prime.…

This article is a survey of the Novikov problem of the structure of leaves of the foliations induced by a collection of closed 1-forms in a compact manifold $M$. Equivalently, this is to the study of the level sets of multivalued functions…

The Kuranishi family of the Iwasawa manifold give rise naturally to a family of (deformed) double complexes. By using the structure theorem of double complexes due to Stelzig and Qi-Khovanov, we show there are exactly $3$ isomorphism types…