Related papers: Pentagonal quasigroups, their translatability and …

We introduce a new construction, the isotropy groupoid, to organize the orbit data for split $\Gamma$-spaces. We show that equivariant principal $G$-bundles over split $\Gamma$-CW complexes $X$ can be effectively classified by means of…

If X and Y are orthogonal hyperdefinable sets such that X is simple, then any group G interpretable in (X,Y) has a normal hyperdefinable X-internal subgroup N such that G/N is Y-internal; N is unique up to commensurability. In order to make…

In [Li and Chen, A new characterization of the simple group A_1(p^n), Sib. Math. J., 2012], it is proved that the simple group A_1(p^n) is uniquely determined by the set of orders of its maximal abelian subgroups. Also in [Momen and…

We enumerate three classes of non-medial quasigroups of order $243=3^5$ up to isomorphism. There are $17004$ non-medial trimedial quasigroups of order $243$ (extending the work of Kepka, B\'en\'eteau and Lacaze), $92$ non-medial…

For all prime powers q we restrict the unipotent characters of the special orthogonal groups SO_5(q) and SO_7(q) to a maximal parabolic subgroup. We determine all irreducible constituents of these restrictions for SO_5(q) and a large part…

A connected symmetric graph of prime valency is {\em basic} if its automorphism group contains no nontrivial normal subgroup having more than two orbits. Let $p$ be a prime and $n$ a positive integer. In this paper, we investigate…

A quasigroup $Q$ is called maximally nonassociative if for $x,y,z\in Q$ we have that $x\cdot (y\cdot z) = (x\cdot y)\cdot z$ only if $x=y=z$. We show that, with finitely many exceptions, there exists a maximally nonassociative quasigroup of…

The superextension $\lambda(X)$ of a set $X$ consists of all maximal linked families on $X$. Any associative binary operation $*: X\times X \to X$ can be extended to an associative binary operation $*:…

This paper considers flag-transitive $4$-$(q+1,k,\lambda)$ designs with $\lambda\geq5$ and $q+1>k>4$. Let the automorphism group of a design $\cal D$ be a simple group $G=PSL(2,q)$. Depend on the fact that the setwise stabilizer $G_B$ must…

For classical groups we show the isomorphism of the Knapp-Stein $R$-group, which describes the structure of parabolically induced representations, and the Arthur $R$-group of the parameter associated to the inducing representation by the…

We prove that the loop space of a quasitoric manifold is homotopy commutative if and only if the underlying polytope is a product of $3$-simplices $(\Delta^3)^n$ and the characteristic matrix is equivalent to a matrix of certain type.…

In arXiv:2011.03313, the author has constructed a category of abstractly automorphic representations for $\mathrm{GL}(2)$ over a function field $F$. This is a symmetric monoidal Abelian category, constructed with the goal of having the…

The concept of a k-translatable groupoid is explored in depth. Some properties of idempotent k-translatable groupoids, left cancellative k-translatable groupoids and left unitary k-translatable groupoids are proved. Necessary and sufficient…

In this paper, we provide a complete classification of the $2$-$(v,3,\lambda )$ designs with $v\equiv 1,3\pmod{6}$ and $% v \equiv 6 \pmod{\lambda}$ admitting a flag-transitive automorphism group non-isomorphic to a subgroup of $A\Gamma…

We study the representations of the commutator subgroup of the braid group with n strands in the symmetric group of degree r. Motivated by some experimental results, we conjecture that for n>r, every such representation is trivial.

Denote by (R,.) the multiplicative semigroup of an associative algebra R over an infinite field, and let (R,*) represent R when viewed as a semigroup via the circle operation x*y=x+y+xy. In this paper we characterize the existence of an…

Based on the recent development of commutator theory for loops, we provide both syntactic and semantic characterization of abelian normal subloops. We highlight the analogies between well known central extensions and central nilpotence on…

Let $R$ be a principal ideal domain (PID). For a simply connected CW-complex $X$ of dimension $n$, let $Y$ be a space obtained by attaching cells of dimension $q$ to $X$, $q>n$, and let $A(Y)$ denote an Adams-Hilton model of $Y$. If…

For an abelian topological group G let G^* denote the dual group of all continuous characters endowed with the compact open topology. Given a closed subset X of an infinite compact abelian group G such that w(X) < w(G) and an open…

The usual coherence theorem of MacLane for categories with multiplication assumes that a certain pentagonal diagram commutes in order to conclude that associativity isomorphisms are well defined in a certain practical sense. The practical…