Related papers: A note on division rings satisfying generalized ra…

Let $A$ be a residually finite dimensional algebra (not necessarily associative) over a field $k$. Suppose first that $k$ is algebraically closed. We show that if $A$ satisfies a homogeneous almost identity $Q$, then $A$ has an ideal of…

Let $G$ be a connected reductive algebraic group defined over the finite field $\F_q$, where $q$ is a power of a good prime for $G$, and let $F$ denote the corresponding Frobenius endomorphism, so that $G^F$ is a finite reductive group. Let…

Let $p$ be an odd prime number. We show that the modular isomorphism problem has a positive answer for finite $p$-groups whose center has index $p^3$, which is a strong contrast to the analogous situation for $p = 2$.

In [1], finite associative rings wih identity and such that the set of all zero-divisors form and ideal M, called the Jacobson Radical, of cube zero and square non-zero, were constructed for all the characteristics. These rings are…

Let $G$ be a finite graph and $K[G]$ the edge ring of $G$. Based on the technique of Gr\"obner bases and initial ideals, it will be proved that, given integers $f$ and $d$ with $7 \leq f \leq d$, there exists a finite graph $G$ on…

We show that semi-infinite cohomology of a finite dimensional graded algebra (satisfying some additional requirements) are a particular case of a general categorical construction. The motivating example is provided by small quantum groups…

A real morphism $f$ from a real algebraic curve $X$ to $\mathbb{P}^1$ is called separating if $f^{-1}(\mathbb{R} \mathbb{P}^1) = \mathbb{R} X$. A separating morphism defines a covering $\mathbb{R} X \to \mathbb{R} \mathbb{P}^1$. Let $X_1,…

The distinguishing number $D(G)$ of a graph $G$ is the smallest number of colors that is needed to color the vertices of $G$ such that the only color preserving automorphism is the identity. For infinite graphs $D(G)$ is bounded by the…

We prove that the genus of a finite-dimensional division algebra is finite whenever the center is a finitely generated field of any characteristic. We also discuss potential applications of our method to other problems, including the…

Let $q$ be a prime, $n$ a positive integer and $A$ an elementary abelian group of order $q^r$ with $r\geq2$ acting on a finite $q'$-group $G$. The following results are proved. We show that if all elements in $\gamma_{r-1}(C_G(a))$ are…

This paper is devoted to the study of graded associative algebras that satisfy a graded polynomial identity of degree $2$. % Let $\mathsf{G}$ be a finite abelian group, $\mathbb{F}$ a field of characteristic zero and $\mathfrak{A}$ a…

A relational structure is a core, if all its endomorphisms are embeddings. This notion is important for computational complexity classification of constraint satisfaction problems. It is a fundamental fact that every finite structure has a…

In this paper we provide the conditions under which an automorphism or an antiautomorphism of a group $G$ induces an automorphism or an antiautomorphism of the $m$-conjugation quandle $\operatorname{Conj_{m}}(G),\,\, m\in \mathbb{Z} $, the…

For any finite group $G$ and a positive integer $m$, we define andstudy a Schur ring over the direct power $G^m$, which gives an algebraic interpretation of the partition of $G^m$ obtained by the $m$-dimensional Weisfeiler-Leman algorithm.…

In this note, we prove that for every integer $d\geq 2$ which is not a prime power, there exists a finite solvable group $G$ such that $d\mid |G|$, $\pi(G)=\pi(d)$ and $G$ has no subgroup of order $d$. We also introduce the CLT-degree of a…

This work is a review of results about centrally essential rings and semirings. A ring (resp., semiring) is said to be centrally essential if it is either commutative or satisfy the property that for any non-central element $a$, there exist…

Let D be a division algebra with center F. A maximal subfield of D is defined to be a field K such that CD(K) = K; that is, K is its own centralizer in D. A maximal subfield K is said to be self-invariant if it normalises by itself, i.e.…

Let G be a simple, simply connected algebraic group defined over an algebraically closed field k of positive characteristic p. Let \sigma:G->G be a strict endomorphism (i. e., the subgroup G(\sigma) of \sigma-fixed points is finite). Also,…

For any commutative ring $A$ we introduce a generalization of $S$-noetherian rings using a hereditary torsion theory $\sigma$ instead of a multiplicatively closed subset $S\subseteq{A}$. It is proved that if $A$ is a totally…

The computational complexity of the circuit evaluation problem for finite semirings is considered, where semirings are not assumed to have an additive or multiplicative identity. The following dichotomy is shown: If a finite semiring is…