On quasi-irresolute characterization of topological loops

In this paper, we investigate and explore the properties of quasi-topological loops with respect to irresoluteness. Moreover, we construct an example of a quasi-irresolute topological inverse property-loop by using a zero-dimensional additive metrizable perfect topological inverse property-loop [Formula: see text] with relative topology [Formula: see text].

Some algebraic structures on the generalization general products of monoids and semigroups

For arbitrary monoids A and B, in Cevik et al. (Hacet J Math Stat 2019:1–11, 2019), it has been recently defined an extended version of the general product under the name of a higher version of Zappa products for monoids (or generalized general product) $$A^{\oplus B}$$ A ⊕ B $$_{\delta }\bowtie _{\psi }B^{\oplus A}$$ δ ⋈ ψ B ⊕ A and has been introduced an implicit presentation as well as some theories in terms of finite and infinite cases for this product. The goals of this paper are to present some algebraic structures such as regularity, inverse property, Green’s relations over this new generalization, and to investigate some other properties and the product obtained by a left restriction semigroup and a semilattice.

K-loop Structures Raised by the Direct Limits of Pseudo Unitary $U(p, a_{n})$ and Pseudo Orthogonal $O(p, a_{n})$ Groups

A left Bol loop satisfying the automorphic inverse property is called a K-loop or a gyrocommutative gyrogroup. K-loops have been in the centre of attraction since its first discovery by A.A. Ungar in the context of Einstein's 1905 relativistic theory. In this paper some of the infinite dimensional K-loops are built from the direct limit of finite dimensional group transversals.

RIEMANN–HILBERT CORRESPONDENCE FOR MIXED TWISTOR -MODULES

We introduce the notion of regularity for a relative holonomic ${\mathcal{D}}$-module in the sense of Monteiro Fernandes and Sabbah [Internat. Math. Res. Not. (21) (2013), 4961–4984]. We prove that the solution functor from the bounded derived category of regular relative holonomic modules to that of relative constructible complexes is essentially surjective by constructing a right quasi-inverse functor. When restricted to relative ${\mathcal{D}}$-modules underlying a regular mixed twistor ${\mathcal{D}}$-module, this functor satisfies the left quasi-inverse property.

Loops with exponent three in all isotopes

It was shown by van Rees [Subsquares and transversals in latin squares, Ars Combin. 29B (1990) 193–204] that a latin square of order [Formula: see text] has at most [Formula: see text] latin subsquares of order [Formula: see text]. He conjectured that this bound is only achieved if [Formula: see text] is a power of [Formula: see text]. We show that it can only be achieved if [Formula: see text]. We also state several conditions that are equivalent to achieving the van Rees bound. One of these is that the Cayley table of a loop achieves the van Rees bound if and only if every loop isotope has exponent [Formula: see text]. We call such loops van Rees loops and show that they form an equationally defined variety. We also show that: (1) In a van Rees loop, any subloop of index 3 is normal. (2) There are exactly six nonassociative van Rees loops of order [Formula: see text] with a nontrivial nucleus and at least 1 with all nuclei trivial. (3) Every commutative van Rees loop has the weak inverse property. (4) For each van Rees loop there is an associated family of Steiner quasigroups.

Searching for small simple automorphic loops

A loop is (right) automorphic if all its (right) inner mappings are automorphisms. Using the classification of primitive groups of small degrees, we show that there is no non-associative simple commutative automorphic loop of order less than 212, and no non-associative simple automorphic loop of order less than 2500. We obtain numerous examples of non-associative simple right automorphic loops. We also prove that every automorphic loop has the antiautomorphic inverse property, and that a right automorphic loop is automorphic if and only if its conjugations are automorphisms.