Related papers: Every diassociative A-loop is Moufang

If two loops are isomorphic, then it is shown that their holomorphs are also isomorphic. Conversely, it is shown that if their holomorphs are isomorphic, then the loops are isotopic. It is shown that a loop is a Smarandache loop if and only…

We introduce the inverse monoid of inner partial automorphisms of a semigroup -- a tool that associates to every semigroup an inverse semigroup. When the semigroup is a group, this inverse semigroup is isomorphic to the group of inner…

We prove that any topological loop homeomorphic to a sphere or to a real projective space and having a compact-free Lie group as the inner mapping group is homeomorphic to the circle. Moreover, we classify the differentiable $1$-dimensional…

In the setting of homotopy type theory, each type can be interpreted as a space. Moreover, given an element of a type, i.e. a point in the corresponding space, one can define another type which encodes the space of loops based at this…

It is proved that any left F-quasigroup is isomorphic to the direct product of a left F-quasigroup with a unique idempotent element and isotope of a special form of a left distributive quasigroup. The similar theorems are proved for right…

Bergman has given the following abstract characterisation of the inner automorphisms of a group $G$: they are exactly those automorphisms of $G$ which can be extended functorially along any homomorphism $G \rightarrow H$ to an automorphism…

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…

We introduce a class of non-Moufang loops satisfying the Moufang's theorem.

For finite Moufang loops, we prove an analog of the first Sylow theorem giving a criterion of the existence of a p-Sylow subloop. We also find the maximal order of p-subloops in the Moufang loops that do not possess p-Sylow subloops.

Given a von Neumann algebra $M$ we consider the central extension $E(M)$ of $M.$ For type I von Neumann algebras $E(M)$ coincides with the algebra $LS(M)$ of all locally measurable operators affiliated with $M.$ In this case we show that an…

The notion of the holomorph of a generalized Bol loop and generalized flexible-Bol loop are characterized. With the aid of two self-mappings on the holomorph of a loop, it is shown that: the loop is a generalized Bol loop if and only if its…

Let $\mathcal{F}$ be a foliation with a "singular" submanifold $B$ on a smooth manifold $M$ and $p:E \to B$ be a regular neighborhood of $B$ in $M$. Under certain "homogeneity" assumptions on $\mathcal{F}$ near $B$ we prove that every leaf…

We consider, on a compact manifold, the group of diffeomorphisms that are isotopic to the identity. We show that every recurrent element is a distorsion element. This generalizes Avila's theorem on circle diffeomorphisms. The method also…

Based on 1712.09990 which handles the 4-particle amplituhedron at 3-loop, we have found an extremely simple pattern, yet far more non-trivial than one might naturally expect: the all-loop Mondrian diagrammatics. By further simplifying and…

A UHF flow is an infinite tensor product type action of the reals on a UHF algebra $A$ and the flip automorphism is an automorphism of $A\otimes A$ sending $x\otimes y$ into $y\otimes x$. If $\alpha$ is an inner perturbation of a UHF flow…

A map on a group into itself is called a local automorphism if at any two points of the group, it can be interpolated by an automorphism of that group. In this paper we investigate the question of how local automorphisms of some classical…

The loop space $L\mathbb{P}^n$ of the complex projective space $\mathbb{P}^n$ consisting of all $C^k$ or Sobolev $W^{k, \, p}$ maps $S^1 \to \mathbb{P}^n$ is an infinite dimensional complex manifold. We identify a class of holomorphic…

A \emph{loop} $(B,\cdot)$ is a set $B$ together with a binary operation $\cdot$ such that (i) for each $a\in B$, the left and right translation mappings $L_{a}:B\to B: x \mapsto a\cdot x$ and $R_{a}:B\to B: x \mapsto x\cdot a$ are…

A Moufang set is essentially a doubly transitive permutation group such that each point stabilizer contains a normal subgroup which is regular on the remaining vertices; these regular normal subgroups are called the root groups, and they…

The causal representation of multi-loop scattering amplitudes, obtained from the application of the loop-tree duality formalism, comprehensively elucidates, at integrand level, the behaviour of only physical singularities. This…