In this paper, we describe finite, additively commutative, congruence simple semirings. The main result is that the only such semirings are those of order 2, zeromultiplication rings of prime order, matrix rings over finite fields, ones with trivial addition and those that are additively idempotent.

A double algebra is a linear space V equipped with linear map V ⊗ V → V ⊗ V . Additional conditions on this map lead to the notions of Lie and associative double algebras. We prove that simple finite-dimensional Lie double algebras do not exist over an arbitrary field, and all simple finite-dimensional associative double algebras over an algebraically closed field are trivial. Over an arbitrary...

The Algebraicity Conjecture treats model-theoretic foundations of algebraic group theory. It states that any simple group of finite Morley rank is an algebraic group over an algebraically closed field. In the mid-1990s a view was consolidated that this project falls into four cases of different flavour: even type, mixed type, odd type, and degenerate type. This book contains a proof of the conj...

‎There are a few finite groups that are determined up to isomorphism solely by their order, such as $mathbb{Z}_{2}$ or $mathbb{Z}_{15}$. Still other finite groups are determined by their order together with other data, such as the number of elements of each order, the structure of the prime graph, the number of order components, the number of Sylow $p$-subgroups for each prime $p$, etc. In this...

In the past few decades there has been considerable interest in word maps on groups with emphasis (non-abelian) finite simple groups. Various asymptotic results (holding for sufficiently large groups) have obtained. More recently non-asymptotic all emerged, particular words (commutators and certain power words) which are not an identity of any group. this paper we initiate a systematic study ab...