相关论文: Maximally nonassociative quasigroups via quadratic…

We say that $(x,y,z)\in Q^3$ is an associative triple in a quasigroup $Q(*)$ if $(x*y)*z=x*(y*z)$. Let $a(Q)$ denote the number of associative triples in $Q$. It is easy to show that $a(Q)\ge |Q|$, and we call the quasigroup maximally…

Let $q$ be an odd prime power and suppose that $a,b\in\mathbb{F}_q$ are such that $ab$ and $(1{-}a)(1{-}b)$ are nonzero squares. Let $Q_{a,b} = (\mathbb{F}_q,*)$ be the quasigroup in which the operation is defined by $u*v=u+a(v{-}u)$ if…

A quasigroup is a pair $(Q, \cdot)$ where $Q$ is a non-empty set and $\cdot$ is a binary operation on $Q$ such that for every $(u, v) \in Q^2$ there exists a unique $(x, y) \in Q^2$ such that $u \cdot x = v = y \cdot u$. Let $q$ be an odd…

Let $p$ be a prime number and suppose that every maximal subgroup of a finite group is either $p$-nilpotent or has prime index. Such group need not be $p$-solvable, and we study its structure by proving that only one nonabelian simple group…

We prove that, for any prime $p$, there are precisely $2p^4-p^3-p^2-3p-1$ medial quasigroups of order $p^2$, up to isomorphism.

Any Neumann quasigroup $(Q, \cdot)$ (quasigroup with Neumann identity $ x \cdot(yz \cdot yx) = z$ is called Neumann quasigroup) can be presented in the form $x\cdot y = x-y$, where $(Q, +)$ is an abelian group. Automorphism group of Neumann…

A quasigroup is a pair $(Q, *)$ where $Q$ is a non-empty set and $*$ is a binary operation on $Q$ such that for every $(a, b) \in Q^2$ there exists a unique $(x, y) \in Q^2$ such that $a*x=b=y*a$. Let $(Q, *)$ be a quasigroup. A pair $(x,…

Let $Q$ be a conjugacy closed loop, and $N(Q)$ its nucleus. Then $Z(N(Q))$ contains all associators of elements of $Q$. If in addition $Q$ is diassociative (i.e., an extra loop), then all these associators have order 2. If $Q$ is…

A group is said to be cube-free if its order is not divisible by the cube of any prime. Let $f_{cf,sol}(n)$ denote the isomorphism classes of solvable cube-free groups of order $n$. We find asymptotic bounds for $f_{cf,sol}(n)$ in this…

Recently we have reformulated the octonions as quasissociative algebras (quasialgebras) living in a symmetric monoidal category. In this note we provide further examples of quasialgebras, namely ones where the nonassociativity is induced by…

We apply Voronoi's algorithm to compute representatives of the conjugacy classes of maximal finite subgroups of the unit group of a maximal order in some simple $\QQ $-algebra. This may be used to show in small cases that non-conjugate…

Let $d$ be a positive integer. A finite group is called $d$-maximal if it can be generated by precisely $d$ elements, while its proper subgroups have smaller generating sets. For $d\in\{1,2\}$, the $d$-maximal groups have been classified up…

Let $\mathbb{F}$ be a finite field of odd order and $a,b\in\mathbb{F}\setminus\{0,1\}$ be such that $\chi(a) = \chi(b)$ and $\chi(1-a)=\chi(1-b)$, where $\chi$ is the extended quadratic character. Let $Q_{a,b}$ be the quasigroup upon…

A finite group G is exceptional if it has a quotient Q whose minimal faithful permutation degree is greater than that of G. We say that Q is a distinguished quotient. The smallest examples of exceptional p-groups have order p^5. For an odd…

We prove that, for every odd prime number $p$, there are $2p-1$ paramedial quasigroups of order $p$ and $6p^2-p-1$ paramedial quasigroups of order $p^2$, up to isomorphism. We present a complete list of those which are simple.

We establish the existence of maximal subgroups of various diferent natures in SL(n,Z). In particular, we prove that there are continuously many maximal subgroups, we provide a maximal subgroup whose action on the projective space has no…

A quasitoric manifold $M$ is a $2n$-dimensional manifold which admits an action of an $n$-dimensional torus which has some nice properties. We determine the isomorphism type of a maximal compact connected Lie-subgroup $G$ of…

The class of all quasigroups is covered by six classes: the class of all asymmetric quasigroups and five varieties of quasigroups (commutative, left symmetric, right symmetric, semi-symmetric and totally symmetric). Each of these classes is…

Let G and F be finitely generated groups with infinitely many ends and let A and B be graph of groups decompositions of F and G such that all edge groups are finite and all vertex groups have at most one end. We show that G and F are…

Fix $\varepsilon > 0$. We say that a finite group $G$ is $\varepsilon$-quasirandom if every nontrivial irreducible complex representation of $G$ has degree at least $|G|^\varepsilon$. In this paper, we give a structure theorem for large…