Related papers: Pentagonal quasigroups, their translatability and …

In this paper we prove that every automorphism of a Chevalley group (or its elementary subgroup) with root system of rank >1 over a commutative ring (with 1/2 for the systems A_2, F_4, B_l, C_l; with 1/2 and 1/3 for the system G_2) is…

An $n$-ary operation $Q:S^n -> S$ is called an $n$-ary quasigroup of order $|S|$ if in the equation $x_{0}=Q(x_1,...,x_n)$ knowledge of any $n$ elements of $x_0$, ..., $x_n$ uniquely specifies the remaining one. $Q$ is permutably reducible…

An irreducible character of a finite group $G$ is called quasi $p$-Steinberg character for a prime $p$ if it takes a nonzero value on every $p$-regular element of $G$. In this article, we classify the quasi $p$-Steinberg characters of…

A "biased expansion" of a graph is a kind of branched covering graph with additional structure related to combinatorial homotopy of circles. Some but not all biased expansions are constructed from groups ("group expansions"); these include…

A base of a permutation group (X,G) is a subset B of X such that its pointwise stabilizer is the trivial group. A list (x1,x2, ... ,xk) of elements of X is irredundant if each element is not in the pointwise stabilizer of its predecessors.…

Given a binary quasigroup $G$ of order $n$, a $d$-iterated quasigroup $G[d]$ is the $(d+1)$-ary quasigroup equal to the $d$-times composition of $G$ with itself. The Cayley table of every $d$-ary quasigroup is a $d$-dimensional latin…

This paper is devoted to the proof of a structural theorem, concerning certain homomorphic images of Artin braid group on $n$ strands in finite symmetric groups. It is shown that any one of these permutation groups is an extension of the…

For a big class of commutative rings R every continuous R-automorphism of R[[X_1,...,X_n]] with the identity linear part is in the commutator subgroup of Aut(R[[X_1,...,X_n]]). An explicit bound for the number of the involved commutators…

In a stable theory, a stationary type $q \in S(A)$ internal to a family of partial types $\mathcal{P}$ over $A$ gives rise to a type-definable group, called its binding group. This group is isomorphic to the group…

A $d$-ary quasigroup of order $n$ is a $d$-ary operation over a set of cardinality $n$ such that the Cayley table of the operation is a $d$-dimensional latin hypercube of the same order. Given a binary quasigroup $G$, the $d$-iterated…

A graph \Gamma is said to be {\em symmetric} if its automorphism group \Aut(\Gamma) is transitive on the arc set of \Gamma. Let $G$ be a finite non-abelian simple group and let \Gamma be a connected pentavalent symmetric graph such that…

Semi-direct products of finite groups have permutation representations that are constructed from the permutation representations of their constituents. One can envision these in a metaphoric sense in which a rope is made from a bundle of…

We consider the Macdonald group $\langle x,y\,|\, x^{[x,y]}=x^{1+2^m\ell},\, y^{[y,x]}=y^{1+2^m\ell}\rangle$ and its Sylow 2-subgroup $J=\langle x,y\,|\, x^{[x,y]}=x^{1+2^m\ell},\, y^{[y,x]}=y^{1+2^m\ell},…

An interchange ring,(R,+,*)is an abelian group with a second binary operation defined so that the interchange law (x+y)*(u+v)=(x*u)+(y*v)holds. An interchange near ring is the same structure based on a group which may not be abelian. It is…

Let $\mathbb G = (G, +)$ be a group (either abelian or not). Given $X, Y \subseteq G$, we denote by $\langle Y \rangle$ the subsemigroup of $\mathbb G$ generated by $Y$, and we set $$\gamma(Y) := \sup_{y_0 \in Y} \inf_{y_0 \ne y \in Y} {\rm…

For a metabelian p-group G = <x,y> with two generators x and y, the annihilator A < Z[X,Y] of the main commutator [y,x] of G, as an ideal of bivariate polynomials with integer coefficients, is determined by means of a presentation for G.…

In this paper we consider Chevalley groups over commutative rings with~$1$, constructed by irreducible root systems of rank $>1$. We always suppose that for the systems $A_2, B_\ell, C_\ell, F_4, G_2$ our rings contain $1/2$ and for the…

Let $[\rho_{i_k},[\rho_{i_{k-1}},...,[\rho_{i_{1}}, \rho_{i_2}] ...]]$ be an iterated commutator of self-maps $\rho_{i_j} : \Sigma {\Bbb H}P^\infty \to \Sigma {\Bbb H}P^\infty, j = 1,2, ..., k$ on the suspension of the infinite quaternionic…

We show that the only finite quasi-simple non-abelian groups that can faithfully act on rationally connected threefolds are the following groups: $\mathfrak{A}_5$, $\operatorname{PSL}_2(\mathbf{F}_7)$, $\mathfrak{A}_6$,…

Let $A$ be a ring with $1\neq 0$, not necessarily finite, endowed with an involution~$*$, that is, an anti-automorphism of order $\leq 2$. Let $H_n(A)$ be the additive group of all $n\times n$ hermitian matrices over $A$ relative to $*$.…