Next Article in Journal
A Novel Spatio-Temporal Fully Meshless Method for Parabolic PDEs
Next Article in Special Issue
The Sharp Upper Estimate Conjecture for the Dimension δk(V) of New Derivation Lie Algebra
Previous Article in Journal
Impulsive Stabilization on Hyper-Chaotic Financial System under Neumann Boundary
Previous Article in Special Issue
On Restricted Cohomology of Modular Classical Lie Algebras and Their Applications
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Review

Centrally Essential Rings and Semirings

Department of Higher Mathematics, National Research University ‘MPEI’, Krasnokazarmennaya Street 14, 111250 Moscow, Russia
Mathematics 2022, 10(11), 1867; https://doi.org/10.3390/math10111867
Submission received: 24 April 2022 / Accepted: 24 May 2022 / Published: 30 May 2022

Abstract

:
This paper is a survey of results on centrally essential rings and semirings. A ring (respectively, semiring) is said to be centrally essential if it is either commutative or satisfies the property that for any non-central element a, there exist non-zero central elements x and y with ax = y. The class of centrally essential rings is very large; many corresponding examples are given in the work.

1. Introduction

The work is based on papers [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18].
The author is very grateful for the great help in editing the manuscript to Adel Abyzov, Oleg Lyubimtsev and Danil Tapkin.
In Introduction and Section 2, Section 3, Section 4, Section 5 and Section 6, the word ring means an associative ring. By default, it is assumed that a ring has 1 0 ; the case of not necessarily unital rings is specially indicated.
In Section 7, the word ring means a not necessarily associative ring.
A not necessarily unital ring A is said to be a ring with an essential center or a centrally essential ring, or a CE ring if either A is commutative or for any non-central element a A , there are non-zero central elements x and y with a x = y .
It is clear that any commutative ring is centrally essential. A unital ring A with center C = Z ( A ) is centrally essential if and only if the C-module A is an essential extension of C C .
In Section 2, we study general properties of centrally essential rings, semiprime and nonsingular centrally essential rings, local and semiperfect centrally essential rings, perfect and semi-Artinian centrally essential rings.
In Section 3, we study centrally essential Grassmann algebras over fields and rings.
In Section 4, we study centrally essential rings arising from various constructions. In particular, we consider polynomial and series rings, group and semigroup rings, rings of fractions, local subalgebras of triangular algebras, and endomorphism rings of Abelian groups.
In Section 5, we study centrally essential distributive and uniserial rings. In particular, we consider uniserial Artinian (resp., Noetherian) rings, rings with flat ideals, distributive Noetherian rings.
In Section 6, we study centrally essential semirings.
In Section 7, we study several types of centrally essential non-associative rings. In particular, we consider reduced and semiprime rings, Cayley–Dickson process and associative Centers, quaternion and octonion algebras.
From the definition of a centrally essential ring A, it might seem that such a ring is possibly commutative. Indeed, A satisfies many properties of commutative rings. The following are some examples:
  • All idempotents of A are central; see Proposition 3 below.
  • If A is semiprime, then A is commutative; see Theorem 1.
  • If A is a centrally essential local ring, then the ring A / J ( A ) is a field and, in particular, is commutative; see Theorem 2.
  • If A is a right or left semi-Artinian centrally essential ring, then the factor ring A / J ( A ) is commutative; see Theorem 5.
However, a centrally essential ring A may be very far from a commutative ring. The following are some examples:
  • The factor ring A / J ( A ) of A with respect to the prime radical can be not centrally essential and, in particular, the semiprime ring A / J ( A ) can be non-commutative; see Theorem 17.
  • For any ideal of A generated by central idempotents, the corresponding factor ring is not necessarily centrally essential; see Example 4.
  • Factor rings of ring A are not necessarily centrally essential; see the two previous items.
  • There are finite non-commutative centrally essential unital group algebras; see Example 1 below.
  • There are finite non-commutative centrally essential Grassmann algebras; see Example 2 below;
  • There are torsion-free Abelian groups G of finite rank such that their endomorphism rings are non-commutative centrally essential rings; see Theorem 20(c).
Example 1.
Let F be the field of order 2 and let G = Q 8 be the quaternion of the group of order 8, i.e., G is the group with two generators a , b and three defining relations a 4 = 1 , a 2 = b 2 and a b a 1 = b 1 ; see [19], [Section 4.4]. Then the group algebra F G is a non-commutative finite local centrally essential ring consisting of 256 elements; this follows from Proposition 16 below.
We give some necessary notions. For a ring A, we denote by Z ( A ) (or C ( A ) ), J ( A ) , N ( A ) and K ( A ) the center, the Jacobson radical, the prime radical and the Köthe radical (i.e., the sum of all nil ideals, which is the largest nil ideal), respectively. We also set [ a , b ] = a b b a for any two elements a , b of the ring A. For a group or a semigroup X, we denote by Z ( X ) or C ( X ) the center of X.
Example 2.
We give one more example of a non-commutative finite centrally essential ring. Let F be a field consisting of three elements, V be a linear F-space with basis e 1 , e 2 , e 3 , and let Λ ( V ) be the Grassmann algebra (See Section 3.2) of the space V. Since e 1 e 1 = e 2 e 2 = e 3 e 3 = 0 and any product of generators is equal to the ±product of generators with ascending subscripts, we have that Λ ( V ) is a finite F-algebra of dimension 8 with basis
{ 1 , e 1 , e 2 , e 3 , e 1 e 2 , e 1 e 3 , e 2 e 3 , e 1 e 2 e 3 } ,
| Λ ( V ) | = 3 8 , e k e i e j = e i e k e j = e i e j e k .
Therefore, if
x = α 0 · 1 + α 1 1 e 1 + α 1 2 e 2 + α 1 3 e 3 + α 2 1 e 1 e 2 + α 2 2 e 1 e 3 +
+ α 2 3 e 2 e 3 + α 3 e 1 e 2 e 3 ,
then
[ e 1 , x ] = 2 α 1 2 e 1 e 2 + 2 α 1 3 e 1 e 3 , [ e 2 , x ] = 2 α 1 1 e 1 e 2 + 2 α 1 3 e 2 e 3 , [ e 3 , x ] = 2 α 1 1 e 1 e 3 2 α 1 2 e 2 e 3 .
Thus, x Z ( Λ ( V ) ) if and only if α 1 1 = α 1 2 = α 1 3 = 0 . In other words, the center of the algebra Λ ( V ) is of dimension 5. On the other hand, if α 1 1 0 , then
x ( e 2 e 3 ) = α 0 e 2 e 3 + α 1 1 e 1 e 2 e 3 Z ( Λ ( V ) ) \ { 0 } .
In addition, e 2 e 3 Z ( Λ ( V ) ) . A similar argument applies if α 1 2 0 or α 1 3 0 . Consequently, Λ ( V ) is a finite centrally essential non-commutative ring.
Example 3.
This example is due to the reviewer of the paper [10] who has kindly suggested a series of examples of non-commutative centrally essential rings arising from a construction described in [20]. The following statement ( ) and its proof were also proposed by the reviewer:
( ) If B is an ideal of the ring A such that B Z ( A ) and A / B is a field, then A is a centrally essential ring.
We assume that A is not commutative and a is a non-central element of A. If a B 0 , then it is clear that Z ( A ) a Z ( A ) 0 . We assume the contrary, i.e., a B = 0 . Since a B and A / B is a field, the element a is an invertible modulo B, i.e., s a = 1 x for some s A and x B . For any y B , we have 0 = s a y = y x y ; this implies that x B = B = x A , x is a central idempotent, and A has a Peirce decomposition A = A x A ( 1 x ) , where the both summands A x = B and A ( 1 x ) A / B are commutative. Therefore, A is commutative. This contradicts the choice of A, and ( ) is true.
It remains to be considered the simplest case of the construction given in [20] [Proposition 7] (we reserve the notation of this paper). Let F = Q ( x , y ) be the field of rational functions. We consider two partial derivations d 1 = x and d 2 = x . Then the ring A = T ( F , F ) consisting of matrices
f d 1 ( f ) g 0 f d 2 ( f ) 0 0 f f , g F
and its ideal
B = F ^ = 0 0 g 0 0 0 0 0 0 g F
satisfy the conditions of ( ) .
We give some definitions. For a module M, the socle Soc M is the sum of all simple submodules of M; if M does not contain simple submodules, then Soc M = 0 by definition. A module M is said to be finite-dimensional (in the sense of Goldie) if M does not contain a submodule which is an infinite direct sum of non-zero submodules. A module M is said to be Noetherian (respectively, Artinian) if M does not contain an infinite properly ascending (respectively, properly descending) chain submodules. Direct summands of free modules are called projective modules. A module M is said to be hereditary if all submodules of the module M are projective. A module M is said to be distributive (respectively, uniserial), if the submodule lattice of the module M is distributive (respectively, it is a chain). We recall that a module X is called an essential extension submodule Y of the module X if Y Z 0 for any non-zero submodule Z in X. In this case, Y is called an essential submodule of the module X. A submodule Y of the module X is said to be closed (in X) if Y = Y for any submodule Y of the module X, which is an essential extension of the module Y.
A ring A is called a domain if A does not have non-zero zero divisors. A commutative domain A is called a Dedekind domain if A is a commutative hereditary Noetherian domain. If A is a ring, then a proper ideal B of the ring A is said to be completely prime if the factor ring A / B is a domain. A ring A is said to be right invariant (respectively, left invariant) if all right (respectively, left) ideals of the ring A are ideals. A ring R is said to be semiprime (respectively, prime), if R does not have nilpotent non-zero ideals (respectively, the product of any two non-zero ideals of the ring R is not equal to zero). A ring R is said to be arithmetical if the lattice of its two-sided ideals is distributive, i.e., X ( Y + Z ) = X Y + X Z for any three ideals X , Y , Z of the ring R. It is clear that a commutative ring is right (respectively, left) distributive if and only if the ring is arithmetical. For a ring R, an element r is called a left non-zero divisor or a right regular element if the relation r x = 0 implies the relation x = 0 for any x R . We note that one-sided zero divisors are two-sided zero divisors in a centrally essential ring; see Proposition 1(a). A ring R has the right (respectively, left) classical ring of fractions Q cl ( R r ) (respectively, Q cl ( R l ) ) if and only if for any two elements a , b R such that b is a non-zero divisor, there exist elements c , d R such that d is a non-zero-divisor and b c = a d (respectively, c b = d a ). If the rings Q cl ( R r ) and Q cl ( R l ) exist, then they are isomorphic to each other over R. In this case, one says that there exists the two-sided ring of fractions Q cl ( R ) .
For a ring R and a subset S in R, we denote by R ( S ) the left annihilator { r R | r S = 0 } of the set S. The right annihilator r R ( S ) is defined similarly. For a right (respectively, left) R-module M, its fully invariant submodule consisting of all elements whose annihilators are essential right (respectively, left) ideals in R is called the singular submodule for M; it is denoted by Sin g M . For M = R R (respectively, M = R R ), the ideal Sin g M is called the right (respectively, left) singular ideal of the ring R.
Necessary information from ring theory is contained in [21,22,23,24,25,26]. See [27,28] for necessary information on Abelian groups.

2. Semiprime, Local, Perfect and Semi-Artinian Rings

In Section 2, the word ring means an associative ring. By default, it is assumed that the ring has a non-zero identity element; the case of not necessarily unital rings is specified separately.

2.1. General Properties

Remark 1.
If A is a ring such that the set B of all left zero divisors is an ideal, then B is a completely prime ideal.
Proof. 
Let a , b A and a b B . Then, there exists an element x A \ { 0 } such that a b x = 0 . If b x = 0 , then b B . Otherwise, it follows from relation a ( b x ) = 0 that a B . □
Proposition 1.
Let A be a centrally essential ring.
a.
Every left (respectively, right) non-zero-divisor a of the ring A is a right (respectively, left) non-zero divisor of the ring A.
b.
The ring A is left uniform(a module M is said to be uniform if any two of its non-zero submodules have non-zero intersection) if and only if A is right uniform.
c.
If the ring A is right uniform and B = Sin g A A , then B is the set of all (left or right) zero divisors of ring A, and B is a completely prime ideal of ring A.
d.
If the ring A has a proper ideal B containing all left zero divisors of ring A, then factor ring A / B is commutative.
e.
If an ideal B of the ring A contains all central zero-divisors of the ring A, then . A n n A ( B ) Z ( A ) .
Proof. 
a.
We consider only the case where a is a left non-zero divisor. We can assume that a is a central element of the ring A. We assume the contrary. Then, b a = 0 for some non-zero element b of ring A. Since b 0 , there exist non-zero central elements x , y of ring A such that b x = y 0 . Then y a = b x a = b a x = 0 . This is a contradiction.
b.
We assume that the ring A is right uniform and a 1 , a 2 are non-zero elements of ring A. There exist non-zero central elements x 1 , x 2 , y 1 , y 2 of the ring A such that a 1 x 1 = y 1 and a 2 x 2 = y 2 . Then
A a 1 A a 2 A x 1 a 1 A x 2 a 2 = a 1 x 1 A a 2 x 2 A = y 1 A y 2 A 0 .
c.
By the definition of the right singular ideal, all its elements are left zero divisors. Conversely, let a be a left or right zero divisor of ring A. Then, r ( a ) 0 by the first assertion of the lemma. In a right uniform ring, this means that r ( a ) is an essential right ideal, i.e., a B . Now we use Remark 1
d.
Let a , b A \ B . There exist non-zero central elements x , y A such that b x = y . Then [ a , b ] x = [ a , b x ] = 0 , i.e., [ a , b ] is a left zero divisor. Therefore, [ a , b ] B .
e.
Let r . A n n A ( B ) . There exist non-zero central elements x , y of the ring A such that r x = y . It is clear that x B , whence x is not a zero divisor. Therefore, for every element a A , it follows from relations 0 = [ a , y ] = [ a , r x ] = [ a , r ] x that [ a , r ] = 0 .
Proposition 2.
Let A be a centrally essential ring and let B be its right ideal.
a.
If the right ideal B is not essential (this is the case if B is a proper closed right ideal), then there exists a non-zero central element y of the ring A such that B y A = 0 and, consequently, y B = B y = 0 . In particular, all elements of the right ideal B are zero divisors.
b.
There exists a centrally essential finite-dimensional algebra over a field which has a closed right ideal which is not ideal.
Proof. 
a.
Since B is not essential, B d A = 0 for some non-zero d A . Since A is centrally essential, d x = y for some non-zero central elements x , y A . Then B y A = 0 .
b.
See Example 10.
Proposition 3.
If a not necessarily unital ring A is centrally essential, then every idempotent e A is contained in the center Z ( A ) .
Proof. 
We can assume that A is not commutative. Let a A . We have to prove that a e = e a = e a e . First, we prove the relation e ( a a e ) = 0 . We assume the contrary, e ( a a e ) 0 . Since the ring A is centrally essential, there exists x , y Z ( A ) such that
x e ( a a e ) = y = e y = y e 0 .
Then
0 y = y e = x e ( a a e ) e = x ( e a e e a e ) = 0 .
This is a contradiction. Therefore, e ( a a e ) = 0 . Similarly, we have ( a e a ) e = 0 . Therefore, the idempotent e is central. □
Proposition 4
([5]). Let ring A be a not necessarily unital, centrally essential ring, e = e 2 A , a , x 1 , . . o t s , x n , y 1 , . . o t s , y n A , and let
x 1 y 1 + . . o t s + x n y n = e x 1 a e y 1 + . . o t s + x n a e y n = 0 .
Then a e = 0 .
Proof. 
We assume that a e 0 . If the element a e is central, then
a e = a e 2 = a e ( x 1 y 1 + . . o t s + x n y n ) = x 1 a e y 1 + . . o t s + x n a e y n = 0 ;
this is a contradiction.
Now we assume that element a e is not central. Since ring A is centrally essential and a e 0 , there exist non-zero central elements x , y A such that x a e = y . We note that y = y e . Therefore,
0 y = y e = y ( x 1 y 1 + . . o t s + x n y n ) = x ( x 1 y e y 1 + . . o t s + x n a e y n ) = 0 ;
this is a contradiction. Therefore, a e = 0 . □
Proposition 5.
If A is a centrally essential ring with 1 0 and M is a maximal right ideal of the ring A, then either M is an ideal or there exists a non-zero central element x n 1 M n .
Proof. 
We assume the contrary. Then there exist non-zero elements m M and a A such that a m M . Since M is a maximal right ideal, there exist elements b A and m M such that 1 = a m b + m . Since the ring A is centrally essential, there exist non-zero central elements x , y A such that a x = y . Then
x = ( a m b + m ) x = ( a x ) m b + m x = m b y + m x M
and ( a x ) m b M 2 and m x M 2 . Therefore, x = ( a x ) m b + m x M 2 and ( a x ) m b , m x M 3 . Then x M 3 . By repeating a similar argument, we obtain that 0 x n 1 M n . □
Proposition 6.
Let R be a ring and let A be a subring in R such that there exists a basis of the module R A contained in Z ( R ) . If ring A is centrally essential, then ring R is centrally essential, as well.
Proof. 
Let B be a basis of the module R A and B Z ( R ) . Every element r R \ { 0 } has the unique decomposition of the form
r = i = 1 n b i s i , w h e r e b 1 . . o t s b n B a n d s 1 . . o t s s n R \ { 0 } .
We define a function k : R Z by equating k ( r ) to the number of coefficients s i in the above decomposition (1) that are contained in Z ( A ) for r 0 and k ( 0 ) = 0 . It is clear that r Z ( A ) if and only if k ( r ) = 0 . Now let x R \ { 0 } . In the set x Z ( A ) \ { 0 } , we take an element r such that the integer k ( r ) is minimal. We prove that k ( r ) = 0 . We assume the contrary. Then we can assume that s 1 Z ( A ) in (1). Since the ring A is centrally essential, there exist non-zero central elements x , y Z ( A ) such that x s 1 = y . Then x r x Z ( A ) , x r 0 and k ( x r ) < k ( r ) ; this contradicts the choice of the element r. We obtain that 0 r x Z ( A ) Z ( R ) x Z ( R ) Z ( R ) . □
Proposition 7.
Let F be a field and let R be a centrally essential F-algebra. Then for any commutative F-algebra A, the algebra A F R is centrally essential.
Proof. 
If B is an F-basis of the commutative of the algebra A, then { b 1 | b B } is a basis of the free module ( A R ) R , which satisfies the conditions of Proposition 6. □
Remark 2.
If A is a centrally essential ring with center C = Z ( A ) , then its right ideal B is an essential extension of the ideal M = i I c i A , c i C generated by central elements.
Proof. 
Let M be a non-empty set of all ideals of the ring A, which are contained in B and are direct sums of principal ideals generated by a central element. We define a partial order on M such that M 1 M 2 M 2 = M 1 X , X M . By the Zorn lemma, M contains a maximal element M. We assume that B A is not an essential extension of M A . Then there exists a non-zero element b B such that M b A = 0 . Since A is a centrally essential ring, b c = d for some non-zero central of elements c , d A . Then M d A = 0 and M d A is an element of the set M which exceeds maximal element M. This is a contradiction. □
Remark 3.
It is directly verified that any filtered product of centrally essential rings is a centrally essential ring. In particular, ultra-degrees of a centrally essential ring are centrally essential rings.
Problem 1.
Is it true that any tensor product of centrally essential algebras is centrally essential?

2.2. Semiprime and Nonsingular Rings

We recall that a ring A is said to be semiprime if A does not have non-zero nilpotent ideals. A ring A with non-zero 1 is said to be right nonsingular if the right annihilator r A ( a ) of any non-zero element a A is not essential.
Lemma 1.
Let A be a centrally essential ring with center C = Z ( A ) and let a be a non-zero element of the ring A. If a n = 0 ( n N ), then there exists a non-zero central element y of the ring A such that y ( a C ) ( C a ) , ( A y A ) n = 0 and ( y C ) n = 0 . Consequently, if at least one of the rings A and C is semiprime, then A does not have non-zero nilpotent elements.
Proof. 
Since a 0 and the ring A is centrally essential, a x = x a = y for some non-zero central elements x and y of the ring A. Then
( A y A ) n = y n A n = ( a x ) n A n = a n x n A n = 0 .
Theorem 1
([10] [Theorem 1.3(a)]). Let A be a centrally essential ring. If at least one of the rings A and Z ( A ) is semiprime, then A is a commutative ring without non-zero nilpotent elements.
Proof. 
By Lemma 1,the ring A does not have non-zero nilpotent elements. We assume that the ring A is not commutative. Then a b b a 0 for some a , b A . Let C = Z ( A ) be the center of the ring A and let E = { c C | a c C } . We have that E is an ideal of the ring C. We take any element d C with d E = 0 . If x d 0 , then x d z C \ { 0 } for some z C . Therefore, d z E , whence d ( d z ) = 0 and ( d z ) 2 = 0 . Therefore, d z = 0 and x d z = 0 ; this is a contradiction. Therefore, x d = 0 , whence d E . Therefore, d 2 = 0 and d = 0 . Then we obtain that Ann C ( E ) = 0 . For any i E , we have x i = i x C , whence
[ x , y ] i = ( x y y x ) i = x ( y i ) y ( x i ) = x i y x i y = 0
and [ x , y ] E = 0 . However, c 1 [ x , y ] = c 2 for some c 1 , c 2 C \ { 0 } , whence c 2 E = 0 and therefore, Ann C ( E ) 0 ; this is a contradiction. Therefore, the ring A is commutative. □
Remark 4.
In connection to Theorem 1, we note that a ring A with semiprime center Z ( A ) is not necessarily commutative. The corresponding example is the ring A of all 2 × 2 matrices over R ; the center of the ring A consists of scalar matrices.
Corollary 1.
If A is a centrally essential, right nonsingular ring, then A is commutative and does not have non-zero nilpotent elements.
Proof. 
By Theorem 1, it is sufficient to prove that A is a ring without non-zero nilpotent elements. We assume the contrary. There exists a non-zero element a of ring A with a 2 = 0 . Since A is centrally essential, there exist non-zero central elements x , y A with a x = y . It follows from the Zorn lemma that there exists a right ideal B of ring A such that B y A = 0 and right ideal B y A is an essential. Since y B = B y B y A = 0 and y 2 = a 2 x 2 = 0 , we have y ( B y A ) = 0 . Since right ideal B y A is an essential, y = 0 ; this is a contradiction. □
In connection to Theorem 1, we prove the following proposition.
Proposition 8
([5]). If A is a not necessarily unital, centrally essential ring and its the center is a semiprime ring, then ring A is commutative.
Proof. 
We assume that the ring A is not commutative, i.e., there exist elements a , b A such that a b b a 0 . Since ring A is centrally essential, there exist non-zero central elements x and y such that ( a b b a ) x = y . We note that a y 0 ; otherwise,
y 2 = ( a b b a ) x y = ( ( a y ) b b ( a y ) ) x = 0 ;
this is impossible since y 0 .
If a y Z ( A ) , then there exist non-zero central elements z , t A such that a y z = t . We consider the set W = { w Z ( A ) | a w Z ( A ) } . It is clear that y z W . Now we assume that y W = 0 . Then y ( y z ) = 0 , ( y z ) 2 = 0 and y z = 0 ; this is a contradiction. Therefore, y w 0 for some w W . However,
y w = ( a b b a ) y w = ( ( w a ) b b ( w a ) ) x = 0 ,
and this is a contradiction, as well.
Therefore, we have 0 a y Z ( A )
We assume that a t Z ( A ) . Then a y b 0 ; otherwise,
y 2 = ( a y b b a y ) x = b a y x = a y b x = 0 .
In addition, ( a b ) y = ( b a ) y . Therefore, ( a b b a ) y = 0 . However, y 2 = ( a b b a ) x y = 0 ; this is a contradiction. Therefore, ring R is commutative. □
Remark 5.
If A is a ring and the factor ring A / J ( A ) is centrally essential, then all maximal right ideals of the ring A are ideals.
Proof. 
Since A / J ( A ) is a centrally essential semiprime ring, it follows from Theorem 1 that the ring A / J ( A ) is commutative. In particular, all maximal right ideals of the ring A / J ( A ) are ideals. Then all maximal right ideals of the ring A are ideals. □

2.3. Local and Semiperfect Rings

Let A be a ring with Jacobson radical J ( A ) . Ring A is said to be local if the factor ring A / J ( A ) is a division ring. A ring A is said to be semiperfect if the factor ring A / J ( A ) is isomorphic to a finite direct product of matrix rings over division rings and every idempotent the factor of the ring A / J ( A ) is the image of some idempotent e A under the natural epimorphism A A / J ( A ) .
Remark 6.
It is clear that any finite direct product of local rings is a semiperfect ring. In addition, all idempotents of any centrally essential of the ring are central by Proposition 3. Therefore, centrally essential semiperfect rings coincide with finite direct products of centrally essential of local rings, and their study is reduced to the study of centrally essential local rings.
Theorem 2.
Let A be a centrally essential local ring with Jacobson radical J ( A ) . Then, factor ring A / J ( A ) is a field (in particular, it is commutative) and M Z ( A ) 0 for every minimal right ideal M.
Proof. 
Let a , b A and a b b a J ( A ) . An element a b b a is invertible since A is local. Since a 0 and A is centrally essential, a x = y for some non-zero x , y Z ( A ) . Then
x = x ( a b b a ) ( a b b a ) 1 = ( y b b y ) ( a b b a ) 1 = 0 ;
this is a contradiction. Therefore, a b b a J ( A ) and the ring A / J ( A ) is commutative.
Now we assume that M Z ( A ) = 0 for some minimal right ideal M of the ring A. Let m be a non-zero element of M. By assumption, there exist non-zero central elements x and y of the ring A such that m x = y . Since x J ( A ) (otherwise, m x = 0 ), the element x is invertible in A and m = x 1 y Z ( A ) ; this is a contradiction. □
Theorem 3.
Let A be a centrally essential semiperfect ring with center C = Z ( A ) . Then A / J ( A ) is a finite direct product of fields. In particular, ring A / J ( A ) is commutative. In addition, A is a finite direct product of centrally essential local rings and Soc ( A C ) C .
Proof. 
By the definition of a semiperfect ring, the ring A / J ( A ) is the direct sum of simple Artinian rings, and each of them is isomorphic to a matrix ring over a division ring. Let e ¯ 1 , . . o t s , e ¯ n be a complete system of indecomposable orthogonal idempotents of the ring A ¯ = A / J ( A ) . Then there exists a complete system of indecomposable orthogonal idempotents e 1 , . . o t s , e n in A such that e i + J ( A ) = e ¯ i , i = 1 , . . o t s , n . By Proposition 3, all idempotents e 1 , . . o t s , e n are central. Therefore, A = i = 1 n A i e i is a decomposition of the ring A into a direct sum of local centrally essential rings. Consequently, all rings A i / J ( A i ) are commutative by Theorem 2. It is directly verified that all rings A i = A e i are centrally essential; therefore, division ring A i / J ( A i ) is commutative. Then the ring R / J ( R ) = i = 1 n R i / J ( R i ) is commutative, as well.
It follows from the above that, without loss of generality, we can assume that ring A is local. We note that J ( C ) = C J ( A ) and C is a local ring.
Now let s be a non-zero element of Soc ( R C ) . There exist non-zero central elements x , y such that s x = y . It is clear that x J ( R ) , since J ( C ) Soc A C = 0 . Consequently, x is an invertible element and s = x 1 y C . □
Remark 7.
It follows from the above that if A is a centrally essential semiperfect ring, then Soc A A = Soc A A .

2.4. Perfect and Semi-Artinian Rings

Let A be a ring with Jacobson radical J ( A ) .
Ring A is said to be left perfect if A is semiperfect and the radical J ( R ) is left T-nilpotent, i.e., for any sequence x 1 , x 2 , . . o t s of elements in J ( A ) , there exists a subscript n such that x 1 x 2 . . o t s x n = 0 . Right perfect rings are similarly defined.
Ring A is said to be semilocal if the factor ring A / J ( A ) is isomorphic to a finite direct product of matrix rings over division rings.
Module M is said to be semi-Artinian if either M = 0 or every non-zero factor module of the module M is an essential extension of a semisimple module.
Theorem 4.
Let A be a right or left perfect ring with center C = Z ( A ) .
a.
Ring A is centrally essential if and only if  Soc A C C and all idempotents of the ring A are central.
b.
Assume that all idempotents of the ring A are central, the factor ring A / J ( A ) is commutative, Soc A C = Soc A A , and M C 0 for every minimal right ideal M. Then the ring A is centrally essential.
Proof. 
a.
If A is centrally essential, then Soc A C C and all idempotents of the ring A are central by Proposition 3 and Theorem 3.
Conversely, let Soc A C C and let all idempotents of the ring A be central. Since all idempotents are central, we can assume that A is a local ring. Then J ( C ) = C J ( A ) and C / J ( C ) is a field.
Let x be a non-zero element of the ring A. If J ( C ) x = 0 , then x Soc A C ; therefore, x C . Otherwise, there exists an element c 1 J ( C ) such that c 1 x 0 . If J ( C ) c 1 x = 0 , then c 1 x Soc A C and c 1 x C ; otherwise, we take an element c 2 J ( C ) such that c 2 c 1 x 0 , and so on. Since the radical J ( A ) of the right perfect or left ring A is a T-nilpotent right or left and elements c i are central, this process stops at some finite step.
b.
By a, it is sufficient to prove the relation Soc A C C which is equivalent to the property that M C for any minimal right ideal M. By assumption, M C 0 and the ring A / J ( A ) is commutative by assumption; therefore, we have a b b a J ( A ) , for all a , b A . For every m M C , we have m ( a b b a ) = 0 . On the other hand, since m C , we have
( m a ) b = m b a = b ( m a ) , m a C .
In addition, m a M . Consequently, M C is a non-zero right ideal of the ring A. Since M is a minimal right ideal, M C = M and M C . Therefore, Soc A C = Soc A A C .
Remark 8.
In Theorem 4, we cannot omit the condition that R is right or left perfect since every non-commutative local domain (for example, the formal power series ring in one variable over the Hamiltonian quaternion division ring) satisfies all remaining conditions of this theorem but this ring is not centrally essential.
Lemma 2.
Let A be a semiprime ring and let S = Soc A A be the right socle. If S is an essential right ideal of the ring A and s t = t s for all s , t S , then the ring A is commutative.
Proof. 
We prove the following property ( ) of our ring A:
If e = e 2 A and e A is a minimal right ideal, then the idempotent e is central. Indeed, let a A . Since S is an ideal, a e S . By assumption,
e a e = e · a e = a e · e = a e .
Similarly, e a = e a e = a e and the idempotent e is central.
We prove that a b b a = 0 for any elements a , b A . We assume that a b b a 0 . It is well known that every minimal right ideal of a semiprime ring is generated by an idempotent. Since S is an essential right ideal and is generated, by the above, by idempotents, S ( a b b a ) A 0 and e ( a b b a ) 0 for some idempotent e A . Then e a b e b a and ( e a ) ( e b ) = ( e b ) ( e a ) by assumption.
By properties ( ) , the idempotent e is central. Then
e a b = e e a b = e a e b = e b e a = e b a ;
this is a contradiction. Therefore, A is commutative. □
Lemma 3.
Let A be a centrally essential ring and let P be a semiprime nil-ideal of the ring A such that the right socle S / R of the ring A / P is an essential right ideal of the ring A / P . Then the ring A / P is commutative.
Proof. 
We use the following well-known facts.
a.
In any semiprime ring R, the set of all minimal right ideals coincides with the set of all minimal left ideals and this set coincides with the set of all right ideals e R such that e = e 2 and e R e is a division ring; in addition, Soc R R = Soc R R .
b.
If R is a ring and P is a nil ideal of the ring R, then every idempotent e ¯ of the ring R / P is of the form e + P , where e = e 2 R .
Let h : A A / P be the natural epimorphism. For every subset X in A, we write X ¯ instead of h ( X ) . By a, there exists an ideal S of the ring A such that P S and Soc A ¯ A ¯ = Soc A ¯ A ¯ .
First, we show that the ideal S ¯ is commutative. By a and b, any minimal left ideal V of the ring A ¯ is generated by some primitive idempotent e ¯ , which is of the form e ¯ = e + P for some primitive idempotent e of the ring A. By Proposition 3, the idempotent e is central. Therefore, V is an ideal of A ¯ , e A and ( 1 e ) A are ideals in A, and A = e A ( 1 e ) A . Therefore, the ring e A is centrally essential. In addition, e ¯ A ¯ e ¯ = e ¯ A ¯ = V and V = ( e A + P ) / P e A / ( P e A ) . Therefore, J ( e A ) P e A . However, P is a nil ideal, whence P e A J ( e A ) and P e A = J ( e A ) . By Theorem 2, ring V is commutative. Therefore, Soc ( A ¯ ) is a commutative ring, as a direct sum of commutative rings. In addition, Soc ( A ¯ ) is an essential right ideal of the semiprime ring A ¯ . Then A ¯ is commutative by Lemma 2. □
Theorem 5.
If A is a centrally essential, left or right semi-Artinian ring, then A / J ( A ) is a commutative (von Neumann) regular ring.
Proof. 
Let A be a centrally essential semi-Artinian right or left ring and A ¯ = A / J ( A ) . Since A is a right or left semi-Artinian ring, J ( A ) is a nil ideal by [29] [Proposition 3.2]. By Lemma 3, ring A / J ( A ) is commutative. Every commutative semi-Artinian semiprimitive ring is von Neumann regular by [29] [Theorem 3.1]. □

3. Graded Rings and Grassmann Algebras

Section 3.1 and Section 3.2 are based on [9].

3.1. Graded Rings

Let ( S , + ) be a semigroup. A ring A is said to be S-graded if A is a direct sum of additive subgroups A s , s S , and A s A t A s + t for any elements s , t S .
For any s S , elements of the subgroup A s are called homogeneous elements of degree s.
If S = N { 0 } , then S-graded rings are called graded rings. It is directly verified that the identity element of a graded ring is contained in the subgroup A 0 . On an arbitrary graded ring A = n N { 0 } A n , we can define Z 2 -graduation:
A = A ( 0 ) A ( 1 ) , where A ( i ) = k N { 0 } A 2 k + i , i { 0 , 1 } .
One says that a graded ring A = n N { 0 } A n is generalized anti-commutative if for any integers m , n N { 0 } and arbitrary elements x A m and y A n , the relation y x = ( 1 ) m n x y holds.
If the graded ring A = n N { 0 } A n satisfies the condition
m , n N { 0 } , A m + n 0 A m 0 & x A m \ { 0 } , x A n 0 ,
then one says that R is a homogeneously faithful ring.
Proposition 9.
In any graded ring A = n N { 0 } A n , the relation Z ( A ) = n N { 0 } ( A n Z ( A ) ) holds.
Proof. 
The inclusion n N { 0 } ( A n Z ( A ) ) Z ( A ) is obvious.
Let x = x 0 + x 1 + . . o t s x n Z ( A ) , where x i A i , i = 0 , 1 , . . o t s , n . If y A m for some m N { 0 } , then 0 = [ x , y ] = [ x 0 , y ] + . . o t s + [ x n , y ] and summands of the last sum are contained in distinct direct summands A m , A m + 1 , . . o t s , A m + n . Therefore, [ x i , y ] = 0 for any homogeneous element y and of all i = 0 , 1 , . . o t s , n . Then x i Z ( A ) since any element of the ring is a sum of homogeneous elements. □
Remark 9.
If S is a commutative cancellative semigroup, then the proof below remains true for every S-graded ring.
Proposition 10.
Let A = n N { 0 } A n be a graded generalized anti-commutative homogeneously faithful ring which does not have additively 2-torsion elements. If there exists an odd positive integer n such that A n 0 and A n + 1 = 0 , then Z ( A ) = A ( 0 ) + A n . Otherwise, Z ( A ) = A ( 0 ) .
Proof. 
It follows from the generalized anti-commutativity relation that A ( 0 ) Z ( A ) . The following property follows from (2):
if such an integer n exists, then A m = 0 for m > n and A m 0 for 0 m n ; in addition, if x A n and y = y 0 + z A , where y 0 A 0 and z m > 0 A m , then [ x , y ] = [ x , y 0 ] = 0 , i.e., A n Z ( A ) . Conversely, let x Z ( A ) . By Proposition 9, we can assume that x is a homogeneous element of odd degree i. Let x 0 and A i + 1 0 . Then it follows from (2) that there exists an element y A 1 such that x y 0 . We obtain that 0 = [ x , y ] = 2 x y ; this is a contradiction. Therefore, either x = 0 or x 0 but A i + 1 = 0 , i.e., i = n . □
Theorem 6.
Let A = n N { 0 } A n be a graded generalized anti-commutative homogeneously faithful ring without additively 2-torsion elements. Ring A is centrally essential if and only if either A = A 0 or there exists an odd positive integer n such that A n 0 and A n + 1 = 0 .
Proof. 
Let A be a centrally essential ring, C = Z ( A ) , and let A A 0 . By (2), we have A 1 0 . We take an element x A 1 \ { 0 } and assume that such an integer n does not exist. By Remark 9, we have C = A ( 0 ) and x C A ( 1 ) , whence x C C A ( 1 ) A ( 0 ) = 0 ; this is a contradiction.
Conversely, if A = A 0 , then C = A since ring A 0 is commutative. We assume that there exists an odd positive integer n such that A n 0 and A n + 1 = 0 . Let 0 x A \ C . We have x = x 0 + . . o t s + x n , where x i A i , and we take the least odd positive integer m such that x m 0 . It is clear that 1 m n . We set k = n m and take an element y A k such that x m y 0 . It is clear that y C . In addition, x y is a sum of homogeneous elements of even degree, and the element x m y of odd degree n. Therefore, x y C by Remark 9 and x y 0 . □

3.2. Grassmann Algebras over Fields

Let F be a field of characteristic 0 or p > 2 , V = F n be a vector space over F of dimension n > 0 , and let Λ ( V ) be the Grassmann algebra of the space V [21] [§III.5] which is defined as a unital F-algebra with respect to multiplication operation ∧ with generators e 1 , . . o t s , e n and defining relations e i e j + e j e i = 0 for all i , j { 1 , . . o t s , n } .
The algebra Λ ( V ) has a natural graduation:
Λ ( V ) = p N { 0 } Λ p ( V ) ,
where Λ p ( V ) , 1 p n , is a vector space with basis
{ e i 1 . . o t s e i p : 1 i 1 < . . o t s < i p n } ,
Λ 0 ( V ) = F and Λ p ( V ) = 0 for p > n .
It is well known that Grassmann algebras are generalized anti-commutative.
Proposition 11.
The graded algebra R = Λ ( V ) is a homogeneously faithful ring.
Proof. 
Let p , q { 0 , . . o t s , n } and p + q n . If p q = 0 , then the condition (2) holds. Now let 0 < p < n and 0 x R p . We take a basis element e i 1 . . o t s e i p , which has a non-zero coefficient in the representation of x. Since p + q n , there exist subscripts j 1 , . . o t s , j q { 1 , . . o t s , n } such that 1 j 1 < . . o t s < j q n and { i 1 , . . o t s , i p } { j 1 , . . o t s , j q } = . We set y = e j 1 . . o t s e j q and note that the basis element ± e i 1 . . o t s e i p e j 1 . . o t s e j q of the space Λ p + q ( V ) has the non-zero coefficient in the representation of the element x y , since products of remaining basis elements of the space Λ p ( V ) by the element y are equal to either 0 or ±other basis elements of the space Λ p + q ( V ) . □
Theorem 7.
Let F be a field of characteristic 0 or p > 2 and let V be a finite-dimensional vector F-space. The Grassmann algebra Λ ( V ) of the space V is a centrally essential ring if and only if V is of an odd dimension.
Theorem 7 follows from Propositions 11 and 10.
If F is a finite field of odd characteristic and dim V is an odd positive integer exceeding 1, then Λ ( V ) is a centrally essential non-commutative finite ring. Thus, if F is the finite field of order 3 and Λ ( V ) is an 8-dimensional F-algebra with basis
{ 1 , e 1 , e 2 , e 3 , e 1 e 2 , e 1 e 3 , e 2 e 3 , e 1 e 2 e 3 } ,
then Λ ( V ) is a centrally essential non-commutative finite ring of order 3 8 .
Example 4.
If R is a centrally essential ring and B is a proper ideal of ring R generated by some infinite set of central idempotents and the factor ring R / B does not have non-trivial idempotents, then ring R / B is not necessarily centrally essential.
Let F be a field of order three, A = Λ ( F 3 ) be the Grassmann algebra of the three-dimensional vector F-space F 3 , and let S = Λ ( F 2 ) be the Grassmann algebra of two-dimensional vector F-of the space F 2 considered a subalgebra of algebra A. We consider the direct product P = A N = { ( a 1 , a 2 , . . o t s ) | a i A } of countable set of copies of ring A and its subring R consisting of all eventual constant sequences ( a 1 , a 2 , . . o t s ) P which stabilize at a finite step on elements of S depending on the sequence.
Let e i be a central idempotent which has the identity element of the field F on the i-th position and zeros on remaining positions. We denote by B the ideal of the ring R generated by all idempotents { e i } . It follows from Theorem 7 that R is a centrally essential ring and the factor ring R / B is isomorphic to ring S, which is not centrally essential and does not have non-trivial idempotents.

3.3. Grassmann Algebras over Rings

This subsection is based on [10].
Let A be a not necessarily commutative ring with center C = Z ( A ) and let A n be a finitely generated free module of rank n. We define the algebra Λ ( A n ) of the module A n . Namely, Λ ( A n ) = A C Λ ( C n ) , where Λ ( C n ) is the Grassmann algebra of the free module C n over the commutative ring C; see [21] [§III.5].
Let { e 1 , . . o t s , e n } be a basis of the module C n . For all x Λ ( C n ) , we identify 1 x with x and obtain that the set
B n = { e i 1 . . o t s e i s | 0 s n , 1 i 1 < . . o t s < i s n }
is a basis of the A-module Λ ( A n ) (we assume that the product is equal to 1 for s = 0 ). It is clear that the ring R = Λ ( A n ) has a natural graduation R = s 0 R s , where R 0 = A , R s = 1 i 1 < . . o t s < i s n A e i 1 . . o t s e i s for 1 s n , and R s = 0 for s > n .
Theorem 8.
For positive integer n and a ring A with center C = Z ( A ) , the ring Λ ( A n ) is centrally essential if and only if A is centrally essential and at least one of the following conditions holds.
(a)
n is an odd integer.
(b)
The ideal Ann A ( 2 ) is an essential submodule of the module A C .
Proof. 
We set R = Λ ( A n ) . Let R be centrally essential.
Let a A \ { 0 } and a = a e 1 . . o t s e n . Then 0 a R . Therefore, there exists an element c Z ( R ) such that 0 c a Z ( R ) . We have c = c 0 + c , where c 0 A , and c s > 0 R s . It is directly verified that c 0 Z ( A ) = Z ( R ) R 0 . In addition, it is clear that c a = c 0 a = c 0 a e 1 . . o t s e n , whence we have c 0 a 0 . For every b A , we have
0 = [ b , c 0 a e 1 . . o t s e n ] = [ b , c 0 a ] e 1 . . o t s e n ,
whence c 0 a Z ( A ) , i.e., A is a centrally essential ring.
We assume that the ideal Ann A ( 2 ) is not an essential submodule of the module A C and n is an even integer.
We take an element a A such that a 0 and C a Ann A ( 2 ) = 0 . We consider the element x = a e 2 . . o t s e n .
Let c Z ( R ) and 0 c x Z ( R ) . We have c = c 0 + c 1 e 1 + c , where c is a linear combination of elements of the basis B n , which are equal to 1 and e 1 . It is clear that c 0 , c 1 C and c x = c 0 a e 2 . . o t s e n + c 1 a e 1 . . o t s e n , where both summands are contained in the center of the ring R.
We prove that c 0 a = 0 . Indeed,
0 = [ e 1 , c 0 a e 2 . . o t s e n ] = c 0 a e 1 . . o t s e n c 0 a e 2 . . o t s e n e 1 =
= c 0 a ( 1 ( 1 ) n 1 ) e 1 . . o t s e n = 2 c 0 a e 1 . . o t s e n ,
whence c 0 a Ann A ( 2 ) C a = 0 by the choice of a. Then c 1 a 0 and c 1 e 1 Z ( R ) . However c 1 C , 0 = [ c 1 e 1 , e 2 ] = 2 c 1 e 1 e 2 . Then c 1 a C a Ann A ( 2 ) = 0 . This is a contradiction.
Now we assume that A is centrally essential, and at least one of the above conditions (a) or (b) holds.
Let (a) hold. We set N = Ann C ( 2 ) = C Ann R ( 2 ) . We note that N is an essential submodule in A C . We consider an arbitrary non-zero element x R . We have
x = s = 0 n 1 i 1 < . . o t s < i s n a i 1 , . . o t s , i s e i 1 . . o t s e i s ,
where coefficients a i 1 , . . o t s , i s are contained in A. We can multiply x by elements C Z ( R ) and obtain a situation, where all coefficients in representation of x are contained in N. Indeed, if some coefficient a i 1 , . . o t s , i s is not contained in N, then there exists an element c C such that 0 c a i 1 , . . o t s , i s N , i.e., under multiplication by c, the number of coefficients, contained in N, decreases. It remains to be noted that x Z ( R ) if all coefficients of their representation of x are contained in N. Indeed, [ x , a ] = 0 for any a A , since N Z ( A ) and
[ x , e i ] = s = 0 n i 1 < . . o t s < i s a i 1 , . . o t s , i s [ e i 1 . . o t s e i s , e i ] .
We note that if the number s is even or i { i 1 , . . o t s , i s } , then [ e i 1 . . o t s e i s , e i ] = 0 . Otherwise,
[ e i 1 . . o t s e i s , e i ] = α e i 1 . . o t s e i s e i ,
where α { 0 , 2 } , i.e., we have [ a i 1 , . . o t s , i s e i 1 . . o t s e i s , e i ] = 0 . Since elements of the ring A and e 1 , . . o t s , e n generate the ring R, we have x Z ( R ) , which is required.
Now we assume that condition (b) holds. We consider an arbitrary non-zero element x R . By repeating the argument from the previous case, we can use multiplication by elements of C to obtain such a situation that all coefficients x with respect to the basis B n are contained in C.
We take the least odd k such that the element e i 1 . . o t s e i k of the basis B n is contained in the representation of x with non-zero coefficient a (if this is impossible, then x Z ( R ) ). Let
m = n k , { j 1 , . . o t s , j q } = { 1 , . . o t s , n } \ { i 1 , . . o t s , i k } .
It is clear that integer m is even, whence c = e j 1 . . o t s e j m Z ( R ) . Then, it is directly verified that c x = ± a e 1 . . o t s e n + x , where x is a linear combination of elements of the basis B n with even degree s and coefficients in C. Therefore, we repeat the argument from the previous case and obtain that x Z ( R ) . Finally, it is directly verified that a e 1 . . o t s e n Z ( R ) . The assertion is proved. □
Lemma 4.
If A is a ring of finite characteristic s and C = Z ( A ) , then the following conditions are equivalent.
(a)
The ideal Ann A ( 2 ) is an essential submodule of the module A C .
(b)
s = 2 m for some m N .
Proof. 
(a) ⇒ (b). We assume the contrary. Then there exists an odd prime integer p dividing s. The non-zero ideal Ann A ( p ) of the ring A has the zero intersection with the ideal Ann A ( 2 ) . Therefore, the ideal Ann A ( 2 ) is not an essential submodule of the module A C . This is a contradiction.
(b) ⇒ (a). Since s = 2 m , we have that for every a A \ { 0 } , the relation ord a = 2 k holds for some k N . Then 0 2 k 1 a C a Ann A ( 2 ) . Therefore, the ideal Ann A ( 2 ) is an essential submodule of the module A C . □
If A is a ring of finite of characteristic or A does not have zero divisors, then the formulation of Theorem 8 can be simplified; see Theorem 9.
Theorem 9.
Let A be a ring with center C = Z ( A ) and let n be a positive integer.
The ring Λ ( A n ) is centrally essential if and only if A is centrally essential and at least one of the following conditions holds.
a.
If A is a ring of finite characteristic s (this is the case if the ring A is finite), then ring Λ ( A n ) is centrally essential if and only if ring A is centrally essential and at least one of the following conditions holds.
  • n is an odd integer.
  • s = 2 m for some m N .
b.
If A is a domain, then the ring Λ ( A n ) is centrally essential if and only if the ring A is centrally essential and at least one of the following conditions holds.
  • n is an odd integer.
  • A is a ring of characteristic 2
Proof. 
We set R = Λ ( A n ) .
1.
The assertion follows from Theorem 8 and Lemma 4.
2.
If A is a ring of characteristic 2 or n is an odd integer, then R is a centrally essential ring by a.
Now we assume that A is a domain and ring R is centrally essential. By Theorem 8, ring A is centrally essential and it is sufficient to consider the case, where n is an even integer and ideal Ann A ( 2 ) is an essential submodule of the module A C . Since A is a domain, Ann A ( 2 ) = A . Therefore, A is a ring of characteristic 2. □

4. Constructions of Rings

4.1. Polynomials, Series and Fractions

Section 4.1 is based on [15].
For arbitrary finite subset S of the monoid G and any ring A, we denote by Σ S the element x S x of the monoid ring A G . For any element r = g G a g · g A G , we say that the set { g G | a g 0 } is the support of the element r; we denote this set by supp ( r ) .
Proposition 12.
If A is a centrally essential ring and G is a commutative monoid, then the monoid ring R = A G is centrally essential.
Proof. 
For any non-zero element r = g G r g · g R , let
k ( r ) = | { g G | r g Z ( A ) } | .
It is clear that k ( r ) | supp ( r ) | < . With the use of the induction on k, we prove that for k ( r ) = k , there exist non-zero central elements x and y such that r x = y .
If k = 0 then r g Z ( A ) for all g G and, therefore, r Z ( R ) .
Otherwise, if k > 0 and k ( r ) = k , then we can take an element h G with r h Z ( A ) . Since the ring A is centrally essential, there exist non-zero central elements x and y with x r h = y . It is clear that 0 x r = g G x r g · g and k ( x r ) < k ( r ) . By the induction hypothesis, there exist non-zero central elements u and v of the ring R such that u x r = v . Since u x Z ( R ) , the proof is completed. □
The following assertion is a corollary of Proposition 12.
Corollary 2.
For any centrally essential ring A, the polynomial ring A [ x ] and the polynomial Laurent ring A [ x , x 1 ] are centrally essential.
Remark 10.
Let A be a centrally essential ring, Q be the ring of fractions of the ring A with respect to some central multiplicative system S consisting of non-zero-divisors, and let 0 s 1 a = a s 1 Q , s S . By assumption, there exist non-zero central elements x , y A with a x = y . Then 0 a s 1 x = s 1 y is a central element of the ring Q and the ring Q is centrally essential. If Q is a centrally essential ring, then it is similarly proved that A is a centrally essential ring.
Remark 11.
Since the formal Laurent series ring A ( ( x ) ) is the ring of fractions of the ring formal power series A [ [ x ] ] with respect to the central multiplicative system { x k } k = 0 , it follows from Remark 10 that the ring A ( ( x ) ) is centrally essential if and only if the ring A [ [ x ] ] is centrally essential.
Proposition 13.
If R is a finite-dimensional centrally essential algebra, then the formal power series ring R [ [ x ] ] is centrally essential.
Proof. 
It is sufficient to prove that the ring R [ [ x ] ] is isomorphic to F [ [ x ] ] R . First, we prove the injectivity of a natural homomorphism φ : F [ [ x ] ] R R [ [ x ] ] defined by the relation φ ( f ( x ) r ) = f ( x ) r for every f ( x ) F [ [ x ] ] and r R . Indeed, every element of the algebra F [ [ x ] ] R can be represented in the form r = i = 1 n f i ( x ) r i , where f 1 ( x ) , . . o t s , f n ( x ) F [ [ x ] ] , r 1 , . . o t s , r n are linearly independent elements of the algebra R (for example, { f 1 ( x ) , . . o t s , f n ( x ) } can be subset of some fixed finite or infinite of the basis for R). By assuming f i ( x ) = j = 0 x j α i j for some α i j F , we have that φ ( r ) = i = 1 n ( j = 0 x j α i j ) r i = j = 0 x j ( i = 1 n α i j r i ) . Therefore, if φ ( r ) = 0 , then for all j 0 , we have i = 1 n α i j r i = 0 , whence we have α i j = 0 and f i ( x ) = 0 for all i = 1 , . . o t s , n ; consequently r = 0 .
If R is a finite-dimensional algebra with basis r 1 , . . o t s , r n , then for any series f ( x ) = j = 0 x j t j with coefficients t j R , we have t j = i = 1 n α i j r i , whence
f ( x ) = j = 0 x j ( i = 1 n α i j r i ) = i = 1 n ( j = 0 x j α i j ) r i φ ( F [ [ x ] ] R ) .
Theorem 10.
If R is a finite-dimensional centrally essential algebra, then the following conditions are equivalent.
(1)
Ring R is centrally essential.
(2)
Power series ring R [ [ x ] ] is centrally essential.
(3)
Ring Laurent series R ( ( x ) ) is centrally essential.
Proof. 
The implication (1) ⇒ (2) follows from Proposition 13.
The implication (2) ⇒ (1) is directly verified.
The equivalence (2) ⇔ (3) follows from Remark 11. □

4.2. Group Rings

Section 4.2 is based on [15].
Let R be a ring and let G be a group. We set ( x , y ) = x 1 y 1 x y for any elements x , y of the group G; additive commutators and multiplicative commutators are denoted differently, since elements of the group are considered as elements of the group ring, as well. For any element g of the group G, we denote by g G the class of conjugated elements which contains g. For the group G, the upper central series of the group G is a chain of subgroups { 1 } = Z 0 ( G ) Z 1 ( G ) . . o t s , where Z i ( G ) / Z i 1 ( G ) is the center of the group G / Z i 1 ( G ) , i 1 . We denote by NC ( G ) the nilpotence class of the group G, i.e., the least positive integer n with Z n ( G ) = G (if it there exists a).
A group G is called an F C -group if all classes of conjugated elements in G are finite.
Proposition 14.
Let A be a ring and G be a group. If the group ring R = A G is centrally essential, then A also is a centrally essential ring and the group G is an F C -group.
Proof. 
Let 0 a A . Since A R and R is centrally essential, there exists an element c Z ( R ) such that 0 c a Z ( R ) . We have c = g G c g · g and c a = g G c g a · g . It follows from relations 0 = [ c , b ] = g G [ c g , b ] · g for any b A that c g Z ( A ) for all g G . Similarly, we have c g a Z ( A ) for any g G . Since there exists at least one element g G with c g a 0 , we obtain our assertion on the ring A.
Now let g be an arbitrary element of the group G. It is well known (e.g., see [30] [Lemma 4.1.1]) that Z ( A G ) is a free Z ( A ) -module with basis
{ Σ K | K   is   a   f i n i t e   c l a s s   o f   c o n j u g a t e d   e l e m e n t s   i n   G } .
In particular,
r Z ( A G ) | g G | < for any g supp ( r ) .
Since A G is centrally essential, 0 c g = d for some c , d Z ( A G ) . By comparing coefficients in the left part and the right part of the relation c g = d , we obtain that for any y supp ( d ) , there exists an element x supp ( c ) such that x g = y . For any h G , we have h g h 1 = ( h x h 1 ) 1 h y h 1 , whence g G ( x 1 ) G · y G . Since | ( x 1 ) G | = | x G | , we have that | g G | | x G | · | y G | < , by (4). □
Lemma 5.
Let G be a group, F be a field of characteristic p > 0 , and let q be a prime integer which is not equal to p. If the ring F G is centrally essential, then every q-subgroup in G is a normal commutative subgroup.
Proof. 
First, let H be a finite q-subgroup of the group G. Then | H | = n = q k is a non-zero element of the field F and the element e H = 1 n Σ H is an idempotent of the ring F G . By Proposition 3, e H is a central idempotent. Consequently, g e H g 1 = 1 n h H g h g 1 = 1 n h H h for any g G . By comparing coefficients in the both parts of the last relation, we see that g h g 1 H , i.e., the subgroup H is normal.
Let F 0 be a prime subfield of the field F. We consider the finite ring F 0 H . By the Maschke theorem, it is isomorphic to some finite direct product of matrix rings over division rings; in addition, any finite division ring is a field by the Wedderburn theorem. We assume that the group H is not commutative. Then one of the summands of the ring F 0 H is the matrix ring of order k > 1 over some field; this is impossible since such a matrix ring contains a non-central idempotent.
Now let H be an arbitrary q-subgroup in G. We take any element h H and an arbitrary element g G . Since h generates a cyclic q-subgroup H 0 = h , we have g h g 1 H 0 H for any g G , i.e., the subgroup H normal.
If x , y H , then the subgroup H 1 = x , y is finite by Proposition 14. and the following Dicman’s lemma:
If x 1 , . . o t s , x n are elements of finite order of an arbitrary group G and each of the elements x 1 , . . o t s , x n has only a finite number of conjugated elements, then there exists a finite normal subgroup N of the group G containing x 1 , . . o t s , x n (see [24] [Lemma C, Appendixes]).
By the first part of the proof, the subgroup H 1 is commutative, therefore, x y = y x . □
In the case of finite groups, we have a more strong assertion which reduces the study of centrally essential group algebras of finite groups to the study of centrally essential group algebras of finite p-groups.
Proposition 15.
Let | G | = n < and let F be a field of characteristic p > 0 . Then the following conditions are equivalent.
(1)
The ring F G is centrally essential.
(2)
G = P × H , where P is the unique Sylow p-subgroup of the group G, the group H is commutative, and the ring F P is centrally essential.
Proof. 
Let F G be centrally essential. By Lemma 5, every Sylow q-subgroup for q p is normal in G and it is commutative; consequently, the product H of all such subgroups is a commutative normal subgroup. Let m = | H | . We note that ( m , p ) = 1 , whence the element m is invertible in F.
We prove that the Sylow p-subgroup P is normal in G.
We consider the following linear mapping f : R R :
f ( r ) = 1 m h H h r h 1 .
It is clear that f ( 1 ) = 1 and f ( y r y 1 ) = f ( r ) for any y H since the left part and right part of the relation contain equal summands. Now we assume that x y y x for some x P and y H . We set r = x y x y 1 . It is directly verified that r 0 but f ( r ) = f ( x ) f ( y x y 1 ) = 0 ; this contradicts Proposition 4. Therefore, elements of P and H commute, G = P H and P H = { 1 } ; consequently, G = P × H . By considering F G as the group ring ( F P ) H , we obtain from Proposition 14 that F P is centrally essential.
The converse assertion directly follows from Proposition 12 and the isomorphism F G ( F P ) H . □
Proposition 16.
Let G be a finite p-group and let F be a field of characteristic p. If NC ( G ) 2 , then ring F G is centrally essential.
Proof. 
We recall that for any subgroup H of G, we denote by ω H the right ideal of the ring F G generated by the set { 1 h | h H } ; we also recall that this right ideal is an ideal if and only if the subgroup H is normal. It is well known (e.g., see [30] [Lemma 3.1.6]) that the ideal ω G is nilpotent in our case.
Let 0 x F G . We consider all products x ( 1 z ) , where z Z = Z ( G ) . If at least one of them (say, x 1 = x ( 1 z 1 ) ) is non-zero, then we consider the product x 1 ( 1 z ) and so on. This process terminates at some step, i.e., there exists an integer k 0 such that x k 0 but x k ω Z = 0 (we assume that x 0 = x ). Then x k F G Σ Z (see [30] [Lemma 3.1.2]). We note that F G Σ Z Z ( F G ) . Indeed, if g , h G , then
[ g , h Σ Z ] = [ g , h ] Σ Z = g h ( 1 h 1 g 1 h g ) Σ Z = 0 ,
Since h 1 g 1 h g G Z . Therefore, by setting c = ( 1 z 1 ) . . o t s ( 1 z k ) (or c = 1 for k = 0 ), we obtain c Z ( F G ) and x c = x k Z ( F G ) \ { 0 } , which is required. □
Lemma 6.
Let F be a field of characteristic p and let G be a finite p-group, which satisfies the following condition:
( ) for any element g G \ Z ( G ) , there exists a non-trivial subgroup H Z ( G ) such that H g g G .
If NC ( G ) > 2 , then the ring R = F G is not centrally essential.
Proof. 
Let K = g G be a class of conjugated elements of the group G such that | K | > 1 , and let H be a subgroup that satisfies ( ) . We note that H g K for any g K , since g = a 1 g a for some a G and H g = H a 1 g a = a 1 H g a a 1 K a = K . Let H x 1 , . . o t s , H x t be all distinct cosets for G with respect to H contained in K. Then K is a disjoint union of these cosets, whence Σ K = i = 1 t Σ H x i . Now we note that ( Σ Z ) h = Σ Z for any h H since H Z ; therefore, Σ Z · Σ H = | H | Σ Z = 0 . Then we obtain that
Σ Z Σ K = i = 1 t Σ Z · Σ H · x i = 0 .
Next, if NC ( G ) > 2 , then there exists an element g G \ Z 2 ( G ) . This means that there exists an element a G such that ( g , a ) Z . We consider element x = g Σ Z 0 . We have
[ a , x ] = [ a , g Σ Z ] = ( a g g a ) Σ Z = a g ( 1 ( g , a ) ) Σ Z 0 ,
since 1 ( g , a ) ω Z . Consequently, x C = Z ( R ) . With the use of the basis (3), an arbitrary element c C can be represented in the form c = c 0 + c 1 , where c 0 F Z , c 1 = i = 0 s α i Σ K i , K 1 , . . o t s , K s are classes of conjugated elements of the group G, | K i | > 1 and α i F for all i = 1 , . . o t s , s . We assume that x c Z ( R ) . By (5), we have x c 1 = 0 , whence x c = x c 0 . Since ( Σ Z ) z = Σ Z for any z Z , we obtain that x c 0 = α x for some α F . If α 0 , then x C ; this is a contradiction. We obtain that x C C = 0 . □
Lemma 7.
Let G be a group. If the centralizer C G ( Z 2 ( G ) ) of the subgroup Z 2 ( G ) is contained in Z 2 ( G ) , then G satisfies condition ( ) of Lemma 6.
Proof. 
Let g be an element of G \ Z ( G ) . We assume that there exists an element a G such that
( g , a ) Z ( G ) { 1 } .
Let z = ( g , a ) . Then g z = a 1 g a g G , whence g z k = a k g a k g G for any k 1 . Therefore, the subgroup H, generated by z, satisfies (6).
Now we consider two cases. If g Z 2 ( G ) \ Z ( G ) , then there exists an element a G such that ( g , a ) 1 . However, it follows from the definition of Z 2 ( G ) that ( g , a ) Z ( G ) , whence (6) is true.
It remains to consider the case g Z 2 ( G ) . In this case, g Z ( Z 2 ( G ) ) , whence there exists an element a Z 2 ( G ) such that z = ( g , a ) 1 . However z Z 1 ( G ) , since a Z 2 ( G ) , we obtain (6). □
Remark 12
(A.Yu. Olshansky). There exists another series of groups which satisfies the conditions of Lemma 7. Namely, let p be a prime integer and let G be a free 3-generated group of the variety defined by identities x p = 1 and ( x 1 , x 2 , x 3 , x 4 ) = 1 . Then G / G is an elementary Abelian p-group; therefore, G is the Frattini subgroup of the group G. If g G , then we can include g G in a system of free generators of the group G / G ; consequently, the element g can be included in a system consisting of three generators of the group G. Since group G is finite, this generator system is free. Therefore, if g C G ( G ) , then G satisfies the identity ( x 1 , x 2 , x 3 ) = 1 ; this is impossible, since the group G can be homomorphically mapped onto the group of upper uni-triangular matrices of order 4 over G F ( p ) , which does not satisfy this identity. Therefore, Z 2 ( G ) G C G ( G ) C G ( Z 2 ( G ) ) .
Proposition 17.
If F is a field of characteristic p > 0 , then there exists a group G of order p 5 such that the group algebra F G is not centrally essential.
Proof. 
We construct the group which satisfies the conditions of Lemma 7. We consider cases p = 2 and p 2 separately.
Let p = 2 . We consider the direct product N of the quaternion group Q 8 = { ± 1 , ± i , ± j , ± k } and the cyclic group a of order 2 with generator a, we also consider the automorphism α of the group N defined on generators by relations α ( i ) = j , α ( j ) = i , α ( a ) = ( 1 ) a . We set Γ = α . We have the semidirect product G = N Γ whose elements are considered as products x γ , where x N and γ α and the operation is defined by the relation x γ x γ = x γ ( x ) γ γ . Elements of the form x · 1 are naturally identified with elements x N and elements of the form 1 · γ identified with elements γ Γ . It is directly verified that Z 1 ( G ) = 1 , Z 2 ( G ) = k , a = C G ( Z 2 ( G ) ) .
Now we assume that p > 2 . We consider the semidirect product N = A Γ of the elementary Abelian group A of order p 3 with generators a , b , c and the cyclic group Γ = γ , where γ is an automorphism of the group A defined on generators by relations
γ ( a ) = a , γ ( b ) = b , γ ( c ) = b c .
It is directly verified that | N | = p 4 and any element of the group N can be uniquely represented as the product a k b l c m γ r , where k , l , m , r { 0 , . . o t s , p 1 } . We prove that mapping β : { a , b , c , γ } N defined by relations
β ( a ) = a , β ( b ) = b , β ( c ) = a c , β ( γ ) = a b c γ ,
can be extended to an automorphism β ^ of the group N. Indeed, for any k , l , m , r Z , we set
β ^ ( a k b l c m γ r ) = a k b l a m c m a r b r ( c γ ) r = a k + m + r b l + r ( r + 1 ) 2 c m + r γ r .
This definition is correct since p | r ( r + 1 ) 2 if p | r . It is directly verified that for any k , l , m , r , k , l , m , r { 0 , . . o t s , p 1 } , relations
a k b l c m γ r · a k b l c m γ r = a k + k b l + l + r m c m + m γ r + r
hold. Consequently,
β ^ ( a k b l c m γ r · a k b l c m γ r ) =
= a k + k + m + m + r + r b l + l + r m + ( r + r ) ( r + r + 1 ) 2 c m + m + r + r γ r + r .
On the other hand,
β ^ ( a k b l c m γ r ) · β ^ ( a k b l c m γ r ) =
= ( a k + m + r b l + r ( r + 1 ) 2 c m + r γ r ) · ( a k + m + r b l + r ( r + 1 ) 2 c m + r γ r ) =
= a k + m + r + k + m + r b l + r ( r + 1 ) 2 + l + r ( r + 1 ) 2 + r ( m + r ) c m + r + m + r γ r + r .
It remains to note that we have the following identity
l + r ( r + 1 ) 2 + l + r ( r + 1 ) 2 + r ( m + r ) =
= l + l + r m + r r + r 2 + r + r 2 + r 2 = l + l + r m +
+ r 2 + 2 r r + r 2 + r + r 2 = l + l + r m + ( r + r ) ( r + r + 1 ) 2
Now we set G = N β . It is directly verified that Z 1 ( G ) = a , b and Z 2 ( G ) = a , b , c = C G ( Z 2 ( G ) ) . □
Theorem 11.
Let F be a field of characteristic p > 0 .
a.
If G is an arbitrary finite group, then the group algebra F G is a centrally essential ring if and only if G = P × H , where P is the unique Sylow p-subgroup of the group G, the group H is commutative, and the ring F P is centrally essential.
b.
If G is a finite p-group and the nilpotence class(it is well known that every finite p-group is nilpotent, for example, see [19] [Theorem 10.3.4]) of the group G does not exceed 2, then group algebra F G is a centrally essential ring.
c.
There exists a group G of order p 5 such that the group algebra F G is centrally essential.
Proof. 
Theorem 11 follows from Proposition 15, Proposition 16 and Proposition 17. □
Remark 13.
a.
It is well known that a group ring A G is semiprime if and only if the ring A is semiprime and orders of finite normal subgroups of the group G are not zero-divisors in A.
b.
If A is a semiprime ring such that its additive group is torsion free and G is an arbitrary group, then the group ring A G is centrally essential if and only if the ring A and the group G are commutative. Indeed, by Theorem 1, any centrally essential semiprime ring is commutative. Therefore, Remark b follows from Remark a.
c.
Let F be an arbitrary field of zero characteristic and let G be a group G. In connection to Theorem 11, we note that the group algebra F G is centrally essential if and only if the algebra F G is commutative; see Remark b. Therefore, only the case of fields of positive characteristic is of interest under the study of centrally essential group algebras over fields.
d.
Let G be a finite p-group of nilpotence class 3. In connection to Theorem 11c, we note that group rings of G can be centrally essential and can be not centrally essential. More precisely, we used computer algebraic system GAP [31] to verify the property that for any group of order 16 and nilpotence class 3, its group algebra over a field GF ( 2 ) is centrally essential.
e.
There exists a finite 2-group G such that the group algebra R = F G over the field F of order 2 is centrally essential and contains an element x such that x 2 = 0 but x R x 0 .
Proof. 
Let G = D 4 be the dihedral group of order 8 defined by generators a , b and defining relations a 4 = b 2 = ( a b ) 2 = 1 . It is easy to verify that
G = { 1 , a , a 2 , a 3 , b , a b , a 2 b , a 3 b } , G = Z ( G ) = a 2 .
Therefore, the group algebra F G is centrally essential.
In the same time, ( 1 + b ) 2 = 1 + b 2 = 1 + 1 = 0 and
( 1 + b ) a ( 1 + b ) = a + b a + a b + b a b = 1 + a 3 + a b + a 3 b 0 .

4.3. Rings of Fractions, Group and Semigroup Rings

This subsection is based on [3,6].

4.3.1. Rings of Fractions and Group Rings

For a fixed group G, we denote by P ( G ) and G p the torsion part G and the set of elements of the group G whose orders are degrees of prime integer p, respectively. In addition, Z ( G ) is the center of the group G, K is a field of characteristic p > 0 , and K G is the group algebra of the group G over K.
For an F C -group G, it is known that G p is a characteristic subgroup in G; see, for example [30] [Lemma 8.1.6].
In Theorem 11(a), it is proved that if a group G is finite, then K G is a centrally essential ring if and only if G = G p × H , where G p is the unique Sylow p-subgroup in G and the ring K G p is centrally essential.
If G is a finitely generated F C -group, then the torsion part P ( G ) is a finite normal subgroup in G. In addition, G / P ( G ) is a finitely generated Abelian torsion-free group; see, for example [30] [Lemma 4.1.5]. Let
G / P ( G ) = a 1 ¯ × . . o t s × a n ¯ , where a i ¯ = a i P ( G ) , i = 1 , 2 , . . o t s , n .
Then G is a semidirect product G = P ( G ) F , where F = A 1 × . . o t s × A n , A i = < a i > is an infinite cyclic group, i = 1 , 2 , . . o t s , n ; see [32] [Theorem 4].
Remark 14.
Let K be a field of zero characteristic, G be any group, and let the group algebra K G be centrally essential. In Remark 13(c), it is proved that K G is commutative.
Let R be a commutative ring and let G be a torsion-free group such that the group ring R G is centrally essential. Then the ring R G is commutative. Indeed, by Proposition 14, the ring R also is centrally essential and all classes of conjugated elements in G are finite. By [30] [Lemma 4.1.6], the group G is Abelian, the group ring R G is commutative and, consequently, R G has commutative classical ring of fractions.
Remark 15.
If the group G does not have elements of order p and the group algebra K G is centrally essential, then K G is commutative.
Proof. 
It follows from [30] [Theorem 4.2.13] that K G is a semiprime algebra. Consequently, the centrally essential semiprime algebra K G is commutative by Theorem 1. □
Proposition 18.
Let R be a ring. If for any non-zero-divisor b, there exists a non-zero-divisor x such that b x = y Z ( R ) (respectively, x b = y Z ( R ) ), then R has the right (respectively, left) classical ring of fractions.
Proof. 
Let a , b R , where b is a non-zero-divisor in R. Then b ( x a ) = a ( b x ) = a y . Therefore, the ring R satisfies the right Öre condition, ( a x ) b = a ( x b ) = ( x b ) a , and the ring R satisfies the left Öre condition. □
Corollary 3.
Any centrally essential group algebra has the two-sided classical ring of fractions.
Proof. 
Since the group G is an F C -group, it follows from [30] [Lemma 4.4.4] that for any non-zero-divisor b, there exists a non-zero-divisor x K G such that x b = y Z ( K G ) ( b x = y Z ( K G ) ) and y is a non-zero-divisor in K G . □
Remark 16.
Corollary 3 also follows from [33] since all classes of conjugated elements in G are finite.
Proposition 19.
Let G be a finitely generated group. If K G is a centrally essential ring, then G is an F C -group and K G p is a centrally essential ring. If F Z ( G ) (under the above notations), then the converse is true, as well.
Proof. 
By Proposition 14, the group G is an F C -group. As was mentioned above, K G p is a centrally essential ring provided K P ( G ) is a centrally essential ring. Consequently, without loss of generality, it is sufficient to prove that K P ( G ) is a centrally essential ring.
By assumption, for 0 α K P ( G ) , there exist non-zero central elements β , γ K G such that α β = γ . Let π ( γ ) 0 , where π : K G K P ( G ) be a natural projection defined by the relation π ( x G a x x ) = x P ( G ) a x x . Let μ K P ( G ) . Then it follows from [30] [Lemma 1.1.2] that
μ π ( β ) = π ( μ β ) = π ( β μ ) = π ( β ) μ .
Therefore, π ( β ) Z ( K P ( G ) ) . Next,
μ α π ( β ) = π ( μ α β ) = π ( α β μ ) = α π ( β ) μ .
Therefore, α π ( β ) Z ( K P ( G ) ) and α π ( β ) = π ( α β ) = π ( γ ) 0 .
Let π ( γ ) = 0 . We verify that γ is a non-zero-divisor in K G . It follows from [34] [Lemma 6] that γ is a non-zero-divisor in K G if and only if γ is a non-zero-divisor in the ring Z ( K G ) K H , where H = supp γ . Since the group H is a finitely generated normal torsion-free subgroup in G, we have that H has a finitely generated central torsion-free subgroup of finite index; see [30] [Lemma 4.1.8]. It follows from [35] [Corollary 2] that K H does not have zero divisors. Consequently, elements γ and β are non-zero divisors in K G . Since K G has the classical ring of fractions Q cl ( K G ) , there exists a β 1 Q cl ( K G ) . Next, β Z ( K G ) and Z ( Q cl ( K G ) ) = Q cl ( Z ( K G ) ) ; see [30] [Theorem 4.4.5]. Then β 1 Z ( Q cl ( K G ) ) . Since α β = γ , we have α = γ β 1 Z ( K P ( G ) ) .
Conversely, we take the set A 1 × . . o t s × A n = F as a transversal for the subgroup P ( G ) . It follows from [30] [Lemma 1.1.4] that F is a basis of the algebra K G over K P ( G ) . Since F Z ( G ) and the algebra K P ( G ) is a centrally essential ring, algebra K G also is a centrally essential ring by Proposition 6. □
Example 5.
Let K be a field. We consider the ring R of all 3 × 3 matrices of the form
A = k a b 0 k a 0 0 k ,
where k K , a and b are contained in the polynomial ring K x , y in two non-commuting variables x and y over the field K with relations x k = k x and k y = y k , where k K , and y x x y = x ; for example, see [36].
We note that the ring R is not commutative. Indeed,
0 x 0 0 0 x 0 0 0 0 y 0 0 0 y 0 0 0 = 0 0 x y 0 0 0 0 0 0 0 0 y x 0 0 0 0 0 0 =
= 0 y 0 0 0 y 0 0 0 0 x 0 0 0 x 0 0 0 .
Next,
Z ( R ) = k k h 0 k k 0 0 k k , k K ; h K x , y .
In addition, if f K x , y , then
0 f 0 0 0 f 0 0 0 0 1 0 0 0 1 0 0 0 = 0 0 f 0 0 0 0 0 0 Z ( R ) .
Consequently, R is a centrally essential ring. For any regular matrix
A = k a b 0 k a 0 0 k ,
there exists a regular matrix
A = k a 0 0 k a 0 0 k ,
where k 0 , a = 1 k ( k a k ) for some 0 k K such that A A Z ( R ) . It follows from Proposition 18 that R is a non-commutative centrally essential ring which has the two-sided classical ring of fractions.
Proposition 20.
Let R be a centrally essential ring and let α be a non-zero-divisor in Z ( R ) . Then α is a non-zero-divisor in R.
Proof. 
Let α β = 0 for some 0 β R . Then β Z ( R ) and there exist elements c , d Z ( R ) such that 0 β c = d . Since α is a non-zero-divisor in Z ( R ) , we have that α d 0 and α β c 0 . This is a contradiction. □
Proposition 21.
Let R be a centrally essential ring and R has the classical ring of fractions. Then Q cl ( Z ( R ) ) Z ( Q cl ( R ) ) .
Proof. 
Let α Z ( R ) be a non-zero-divisor in Z ( R ) . It follows from Proposition 20 that α is a non-zero divisor in R. Consequently, there exists an element α 1 Q cl ( R ) . We verify that α 1 Z ( Q cl ( R ) ) .
Let β = γ δ 1 Q cl ( R ) . Since α γ = γ α , we have that γ = α 1 γ α in the ring Q cl ( R ) . Then
( γ δ 1 ) α 1 = γ ( α δ ) 1 = γ ( δ α ) 1 = γ α 1 δ 1 =
= α 1 γ α α 1 δ 1 = α 1 ( γ δ 1 ) .
Therefore, α 1 Z ( Q cl ( R ) ) . If α Z ( R ) is a zero divisor, then it follows from relations α δ = δ α and α = δ 1 α δ that
α ( γ δ 1 ) = ( γ α ) δ 1 = γ δ 1 α δ δ 1 = ( γ δ 1 ) α .
Therefore, Q cl ( Z ( R ) ) Z ( Q cl ( R ) ) . The left-sided analogue is similarly verified. □
Theorem 12.
Every centrally essential group algebra over any field has two-sided classical ring of fractions. In addition, the group algebra over a field is centrally essential if and only if it has right classical ring of fractions which is a centrally essential ring.
Proof. 
The first assertion of the theorem follows from Corollary 3. Let 0 a s 1 Q cl ( K G ) , where a , s K G and s is a non-zero divisor. Since G is an F C -group, it follows from [30] [Lemma 4.4.4] that there exists a non-zero divisor γ K G such that s γ = t Z ( K G ) and t is a non-zero divisor in K G . Therefore, we have that s 1 = γ t 1 , in the ring Q cl ( K G ) . By assumption, for the non-zero element a γ K G , there exist non-zero elements c , d Z ( K G ) such that ( a γ ) c = d . By Proposition 21 (also see [30] [Theorem 4.4.5] ), any element of Z ( K G ) is central in Q cl ( K G ) , i.e., c , d , t 1 Z ( Q cl ( K G ) ) . Then
0 ( a s 1 ) c = ( a γ t 1 ) c = ( a γ c ) t 1 = d t 1 Z ( Q cl ( K G ) ) .
Conversely, let 0 r K G . By assumption, there exist elements t , s Z ( Q cl ( K G ) ) such that 0 r t = s . Since Z ( Q cl ( K G ) ) = Q cl ( Z ( K G ) ) , we have that t = c d 1 and s = m n 1 for some c , d , m , n Z ( K G ) . Then the relation r c d 1 = r t = s = m n 1 implies that r c = m n 1 d and
r ( c n ) = ( r c ) n = m d Z ( K G ) .
In addition, m d 0 , since d is a non-zero-divisor in K G . □
Remark 17.
Let G be a group,
Δ ( G ) = { x G : | G : C G ( x ) | < }
(i.e., Δ ( G ) is an F C -subgroup in G), and let
Δ + ( G ) = { x Δ ( G ) | o ( x ) < } .
It is well known that Δ ( G ) and Δ + ( G ) are characteristic subgroups in G; see details in [30]. If the group Δ + ( G ) is finite, then the ring Q cl ( K Δ ( G ) ) and is a quasi-Frobenius ring; in particular, it coincides with maximal ring of fractions Q max ( K Δ ( G ) ) ; see [34]. It follows from these facts and Theorem 12 that we obtain the following remark.
a.
If the subgroup Δ + ( G ) of the group G is finite, then the following conditions are equivalent.
  • K G is a centrally essential ring.
  • Q cl ( K G ) is a centrally essential ring.
  • Q max ( K G ) is a centrally essential ring.
b.
A ring A is called a ring with large center if any non-zero ideal of the ring A has the non-zero intersection with the center of the ring A. In [37] [Theorem 2] is proved such that if R is a ring with large center, then Q max ( Z ( R ) ) Z ( Q max ( R ) ) . Since it is clear that any centrally essential ring is a ring with large center, the assertion of Proposition 21 remains true for the maximal rings of fractions, as well.

4.3.2. Rings of Fractions and Semigroup Rings

In this subsection, F is a field, S is a semigroup, F is a field, and F S is the semigroup F-algebra of the semigroup S. The centers of the semigroup S and the semigroup algebra F S are denoted by Z ( S ) and Z ( F S ) , respectively. If a = α s s F S , then supp ( a ) = { s S | α s 0 } .
Remark 18.
a.
A semigroup S is called a left cancellative semigroup if a = b for any a , b , c S with c a = c b . A right cancellative semigroup is defined dually. A right and left cancellative semigroup is called a cancellative semigroup. It is well known that a torsion cancellative semigroup is a group, e.g., see [38]. A cancellative semigroup is embedded in the right group of fractions if and only if the intersection of any two principal right ideals of the semigroup S is non-empty, i.e., s S t S for all s , t S (the right Öre condition). If S also satisfies the left Öre condition which is symmetrically defined, then the group G S = S S 1 = S 1 S is called the group of fractions of the semigroup S. Any element of the group G S can be written in the form a 1 b and in the form c d 1 , where a , b , c , d S .
b.
We recall that the subgroup Δ ( G ) of the group G and properties of Δ ( G ) are considered in Remark 17.
c.
Let S be a cancellative semigroup and s S . If for some x S , there exists an element t S such that x s = t x , then the element t is uniquely defined; it is denoted by s x . Then Δ ( S ) is the set of elements s S such that elements s x are defined for all x S and the set { s x | x S } is finite. If s Δ ( S ) , then we set D S ( s ) = { s x | x S } . It is clear that if S is embedded in the group of fractions G S , then for s Δ ( S ) , the set D S ( s ) is embedded in the set of conjugated elements for s in G S . If S is a cancellative semigroup, then Z ( F S ) is an F-subspace in F S generated by elements of the form t D S ( s ) t , where s Δ ( S ) ; see [39] [Theorem 9.10].
Proposition 22.
Let S be a cancellative semigroup. If the semigroup algebra F S is a centrally essential ring, then S = Δ ( S ) .
Proof. 
Let s S . By assumption, 0 c s = d for some c , d Z ( F S ) . For any y supp ( d ) , there exists an element x supp ( c ) such that x s = y . It follows from [39] [Proposition 9.2(iii)] that x , y Δ ( S ) . In addition, Δ ( S ) is a right and left Öre set in S and G Δ ( S ) = Δ ( S ) 1 Δ ( S ) = Δ ( S ) Δ ( S ) 1 is an F C -group; see [39] [Corollary 9.6 and Proposition 9.8(iii)]. Consequently, s = x 1 y , where x 1 Δ ( S ) 1 , y Δ ( S ) . For any t S , we have x t Δ ( S ) . Therefore, it follows from t x = x t t that ( x t ) 1 t = t x 1 , i.e., ( x t ) 1 = ( x 1 ) t in the group G Δ ( S ) . Then for the element s t = ( x 1 y ) t = ( x 1 ) t y t , there exists (a) for any t S ; see [39] [Basic property (a), p.108]. Next,
{ s t | t S } = { ( x 1 y ) t | t S } = { ( x 1 ) t | t S } · { y t | t S } =
{ ( x t ) 1 | t S } · { y t | t S } .
The first set is finite since the set { x t | t S } is finite.It follows from y Δ ( S ) that the second set is finite. Therefore, the set D S ( s ) is finite and s Δ ( S ) . □
Corollary 4.
If F S is a centrally essential semigroup algebra of the cancellative semigroup S, then S has the group of fractions G S .
Proof. 
By Proposition 22, we have S = Δ ( S ) . Since Δ ( S ) is a right and left Öre set, S has the group of fractions G S . □
By Corollary 4, under the study of centrally essential semigroup algebras of cancellative semigroups, it is sufficient to consider semigroups S which have the group of fractions G S .
Corollary 5.
Let F be a field with char F = 0 . Then any centrally essential semigroup F-algebra of a cancellative semigroup is commutative.
Proof. 
The algebra F S is semiprime if and only if the algebra F G S is semiprime; see [39] [Theorem 7.19]. It is well known that the group algebra over a field of characteristic 0 is semiprime; e.g., see [30] [Theorem 4.2.12]. By Theorem 1, all centrally essential semiprime rings are commutative. □
Example 6.
We consider the subring R of the ring M 7 ( F ) of all matrices of order 7 over a field F of characteristic 0 consisting of matrices of the form
α a b c d e f 0 α 0 b 0 0 d 0 0 α 0 0 0 e 0 0 0 α 0 0 0 0 0 0 0 α 0 a 0 0 0 0 0 α b 0 0 0 0 0 0 α .
Then R is a non-commutative centrally essential ring by Example 10. Let e α = E 7 , e a , e b , e c , e d , e e , e f be matrices, in which only non-null entry with value 1 in places α, a, b, c, d, e, f, respectively. We consider the semiring S = { e α , e a , e b , e c , e d , e e , e f } { θ } , where { θ } acts as zero. Then R F 0 S , where F 0 S is the compressed semigroup algebra of the semigroup S over the field F. Since F S F F 0 S (see [39] [Corollary 4.9]), then F S is a centrally essential semigroup algebra as a direct sum of centrally essential algebras.
Theorem 13.
a.
Let S be a cancellative semigroup and let F be a field. The semigroup F-algebra F S is centrally essential if and only if the group of fractions G S of the semigroup S exists and the group algebra F G S of the group G S is a centrally essential group algebra.
b.
There exist non-commutative centrally essential semigroup algebras over fields of characteristic zero (in addition, it is known that centrally essential group algebras over fields of characteristic 0 are commutative).
Proof. 
a.
Let F S be a centrally essential ring and let 0 a F G S , a = i = 1 n α i g i , where α i F , g i G S . It is known that G S = S Z ( S ) 1 ; see [39] [Proposition 9.8(iv)]. Then a = i = 1 n α i s i t i 1 for some s i S , t i Z ( S ) , i = 1 , . . o t s , n . We set a = α 1 s 1 t 2 . . o t s t n + . . o t s + α n s n t 1 . . o t s t n 1 F S . We note that a 0 ; it is sufficient to verify that s 1 t 2 . . o t s t n , . . o t s , s n t 1 . . o t s t n 1 are distinct elements in F S . Indeed, if s i t 1 . . o t s t i ^ . . o t s t n = s j t 1 . . o t s t j ^ . . o t s t n for i j , then we multiply this relation by ( t 1 . . o t s t n ) 1 and obtain s i t i 1 = s j t j 1 , i.e., g i = g j . This is a contradiction. By assumption, 0 a c = d for some c , d Z ( F S ) . Then 0 a c = d , where c = t 1 . . o t s t n c and d are central elements in F S which remain central in F G S ; see [39] [Corollary 9.11(i)].
Conversely, let 0 a F S , a = α i s i , where α i F , s i S . By assumption, 0 a c = d for some c , d Z ( F G S ) , c = i = 1 n β i g i , d = j = 1 m γ j h j , where g i , h j G S . Let g i = x i y i 1 , h j = z j t j 1 , x i , z j S , y i , t j Z ( S ) , i = 1 , . . o t s , n , j = 1 , . . o t s , m . We set y = y 1 . . o t s y n , t = t 1 . . o t s t m , c = c y t Z ( F S ) . Then
a c = ( a c ) y t = d y t Z ( F S ) .
It remains to be verified that a c 0 . We have
d y t = γ 1 z 1 y t 2 . . o t s t m + . . o t s + γ m z m y t 1 . . o t s t m 1 .
If i j and z i y t 1 . . o t s t i ^ . . o t s t m = z j y t 1 . . o t s t j ^ . . o t s t m , then z i t i 1 = z j t j 1 and g i = g j ; this is a contradiction.
b.
The assertion follows from Example 6.
Example 7.
Let S = x , y , z | z Z ( S ) , z 2 = 1 , x y = z y x . It is directly verified that S is a cancellative semigroup which has the group of fractions G S = x , y , z | z Z ( G S ) , z 2 = 1 , x 1 y 1 x y = z . Since z is a central involution and x 2 , y 2 Z ( G S ) , we have that the unique non-trivial commutator in G S is x 1 y 1 x y . Therefore, the commutant G S = < z > . We have Z ( G S ) = < x 2 , y 2 , z > . Let H = G S = { 1 , z } , H ^ = 1 + z , char F = 2 and 0 α F G S . If α ( 1 + z ) = 0 , then α F G S H ^ ; see [30] [Lemma 3.1.2]. Since G S is the class 2 nilpotent group, then H Z ( G S ) and for g 1 , g 2 G we have:
[ g 1 , g 2 H ^ ] = [ g 1 , g 2 ] H ^ = g 1 g 2 ( 1 g 2 1 g 1 1 g 2 g 1 ) H ^ = 0 .
Thus, α Z ( F G S ) . If α 1 = α ( 1 + z ) 0 , then α 1 ( 1 + z ) = 0 and α ( 1 + z ) = α 1 Z ( F G S ) \ { 0 } . Consequently, the group algebra F G S is centrally essential. By Theorem 13, the semigroup algebra F S is centrally essential, as well.
Example 8.
Let S = x , y , z | z Z ( S ) , x y = z y x . The semigroup S has the group of fractions G S which is a free nilpotent group of nilpotence class 2; see [39] [Example 21]. It follows known that if the group does not contain of elements of order p, then centrally essential group algebra is commutative; see [3] [Proposition 1]. Therefore, the group algebra F G S is not centrally essential. By Theorem 13, the semigroup algebra F S also is not centrally essential.
Lemma 8.
Let F S be a centrally essential semigroup algebra of the cancellative semigroup S. Then for every non-zero divisor b F S , there exists a non-zero divisor z F S such that b z Z ( F S ) .
Proof. 
It follows from [30] [Lemma 4.4.4] that there exists a non-zero divisor x F G S such that b x = y Z ( F G S ) . If x = i = 1 n α i s i t i 1 , where α i F , s i F S , t i Z ( F S ) ( i = 1 , 2 , . . o t s , n ), then the element z = x t 1 . . o t s t n is a non-zero-divisor in F S and b z Z ( F S ) . □
Proposition 23.
If F S is a centrally essential semigroup algebra of the cancellative semigroup S, then F S has the classical ring of fractions.
Proof. 
The assertion follows from Proposition 18, Lemma 8 and the property that their left-side analogues are true. □
The following theorem extends Theorem 12 to semigroup algebras of cancellative semigroups.
Theorem 14.
A semigroup algebra of a cancellative semigroup is centrally essential if and only if it has the right classical ring of fractions which is a centrally essential ring.
Proof. 
Let F S be a centrally essential ring and 0 a s 1 Q cl ( F S ) , where s is a non-zero divisor in F S . Let a non-zero divisor γ F S be such that s γ = t Z ( F S ) . Then s 1 = γ t 1 in the ring Q cl ( F S ) . By assumption, for the element a γ F S , there exist non-zero elements c , d Z ( F S ) such that 0 ( a γ ) c = d Z ( F S ) . Then
( a s 1 ) c = ( a γ t 1 ) c = ( a γ c ) t 1 = d t 1 0 ,
where d t 1 Z ( Q cl ( F S ) ) . Consequently, Q cl ( F S ) is a centrally essential ring.
Conversely, let 0 s F S . By assumption, there exist elements t , r Z ( Q cl ( F S ) ) such that 0 s t = r . We note that Z ( Q cl ( F S ) ) Q cl ( Z ( F S ) ) ; cf. [30] [Theorem 4.4.5]. Indeed, let ρ Z ( Q cl ( F S ) ) , ρ = α β 1 , where α , β F S and β is a non-zero divisor. Then α β = β α and α β 1 = β 1 α . By Lemma 8, there exists a non-zero divisor γ F S such that β γ Z ( F S ) . By denoting ϵ = β γ and η = α γ , we obtain
η ϵ 1 = α γ γ 1 β 1 = α β 1 = ρ .
In addition, ϵ , η Z ( Q cl ( F S ) ) . By considering the above, we have t = c d 1 , r = m n 1 for some c , d , m , n Z ( F S ) . Then
s ( c n ) = ( s c ) n = ( m n 1 d ) n = m d Z ( F S ) ,
and m d 0 , since d is a non-zero-divisor in F S . □
Problem 2.
a.
Is it true the assertion of Remark 17(a) provided the subgroup Δ + ( G ) of the group G is infinite?
b.
Is it true that every centrally essential ring has the right classical ring of fractions?
c.
Is it true that a centrally essential ring with right classical ring of fractions also has the left classical ring of fractions?

4.4. Construction of One Centrally Essential Ring

The main results of this subsection are proved in [12].
Let X be a countable set and let F = Z X be the free ring with free generator set X. A classical identity (in the sense of Rowen) is an identity with integral coefficients, i.e., element of the free ring F contained in the kernel of any homomorphism from F into the ring R. A classical identity is called a polynomial identity if it is multilinear and has 1 as one its coefficients; a ring with polynomial identity is called a PI ring (see [40] [Definitions 1.1.12, 1.1.17]).
Let R be a ring with center C = Z ( A ) . An element r R is said to be algebraic (respectively, integral) over the center if for some n N , there exist c 0 , . . o t s c n C such that c n is a non-zero divisor in R (respectively, invertible element in R) and
c n r n + c n 1 r n 1 + . . o t s + c 1 r + c 0 = 0 .
We denote by n 1 ( r ) (respectively, n 2 ( r ) ) the least integer n which satisfies this condition. A ring R is said to be algebraic (respectively, integral) over its center if any element r R is algebraic (respectively, integral) over its center. We set m 1 ( R ) = max { n 1 ( r ) | r R } and m 2 ( R ) = max { n 2 ( r ) | r R } ; it is possible that m 1 ( R ) = , m 2 ( R ) = .
Finite rings and finite-dimensional algebras over fields are examples of rings R such that m 1 ( R ) = m 2 ( R ) < .
Example 9 (Example of a Ring Which Is Algebraic over Center of the Ring and Is Not Integral over The Center).
Let R = a b 0 z : a , b Q , z Z . It is clear that the center of the ring R is of the form Z E , where E is the identity matrix.
We note that the ring R is not integral over its center. Indeed, if r = 1 2 0 0 0 , then the relation
r n + c n 1 r n 1 + . . o t s + c 0 E = 0 ,
where n N and c 0 , . . o t s c n 1 Z , implies relations c 0 = 0 and
1 2 n = c n 1 2 n 1 + . . o t s + c 1 2 ; this is impossible .
On the other hand, if r = a b 0 z R , then n a Z for some n N , trace ( n r ) = n a + n z and det ( n r ) = n a · n z are integers. Therefore, n r is a root of the polynomial x 2 trace ( n r ) x + det ( n r ) Z [ x ] by the Hamilton–Cayley theorem.
We note that classes of centrally essential rings, PI rings, and rings, which are algebraic or integral over its center, properly contain all commutative rings.
The main result of this subsection is Theorem 16.
For the proof of Theorem 16, we need the following familiar result.
Theorem 15
([30] [Theorem 5.3.9(ii)]). Let F be a field of characteristic p > 0 . If the group algebra F G satisfies a polynomial identity of degree d, then there exists a subgroup H in G such that [ G : H ] · | H | < g ( d ) , where g ( d ) is some function integer d.
Theorem 16.
For any prime integer p and every field F of characteristic p, there exists a centrally essential F-algebra which is not a PI ring and is not algebraic over its center.
Proof. 
We fix a prime integer p and the field F of characteristic p. We denote by Z ( G ) the center of the group G.
For any positive integer n, we construct the group G = G ( n ) , see below. Let A = a , B = b and C = c be three cyclic groups such that | A | = | B | = | C | = p n . We consider the automorphism α Aut ( B × C ) defined on generators by relations α ( b ) = b c and α ( c ) = c . It is clear that α n the identity automorphism; therefore, we have such a homomorphism φ : A Aut ( B × C ) that φ ( a ) = α . This homomorphism corresponds to the semidirect product G = ( B × C ) A , which can be considered the group generated by elements a , b , c which satisfy relations a p n = a p n = c p n = 1 , b c = c b , a c = c a and a b a 1 = b c . It follows from these relations that c Z ( G ) . It is directly verified that for any integers x , y , z , x , y , z , we have
[ b y c z a x , b y c z a x ] = b y a x b y a x a x b y a x b y
= b y ( a x b y a x ) ( a x b y a x ) b y =
= b y ( b y c x y ) ( b y c y x ) b y = c x y y x .
Therefore, Z ( G ) = G = c and G is a group of nilpotence class 2.
Now let H be any subgroup of the group G. We prove that
[ G : H ] · | H | p n .
We note that [ G : H Z ( G ) ] [ G : H ] and ( H Z ( G ) ) = H ; consequently, it is sufficient to prove the inequality (9) in the case where H Z ( G ) . We set G ¯ = G / Z ( G ) and denote by a ¯ , b ¯ , H ¯ the images a , b , H under the canonical homomorphism G onto the group G ¯ . We also set B ¯ = b ¯ . We have [ G : H ] = [ G ¯ : H ¯ ] . It follows from the standard isomorphism ( H ¯ B ¯ ) / B ¯ H ¯ / ( H ¯ B ¯ ) that H ¯ / ( H ¯ B ¯ ) is a cyclic group which is isomorphic to some subgroup of the group a ¯ . The group H ¯ B ¯ is cyclic, as well. Consequently, the group H ¯ is generated by two elements of the form b ¯ p m and a ¯ p k b ¯ l for some non-negative integers k , l , m . Therefore,
[ G ¯ : H ¯ ] = [ G ¯ : H ¯ B ¯ ] [ H ¯ B ¯ : H ¯ ] = [ a ¯ : a ¯ p k ] [ b ¯ : b ¯ p m ] =
p k p m = p m + k .
If m + k n , then the inequality (9) holds. If m + k < n , then it follows from (8) and the property that elements a p k b l and b p m are contained in the subgroup H, that [ a p k b l , b p m ] = c p m + k H . Therefore, | H | | c p m + k | = p n m k and we have
[ G : H ] · | H | p m + k · p n m k = p n ,
i.e., (9) holds in this case.
Now it is sufficient to take the direct product of the group algebras F G ( n ) , n N , as the ring R. We note that the direct product of any set of rings is centrally essential if and only if every factor is a centrally essential ring. Therefore, ring R is centrally essential by Theorem 11(b). However, if algebra R satisfies some polynomial identity of degree d, then for any n N , the inequality p n < g ( d ) follows from (9) and Theorem 15; this is impossible.
Now we prove that the constructed ring is not algebraic over its center.
It is well known (e.g., see [40] [Proposition 1.1.47] or [41]) [Lemma 5.2.6] that R satisfies the polynomial identity of degree d ( m ) = m ( m + 1 ) 2 + m provided m 1 ( R ) = m < .
We note that for any m N , there exists an integer n m such that p n m > g ( d ( m ) ) ; in addition, we can take integers n 1 , n 2 , . . o t s such that these integers form an ascending sequence. By the definition of d ( m ) , there exists an element r m F G ( n m ) which does not satisfy any relation of the form (7) of degree m. Now we consider the element r = n = 1 r n n = 1 F G ( n ) , where r n F G ( n ) , r n = r m provides n = n m for some m N and r n = 0 otherwise. It is clear that if r satisfies to some relation of the form (7) of degree m, then every element r n satisfies the relation of the same degree; this is impossible by the choice of the element r m . □

4.5. Centrally Essential Rings R with Non-Commutative R / J ( R )

Proposition 24.
Let { R α } α A be an arbitrary set of rings, R = α A R α , and let f ( x 1 , . . o t s , x n ) belong to the free ring Z X with countable set of free generators. If for any m N , there exists infinitely many subscripts α A such that the ring R α does not satisfy the identity f ( x 1 , . . o t s , x n ) m , then the ring R / K ( R ) does not satisfy the identity f ( x 1 , . . o t s , x n ) .
Proof. 
By assumption, for any m N , there exists a subscript α = α m A such that f ( r 1 ( m ) , . . o t s , r n ( m ) ) m 0 for some r 1 ( m ) , . . o t s , r n ( m ) R α and all subscripts α m , m N can be chosen pairwise distinct.
For any i = 1 , . . o t s , n , we set s i = α A s α ( i ) , where
s α ( i ) = r i ( m ) f o r α = α m f o r s o m e m N , 0 , o t h e r w i s e .
Then f ( s 1 , . . o t s , s n ) = α A f ( s α ( 1 ) , . . o t s , s α ( n ) ) . It follows from (10) that for any m N , there exists a subscript α A such that f ( s α ( 1 ) , . . o t s , s α ( n ) ) m 0 ; therefore, f ( s 1 , . . o t s , s n ) m 0 and, consequently, f ( s 1 , . . o t s , s n ) K ( R ) . □
Proposition 25.
Under the conditions of Proposition 24, the ring R [ t ] / J ( R [ t ] ) does not satisfy the identity f ( x 1 , . . o t s , x n ) .
Proof. 
For an arbitrary ring R, it follows from the Amitsur theorem [42] that J ( R [ t ] ) = I [ t ] for some nil ideal I of ring R. Therefore, we have J ( R [ t ] ) K ( R ) [ t ] . However, for our purposes, it is sufficient to use the following elementary remark: if r J ( R [ t ] ) R , then the element 1 r t is invertible. We write ( 1 r t ) ( a 0 + a 1 t + a 2 t 2 + . . o t s + a m t m ) = 1 and compare coefficients of degrees t. We obtain that a 0 = 1 , a i = r i for i = 1 , . . o t s , m and r m + 1 = 0 , i.e., r is a nilpotent element. Therefore, R J ( R [ t ] ) K ( R ) . However, the ring R / K ( R ) does not satisfy the identity f ( x 1 , . . o t s , x n ) . Therefore, the ring R [ t ] / J ( R [ t ] ) does not satisfy this identity. □
We fix a prime integer p and the field F of characteristic p. Next, let Z ( G ) be the center of the group G.
In the proof of Theorem 17 below, the results on centrally essential group rings of Section 4.2 are used for constructing a centrally essential ring R such that the rings R / J ( R ) and R / N ( R ) are not PI rings (and, in particular, R / J ( R ) and R / N ( R ) are not commutative).
Theorem 17.
There exists a centrally essential ring R such that the ring R / J ( R ) is not a PI ring.Consequently, the ring R / N ( R ) is not a PI ring, as well; in particular, the rings R / J ( R ) and R / N ( R ) are not commutative.
Proof. 
We use the sequence of rings from Theorem 16.
We note that a direct product of any set of rings is centrally essential if and only if every direct factors of the product is a centrally essential ring. Therefore, the ring R = n N F G ( n ) is centrally essential by the first assertion of Theorem 16.
For any polynomial identity f ( x 1 , . . o t s , x n ) of degree d and every integer m N , there exists an infinite set of integers k N such that the identity f ( x 1 , . . o t s , x n ) m does not hold in the ring F G ( k ) . If the ring F G ( k ) satisfies the identity f ( x 1 , . . o t s , x n ) m , then it also satisfies the polynomial identity of degree d m obtained by the linearization of this identity. By the second assertion of Theorem 16, this is impossible for infinite sets of integers k. It follows from Proposition 25 that R [ t ] / J ( R [ t ] ) is not a PI ring.
It remains to be noted that the polynomial ring in one variable over a centrally essential ring is centrally essential by Remark 13c. □

4.6. Local Sublgebras of Triangular Algebras

This subsection is based on [5]. In this subsection, we consider not necessarily unital rings and study local centrally essential subalgebras of the algebra T n ( F ) of all upper triangular matrices, where F is a field of characteristic 2 . Such subalgebras are of interest, since, for F = Q , they are quasi-endomorphism algebras of strongly indecomposable torsion-free Abelian groups of finite rank n. Quasi-endomorphism algebras of all such groups are local matrix subalgebras of algebra M n ( Q ) of all matrices of order n over a field Q , e.g., see [28] [Chapter I, §5].
We note that the algebra Q E is the quasi-endomorphism algebra of a strongly indecomposable Abelian torsion-free group of prime rank p if and only if Q E is isomorphic to a local subalgebra of the algebra T p ( Q ) . Indeed, Q E / J ( Q E ) Q in this case; see [43] [Theorem 4.4.12], where J ( Q E ) is the Jacobson radical; it is nilpotent, since Q E Artinian. It follows from the Weddenburn–Malcev theorem (for example, see [44] [Theorem 6.2.1]) that Q E Q E p J ( Q E ) , where E p is the identity matrix. It is known that every nilpotent subalgebra of the matrix algebra M n ( F ) over an arbitrary field F is transformed by conjugation into nil-triangular subalgebra; see [45] [Chapter 2, Theorem 6]. Since diagonal matrices of a local matrix algebra have equal elements on the main diagonal, they are transformed to themselves under conjugation. Consequently, quasi-endomorphism algebras of such Abelian groups are realized as matrix subalgebras if and only if these subalgebras are conjugated with some local subalgebra of the algebra T p ( Q ) . Necessary information on Abelian groups is contained in [27,28].
Let F be a field and let A be a finite-dimensional F -algebra. For the nil-algebra A , the maximal nilpotence index ν ( A ) of its elements is called the nil-index. If A k = ( 0 ) and A k 1 ( 0 ) , then k is the nilpotence index of the algebra A , and this algebra is called an algebra of nilpotence index k.
Next, A denotes a local subalgebra of the algebra T n ( F ) and N n ( F ) denotes the subalgebra of nilpotent matrices in A (i.e., algebra of properly upper triangular matrices). We note that any matrix A A is of the form
A = λ a 12 . . o t s a 1 n 0 λ . . o t s a 2 n 0 0 . . o t s λ .
We denote by E i j the matrix unit, i.e., the matrix with 1 on the position ( i , j ) and zeros on remaining positions; E k denotes the identity k × k matrix. For a subset S of a vector space, the linear hull of S is denoted by S .
Proposition 26.
Let A be a local subalgebra of the algebra T n ( F ) with Jacobson radical J ( A ) . The algebra A is centrally essential if and only if J ( A ) is a centrally essential algebra.
Proof. 
Let we have a matrix A J ( A ) with A Z ( J ( A ) ) . Since A is a centrally essential algebra, there exists a matrix B Z ( A ) such that 0 A B = C Z ( A ) . Since J ( A ) is an ideal, we have C Z ( J ( A ) ) . If B J ( A ) , then A = C B 1 Z ( J ( A ) ) ; this contradicts the choice of the matrix A.
Conversely, let A = F E n J ( A ) . Since F E n Z ( A ) , we have
Z ( J ( A ) ) Z ( A ) .
If 0 A A and A Z ( A ) , then 0 A E n Z ( A ) . Let A Z ( A ) and A J ( A ) . Then there exists a matrix B Z ( J ( A ) ) such that 0 A B = C Z ( J ( A ) ) . It follows from relation (11) that B Z ( A ) and C Z ( A ) .
Let A J ( A ) . Then A = A + A , where 0 A F E n , A J ( A ) . If A = 0 , then A Z ( A ) . Otherwise, 0 A B Z ( J ( A ) ) for some B Z ( J ( A ) ) . Then
A B = A B + A B = B A + B A = B A .
Since A B , A B Z ( J ( A ) ) , we have A B Z ( J ( A ) ) Z ( A ) . We note that A B 0 , since the matrix A is invertible. □
It follows from Proposition 26 that the problem of constructing local centrally essential subalgebras of the algebra T n ( F ) is equivalent to the problem of constructing centrally essential subalgebras of the algebra N n ( F ) .
Let A be a subalgebra of the algebra N n ( F ) of nilpotence index n. We assume that ν ( A ) = n . There exists a matrix A A such that A n 1 0 . We transform A to the Jordan normal form,
A = E 12 + E 23 + . . o t s + E ( n 1 ) n ,
and pass to the corresponding conjugated subalgebra A c . We denote by Cen ( A ) the centralizer of the matrix A in A c . Since the minimal polynomial of the matrix A coincides with its characteristic polynomial, we have Cen ( A ) = F [ A ] , where F [ A ] is the ring of all matrices which can be presented in the form f ( A ) , f ( x ) F [ x ] ; see [45] [Chapter 1, Theorem 5]. For B Cen ( A ) , we have
B = f ( A ) = α 0 E n + α 1 A + . . o t s + α n 1 A n 1 .
In addition, α 0 = 0 , since the matrix B is nilpotent.
Remark 19.
If Z ( A c ) = Cen ( A ) , then the algebra A c is commutative.
Proof. 
Indeed, if A Cen ( A ) , then A A A A . However, A Cen ( A ) = Z ( A c ) . This is a contradiction. □
Remark 20.
Let A c be a centrally essential algebra and Z ( A c ) = A n 1 . Then the algebra A c is commutative.
Proof. 
Indeed, if A c is not commutative and the matrix A is not in Z ( A c ) , then we have B A = 0 for any matrix B Z ( A c ) . □
Remark 21.
If F is a field of characteristic 2 , then every centrally essential subalgebra of the algebra N 3 ( F ) is commutative.
Proof. 
Every matrix A N 3 ( F ) is of the form
A = 0 a b 0 0 c 0 0 0 .
Let A be a non-commutative centrally essential subalgebra of the algebra N 3 ( F ) of nilpotence index 3. Then ν ( A ) = 3 . Let the matrix A A have the nilpotence index 3. We transform A to the Jordan normal form: A = E 12 + E 23 . Now if B Cen ( A ) , then B = α 1 A + α 2 A 2 . We note that Z ( A c ) Cen ( A ) ; in addition, ν ( Z ( A c ) ) = 3 by Remark 20. However, Z ( A c ) = Cen ( A ) , and algebra A c is commutative by Remark 19. This is a contradiction. □
Remark 22.
It follows from Remark 21 that all centrally essential endomorphism rings of strongly indecomposable Abelian torsion-free groups of rank 3 are commutative.
Proposition 27.
Any centrally essential subalgebra A of the algebra N 4 ( F ) is commutative.
Proof. 
If the algebra A is of nilpotence index 2, then it is commutative. Let the nilpotence index of the algebra A be equal to 4. There exists a matrix A A such that A 3 0 . Indeed, the algebra A contains three matrices S = ( s i j ) , T = ( t i j ) , P = ( p i j ) with s 12 0 , t 23 0 , p 34 0 . Otherwise, the nilpotence index A is less than 4. As the required matrix, we can take a matrix A = ( a i j ) such that a i ( i + 1 ) 0 , i = 1 , 2 , 3 . We transform A to the Jordan normal form,
A = E 12 + E 23 + E 34 ,
and pass to the corresponding conjugated subalgebra A c . For the matrix B Cen ( A ) , we have
B = α 1 A + α 2 A 2 + α 3 A 3 ,
where α 1 , α 2 , α 3 F . It follows from Remarks 19 and 20 that Z ( A c ) Cen ( A ) and Z ( A c ) < A 3 > if algebra A c is not commutative. Then any matrix C Z ( A c ) is of the form
C = 0 0 c 13 c 14 0 0 0 c 13 0 0 0 0 0 0 0 0 .
Since A c is a centrally essential algebra, we have that for a non-zero matrix D Z ( A c ) , there exists a matrix C Z ( A c ) such that 0 D C Z ( A c ) . Since the matrix D is nilpotent, we have tr D = 0 . In addition, A c is local; therefore, all elements on the main diagonal of the matrix D are equal to zero. In this case, it is directly verified that
D = 0 d 12 d 13 d 14 0 0 d 23 d 24 0 0 0 d 12 0 0 0 0 .
If d 12 = 0 and D Z ( A c ) , then D C = 0 for any matrix C Z ( A c ) ; this is a contradiction. Let d 12 0 and D F F D for some matrix F = ( f i j ) A c . We take an element λ F such that f 12 = λ d 12 . We set G = λ D F , G = ( g i j ) . Then
F G = F ( λ D F ) = λ F D F 2 ,
G F = ( λ D F ) F = λ D F F 2 .
Therefore, G Z ( A c ) and g 12 = 0 . It follows from the obtained contradiction that algebra A c is commutative.
Let the nilpotence index of algebra A be equal to 3. Then ν ( A ) = 3 , i.e., A contains a matrix A such that A 2 0 . Indeed, we assume the contrary, A 2 = 0 for all A A . If A Z ( A ) , then 0 A B Z ( A ) for some matrix B Z ( A ) . Then
( A + B ) 2 = A 2 + 2 A B + B 2 = 2 A B = 0 .
Therefore, A B = 0 . This is a contradiction.
We transform the matrix A to a Jordan normal form,
A = E 12 + E 23 .
In the corresponding conjugated subalgebra A c , the centralizer Cen ( A ) consists of matrices B of the form
B = 0 b 12 b 13 b 14 0 0 b 12 0 0 0 0 0 0 0 b 43 0 ;
see [45] [Chapter 3, §1]. In addition, if C Z ( Cen ( A ) ) , then we have
C = 0 c 12 c 13 0 0 0 c 12 0 0 0 0 0 0 0 0 0 .
Let Z ( A c ) have the nilpotence index 3. Then we can take a matrix in Z ( A c ) as the matrix A; see [45] [Chapter 1, Proposition 5, Corollary]. In this case, all matrices in A c are contained in Cen ( A ) . Then A c consists of matrices of the form (12) and matrices in Z ( A c ) of the form (13). If B = ( b i j ) Z ( A c ) and b 12 = 0 , then B C = 0 for all C Z ( A c ) . Then A c is not a centrally essential algebra. Let b 12 0 and B D D B for some matrix D = ( d i j ) A c . Let d 12 = λ b 12 and F = λ B D , F = ( f i j ) . Then f 12 = 0 and F Z ( A c ) . This is a contradiction.
Let Z ( A c ) be of nilpotence index 2. Then for C Z ( A c ) , we obtain
C = 0 0 c 13 0 0 0 0 0 0 0 0 0 0 0 0 0 .
It follows from relation A C = C A for A A c that
A = 0 a 12 a 13 a 14 0 0 a 23 a 24 0 0 0 0 0 a 42 a 43 0 .
However, A C = 0 for any matrix C Z ( A c ) . Consequently, if A c is a centrally essential algebra, then A c is commutative. □
Remark 23.
In Theorem 7, it is proved that the Grassmann algebra Λ ( V ) over a field F of characteristic 2 is a centrally essential algebra if and only if the dimension of the space V is odd. By considering the regular matrix representation of the algebra Λ ( V ) , we obtain that for an odd positive integer n > 1 , there exists a non-commutative centrally essential subalgebra of the algebra N 2 n ( F ) ; also see Example 11 below. Therefore, the minimal order of matrices of non-commutative centrally essential Grassmann of the algebra is equal to 8.
We recall that for a right ideal I of the ring R, any right ideal J in R which is maximal with respect to the property I J = 0 , is said to be ∩-complement for I.
Example 10.
There exists a non-commutative centrally essential algebra of 7 × 7 matrices which has a closed right ideal which is not an ideal.
We consider the subalgebra A in N 7 ( F ) consisting of matrices A of the form
A = 0 a b c d e f 0 0 0 b 0 0 d 0 0 0 0 0 0 e 0 0 0 0 0 0 0 0 0 0 0 0 0 a 0 0 0 0 0 0 b 0 0 0 0 0 0 0 .
Let for A A , we have a = a + 1 and the remaining components coincide with the corresponding components of the matrix A. Then A A A A if a 0 and b 0 . Therefore, the algebra A is not commutative. It is easy to see that Z ( A ) consists of matrices C of the form
C = 0 0 0 c d e f 0 0 0 0 0 0 d 0 0 0 0 0 0 e 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 .
If 0 A Z ( A ) , then 0 A C Z ( A ) for some matrix C Z ( A ) . Consequently, A is a centrally essential algebra.
We consider the right ideal I in A consisting of matrices of the form
B = 0 0 b 0 0 0 f 0 0 0 b 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 b 0 0 0 0 0 0 0 .
It is directly verified that I is not an ideal of A . In addition, I is a closed right ideal. Indeed, the ideal of A , which has only the element c as a non-zero component, is a ∩-complement for I.
At the same time, the closed left ideal J in A whose elements are matrices
D = 0 a 0 0 0 0 f 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 a 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ,
is not an ideal. The ideal, which has only element c as the non-zero component, is a ∩-complement, also for J.
Theorem 18.
For any field F of characteristic 2 and an arbitrary positive integer n 7 , there exists a local non-commutative centrally essential subalgebra of the algebra T n ( F ) of the upper triangular n × n matrices.
Proof. 
In N n ( F ) , we consider the subalgebra A of matrices A of the form
A = 0 a 12 a 13 a 14 a 15 . . o t s a 1 n 2 a 1 n 1 a 1 n 0 0 0 a 13 0 . . o t s 0 0 a 1 n 2 0 0 0 0 0 . . o t s 0 0 a 1 n 1 0 0 0 0 0 . . o t s 0 0 0 . . o t s . . o t s . . o t s . . o t s . . o t s . . o t s . . o t s . . o t s . . o t s 0 0 0 0 0 . . o t s 0 0 0 0 0 0 0 0 . . o t s 0 0 a 12 0 0 0 0 0 . . o t s 0 0 a 13 0 0 0 0 0 . . o t s 0 0 0 .
We note that the algebra A is not commutative; also see Example 10. If B Z ( A ) , then
B = 0 0 0 b 14 b 15 . . o t s b 1 n 2 b 1 n 1 b 1 n 0 0 0 0 0 . . o t s 0 0 b 1 n 2 0 0 0 0 0 . . o t s 0 0 b 1 n 1 0 0 0 0 0 . . o t s 0 0 0 . . o t s . . o t s . . o t s . . o t s . . o t s . . o t s . . o t s . . o t s . . o t s . . o t s 0 0 0 0 0 . . o t s 0 0 0 .
For A = ( a i j ) Z ( A ) , we have a 12 0 , a 13 0 . Let B = ( b i j ) Z ( A ) and b 1 n 2 = a 12 , b 1 n 1 = a 13 . Then 0 A B Z ( A ) . Indeed, let A B = C = ( c i j ) , B A = D = ( d i j ) . Then c i j = d i j = 0 for all i 1 , j n . In addition, c 1 n = d 1 n = a 12 2 + a 13 2 . Therefore, A is a centrally essential algebra. □

4.7. Endomorphism Rings of Abelian Groups

In this subsection, we study Abelian groups A with centrally essential ring, and endomorphism ring End A . The subsection is based on [1].
We denote by End A the endomorphism ring of an Abelian group A. If A = p P A p is a decomposition of a torsion Abelian group A into a direct sum of p-components, then supp A = { p P A p 0 } . We use the following notation: Z p k (respectively, Z p k ) is the residue ring (respectively, the additive group modulo p k ); Q (respectively, Q) is the ring (respectively, the additive group) of rational numbers; Z p is a quasi-cyclic Abelian p-group; Z ^ p is the ring of p-adic integers.
An Abelian group A is said to be divisible if n A = A for any positive integer n. An Abelian group is said to be reduced if it does not contain non-zero divisible subgroups and non-reduced otherwise.
A subgroup B of an Abelian group A is said to be pure if the equation n x = b B , which is solvable in the group A, also is solvable in B.
Remark 24.
Let A be an Abelian group which is either a torsion group or a non-reduced group and let the endomorphism ring End A be centrally essential. We prove below that the ring End A is commutative. Therefore, only reduced torsion-free groups and reduced mixed groups are of interest under the study of Abelian groups with non-commutative centrally essential endomorphism rings.
Theorem 20(c) below contains an example of an Abelian torsion-free group of finite rank with centrally essential non-commutative ring endomorphism ring. In Example 13 below, we give other examples of non-commutative centrally essential endomorphism rings of some Abelian torsion-free groups of infinite rank.
Let A be an Abelian torsion-free group. A pseudo-socle PSoc A of the group A is the pure subgroup of the group A generated by all its minimal pure fully invariant subgroups.
Lemma 9.
Let A be a module and let A = i I A i be the direct decomposition of the module A. The endomorphism ring End A is centrally essential if and only if for every i I , all rings End A i are centrally essential and all A i are fully invariant submodules in A.
Proof. 
Let End A = E be a centrally essential ring. If A i is not a fully invariant submodule for some i I , then there exists a subscript j I , j i , such that Hom ( A i , A j ) = e j E e i 0 , where e i and e j are projections from the module A onto the submodules A i and A j , respectively. In addition,
e i · e j E e i = 0 e j E e i = e j E e i · e i ,
i.e., the idempotent e i is not central; this contradicts Proposition 3
If A i is a fully invariant submodule in A, i I , then End A End A i × End A ¯ i , where A ¯ i is a complement direct summand for A i . It is clear that if the ring End A i is not centrally essential, then and End A is not centrally essential.
We assume that for any i I , the ring End A i is centrally essential and A i is a fully invariant submodule in A. Then End A i I End A i and all rings End A i are centrally essential. It is clear that End A is centrally essential, as well. □
Lemma 10.
For a divisible Abelian group A, the endomorphism ring of A is centrally essential if and only if A Q or A Z p .
Proof. 
Let A = F ( A ) T ( A ) , where 0 F ( A ) is the torsion-free part and 0 T ( A ) is the torsion part of the group A. Then the subgroup F ( A ) in A is not fully invariant (see [27] [Theorem 7.2.3]) and, by Lemma 9, the ring End A is not centrally essential. Hypothetically, F ( A ) or T ( A ) is the direct sum of groups Z p or Q . It is clear that if the number of summands exceeds 1, then End A has a non-central idempotent; this is a contradiction. □
Let A = p P A p be the decomposition of the torsion Abelian group A into a direct sum of primary components of A. It follows from of Lemma 9 that End A is a centrally essential ring if and only if every ring End A p is centrally essential.
Lemma 11.
The endomorphism ring of a primary Abelian group A p is centrally essential if and only if A p Z p k or A p Z p .
Proof. 
If the group A p is not indecomposable, then it has a cocyclic direct summand; see [27] [Corollary 5.2.3]. By considering [27] [Theorems 7.1.7–7.2.3], we see that this summand and complement summands of it are fully invariant in A. Consequently, A p Z p k or A p Z p . The converse is obvious, since the rings Z p k and Z ^ p are commutative. □
Theorem 19.
Let A = D ( A ) R ( A ) be a non-reduced Abelian group, where 0 D ( A ) and 0 R ( A ) are the divisible part and the reduced part of the group A, respectively. The endomorphism ring of the group A is centrally essential if and only if A = D ( A ) R ( A ) , where R ( A ) = p P Z p k and D ( A ) Q or D ( A ) p P Z p ; P , P are subsets of distinct prime numbers with P P = .
Proof. 
Let End A be a centrally essential ring. We verify that D ( A ) and R ( A ) are fully invariant of the subgroup in A. Indeed, it is well known that Hom ( D ( A ) , R ( A ) ) = 0 . If R ( A ) is a torsion-free group, then Hom ( R ( A ) , D ( A ) ) 0 (see [27] [Theorem 7.2.3]); this contradicts Lemma 9. In addition, it is clear that Hom ( R ( A ) , D ( A ) ) 0 if R ( A ) , D ( A ) are torsion groups and supp R ( A ) supp D ( A ) . It follows from Lemma 11 that R ( A ) is the direct sum of its cyclic p-components and it follows from Lemma 10 that D ( A ) Q or D ( A ) p P Z p .
The converse assertion follows from Lemmas 9–11. □
Corollary 6.
The endomorphism ring of a non-reduced Abelian group is centrally essential if and only if the ring is commutative. In other words, only reduced Abelian groups can have non-commutative centrally essential endomorphism rings.
Proof. 
Indeed, it follows from Theorem 19 that the centrally essential endomorphism ring of an arbitrary non-reduced Abelian group is a direct product of rings which can be only of the ring Z p k , Q and Z ^ p . □
Let A and B be two Abelian torsion-free groups. One says that A is quasi-contained in B if n A B for some positive integer n. If A is quasi-contained in B and B is quasi-contained in A (i.e., if n A B and m B A for some n , m N ), then one says that A is quasi-equal to B (one writes A B ). A quasi-relation A i I A i is called a quasi-decomposition (or a quasi-direct decomposition) of the Abelian group A; these subgroups A i are called quasi-summands of the group A. If the group A does not have non-trivial quasi-decompositions, then A is said to be strongly indecomposable. The ring Q End A is called the quasi-endomorphism ring of the group A. It is denoted by Q End A ; see details in [28] [Chapter I, §5]. Elements of the ring Q End A are called quasi-endomorphisms of the group A. We note that
Q End A = { α End Q ( Q A ) ( n N ) ( n α End A ) } .
It is well known ([28] [Proposition 5.2]) that the correspondence
A e 1 A . . o t s e k A Q End A =
= Q End A e 1 . . o t s Q End A e k
between finite quasi-decompositions of the torsion-free group A and finite decompositions of the ring Q End A in direct sum of left ideals, where { e i i = 1 , . . o t s , k } is a complete orthogonal system idempotent of the ring Q End A , is one to one.
Proposition 28.
For an Abelian torsion-free group A, the endomorphism ring E of A is centrally essential if and only if the quasi-endomorphism ring Q E of A is centrally essential.
Proof. 
Let 0 a ˜ Q E . For some n N , we have n a ˜ = a E and there exist x , y Z ( E ) with a x = y 0 . In this case, a ˜ x ˜ = y ˜ , where x ˜ = x , y ˜ = 1 n · y Z ( Q E ) , i.e., Q E is a centrally essential ring.
Conversely, for every 0 a E , there exist non-zero x ˜ , y ˜ Z ( Q E ) with a x ˜ = y ˜ . In addition, there exist n , m N such that n x ˜ Z ( E ) and m y ˜ Z ( E ) . Then a x = y , where x = m n x ˜ , y = m n y ˜ Z ( E ) . □
Let A i = 1 n A i = A be a decomposition of the Abelian torsion-free group A of finite rank into a quasi-direct sum of strongly indecomposable groups (e.g., see [28] [Theorem 5.5]). By using Lemma 9 and Proposition 28, we obtain that the ring End A is centrally essential if and only if all subgroups A i are fully invariant in A , and every ring End A i is centrally essential. Therefore, the problem of describing Abelian torsion-free groups of finite rank with centrally essential endomorphism rings is reduced to a similar problem for strongly indecomposable groups.
Proposition 29.
Let A be a strongly indecomposable Abelian group and A = PSoc A . If the ring End A is centrally essential, then the ring End A is commutative.
Proof. 
If A = PSoc A , then End A is a semiprime ring (e.g., see [28] [Theorem 5.11]). By Theorem 1, the ring End A is commutative. □
Example 11.
We take centrally essential endomorphism rings of strongly indecomposable Abelian torsion-free groups of rank 2 and 3.
If A is a strongly indecomposable group of rank 2, then the ring End A is commutative (e.g., see [43] [Theorem 4.4.2]). Consequently, End A is a centrally essential ring. Let A be a strongly indecomposable group of rank 3. Then the algebra Q End A is isomorphic to one of the following Q -algebras ([46] [Theorem 2]):
K x 0 z 0 x 0 0 0 x x , z Q , R x y z 0 x 0 0 0 x x , y , z Q ,
S x y z 0 x k y 0 0 x x , y , z Q , 0 k Q , k = const ,
T x y z 0 x t 0 0 x x , y , z , t Q .
The rings K, R, S are commutative; consequently, they are centrally essential. The ring T is not commutative (in addition, PSoc A has the rank 1). We have
J ( T ) = 0 y z 0 0 t 0 0 0 y , z , t Q ,
Z ( T ) = x 0 z 0 x 0 0 0 x x , z Q ,
M = 0 0 0 0 0 t 0 0 0 t Q ,
where M is a minimal right ideal of the ring T. We note that the ring T / J ( T ) is commutative but Z ( T ) M = 0 . It follows from Remark 25(a) that the ring T is not centrally essential. As a result, we obtain that endomorphism rings of strongly indecomposable groups of rank 2 or 3 are centrally essential if and only if they are commutative.
Remark 25.
Let R be a local Artinian ring with center Z ( R ) = C , and R is not a division ring.
a.
If R is centrally essential, then R / J ( R ) is commutative and C M 0 for every minimal ideal M.
b.
If R / J ( R ) is commutative, Soc ( R C ) = Soc ( R R ) and C M 0 for every minimal ideal M, then R is centrally essential.
Proof. 
a.
Let R be centrally essential. By Theorem 2, the ring R / J ( R ) is commutative. Since R is Artinian, the ideal J ( R ) is nilpotent; let k be the nilpotence index J ( R ) . We note that if M is a minimal ideal of R, then M J ( R ) = 0 .
We assume that C M = 0 for some minimal ideal M. By assumption, for 0 a M , there exist x , y Z ( R ) such that a x = y 0 . Since x J ( R ) (otherwise a x = 0 ), the element x is invertible in R and a = x 1 y C ; this is a contradiction.
b.
Let C M 0 for every minimal ideal M. We verify that M C . Let C M = K . By assumption, R / J ( R ) is commutative. Therefore, r s s r J ( R ) for all r , s R . Then k ( r s s r ) = 0 for every k K . In addition, since k C , we have ( k r ) s = k s r = s ( k r ) and k r C . Similarly, r k C . In addition, k r M and r k M . Therefore, K is an ideal. Since the ideal M is minimal, we have that K = M or K = 0 . However, K 0 , whence K = M and M C . Therefore, Soc R C = Soc R R C . By Theorem 1.4.1(b), the ring R is centrally essential.
Example 12.
Let V be a vector Q -space with basis e 1 , e 2 , e 3 and let Λ ( V ) be the Grassmann algebra of the space V, i.e., Λ ( V ) is an algebra with operation ∧, generators e 1 , e 2 , e 3 and defining relations
e i e j + e j e i = 0 f o r a l l i , j = 1 , 2 , 3 .
Then Λ ( V ) is a Q -algebra of dimension 8 with basis
{ 1 , e 1 , e 2 , e 3 , e 1 e 2 , e 2 e 3 , e 1 e 3 , e 1 e 2 e 3 }
and Λ ( V ) is a non-commutative centrally essential ring; see Example 2. We consider the regular representation Λ ( V ) . If x Λ ( V ) and
x = q 0 · 1 + q 1 e 1 + q 2 e 2 + q 3 e 3 + q 4 e 1 e 2 + q 5 e 2 e 3 + q 6 e 1 e 3 + q 7 e 1 e 2 e 3 ,
then the matrix A x M a t 8 ( Q ) is of the form
q 0 q 1 q 2 q 3 q 4 q 5 q 6 q 7 0 q 0 0 0 q 2 0 q 3 q 5 0 0 q 0 0 q 1 q 3 0 q 6 0 0 0 q 0 0 q 2 q 1 q 4 0 0 0 0 q 0 0 0 q 3 0 0 0 0 0 q 0 0 q 1 0 0 0 0 0 0 q 0 q 2 0 0 0 0 0 0 0 q 0 .
We denote by R the corresponding subalgebra in Mat 8 ( Q ) . It is clear that the radical J ( R ) consists of properly upper triangular matrices in R and A x Z ( R ) if and only if q 1 = q 2 = q 3 = 0 . In addition, Soc R R = { A x = ( a i j ) R a i j = 0 , i 1 , j 8 } and Soc R C = { A x = ( a i j ) Z ( R ) a i i = 0 } . Since Soc ( R C ) Soc R R , the corresponding condition of Remark 25(b) is not necessary.
Theorem 20.
Let A be a strongly indecomposable Abelian torsion-free group of finite rank, Q End A be the quasi-endomorphism algebra, and let A PSoc A .
a.
If Q End A is a centrally essential ring, then the ring Q End A / J ( Q End A ) is commutative and Z ( Q End A ) M 0 for every minimal right ideal M of the ring Q End A .
b.
Let the ring Q End A / J ( Q End A ) be commutative,
Soc ( Q End A Q End A ) = Soc ( Q End A Z ( Q End A ) )
and Z ( Q End A ) M 0 for every minimal right ideal M of the ring Q End A . Then the ring Q End A is centrally essential.
c.
Let n > 1 be an odd integer. There exists a strongly indecomposable Abelian torsion-free group A ( n ) of rank 2 n such that its endomorphism ring is a non-commutative centrally essential ring.
Proof. 
a,b.
It is known that the ring Q End A is a local Artinian ring (e.g., see [28] [Corollary 5.3]). It remains to use Remark 25.
c.
By Theorem 7, the Grassmann algebra Λ ( V ) over a field F of characteristic 0 or p 2 is a centrally essential ring if and only if the dimension of the space V is odd. We set F = Q . It is known (e.g., see [47]) that every Q -algebra of dimension n can be realized as the quasi-endomorphism ring of an Abelian torsion-free group of rank n. Therefore, we consider Example 25 and Proposition 28 and obtain the required property.
Under the conditions of Theorem 20, if the rank of the group A is square free, then the ring Q End A / J ( Q End A ) is commutative [43] [Lemma 4.2.1]. By considering Proposition 28, we obtain Corollary 7.
Corollary 7.
Let A be a strongly indecomposable Abelian torsion-free group of finite rank, A PSoc A , and let the rank of the group A be square-free.
a.
If the endomorphism ring End A of the group A is centrally essential, then Z ( Q End A ) M 0 for every minimal right ideal M of the ring Q End A .
b.
If for every minimal right ideal M of the ring Q End A , we have Soc ( Q End A Q End A ) = Soc ( Q End A Z ( Q End A ) ) and Z ( Q End A ) M 0 , then the ring End A is centrally essential.
Example 13.
Let R = Z [ x , y ] be the polynomial ring in two variables x and y. We use the construction described in [20] [Proposition 7]. We consider the ring
T ( R ) = f d 1 ( f ) g 0 f d 2 ( f ) 0 0 f f , g Z [ x , y ] ,
where d 1 , d 2 are two derivations of the ring Z [ x , y ] , d 1 = x , d 2 = y . The ring T ( R ) is not commutative and J ( R ) = e 13 R Z ( T ( R ) ) , where e 13 is the matrix unit; ([20], Corollary 8). If 0 a T ( R ) \ Z ( T ( R ) ) , then 0 a e 13 Z ( T ( R ) ) . Therefore, T ( R ) is centrally essential. Since T ( R ) is a countable ring with reduced additive torsion-free group, it follows from the familiar Corner theorem (e.g., see ([28], Theorem 29.2)) that the ring T ( R ) contains M of Abelian groups A i such that End A i T ( R ) and Hom ( A i , A j ) = 0 for all i j , where M is an arbitrary predetermined cardinal number; see [48,49]. We note that the endomorphism ring of a direct sum of such groups is a non-commutative centrally essential ring, as well.

5. Distributive and Uniserial Rings

5.1. Uniserial Artinian Rings

This subsection is based on [14].
The following fact is well known and is directly verified.
Lemma 12.
Let R be a ring with Jacobson radical J = J ( R ) . If J is nilpotent of nilpotence index n, then the following conditions are equivalent.
(a)
J k 1 / J k is a simple left R-module for all k = 1 , . . o t s , n (we assume that J 0 = R ).
(b)
R is a left uniserial, left Artinian ring.
(c)
R is a local ring and J is a principal left ideal of R.
Lemma 13.
Let R be a left uniserial, left Artinian ring, J = J ( R ) = R π , D = R ¯ be a division ring, and let σ : D D be the mapping defined by the relation
σ ( r ¯ ) = a ¯ , w h e r e a π = π r .
Then σ is a homomorphism from the division ring D into itself.
Proof. 
First, we note that the mapping σ is well defined. Indeed, the existence of the element a from (14) follows from the property that R π is a two-sided ideal. If r , r R , π r = a π , π r = a π , and r ¯ = r ¯ , then ( a a ) π = π ( r r ) J 2 . However, J / J 2 is an one-dimensional linear space over the division ring R ¯ generated by the element π + J 2 ; therefore, a a ¯ = 0 and a ¯ = a ¯ .
Second, for any two elements r 1 , r 2 R , we have
σ ( r 1 + r 2 ) ( π + J 2 ) = π ( r 1 + r 2 ) + J 2 = = π r 1 + π r 2 + J 2 = ( σ ( r 1 ) + σ ( r 2 ) ) ( π + J 2 ) , σ ( r 1 r 2 ) ( π + J 2 ) = π r 1 r 2 + J 2 = = σ ( r 1 ) ( π r 2 + J 2 ) = σ ( r 1 ) σ ( r 2 ) ( π + J 2 ) .
Therefore, σ is a ring homomorphism. □
Remark 26.
Without using special links, we often use the property that for any centrally essential local ring R, the division ring R ¯ is a field by Theorem 2. In particular, this is the case if R is a left or right uniserial centrally essential ring.
Proposition 30.
Let R be a left uniserial, left Artinian, centrally essential ring, C = Z ( R ) , and let J = J ( R ) . Then the homomorphism σ from Lemma 13 is the identity automorphism.
Proof. 
Let c be an element of the center of the ring R with c π C \ { 0 } . Let r be any element of the ring R. We have c = a π k + b , where b J k + 1 and a ¯ 0 . It follows from the relation r c = c r that a ¯ ( r ¯ σ k ( r ¯ ) ) = 0 ; then we have c π = a π k + 1 + b π and it follows from the relation r ( c π ) = ( c π ) r that a ¯ ( r ¯ σ k + 1 ( r ¯ ) ) = 0 . Since Ker ( σ ) = 0 , it follows from the relation σ k ( r ¯ ) = σ k + 1 ( r ¯ ) that r ¯ = σ ( r ¯ ) . □
Corollary 8.
If a left uniserial, left Artinian ring R is centrally essential, then R is a right uniserial, right Artinian ring.
Proof. 
If J ( R ) = R π for some element π J ( R ) , it follows from Proposition 30 that J ( R ) = π R + J ( R ) 2 and J ( R ) = π R by the Nakayama lemma. It remains to be noted that the right-sided analogue of condition c) of Lemma 12 holds. □
We recall that for a ring R, we denote by R ( S ) = { r R | r S = 0 } the left annihilator of an subset S of R. The right annihilator r R ( S ) is similarly defined.
Proposition 31.
Let R be a left Artinian, left uniserial ring with center C = Z ( A ) and Jacobson radical J and let n be the nilpotence index of the ideal J. If J [ n / 2 ] C , then the ring R is centrally essential.
Proof. 
First, we note that R ( J k ) = r R ( J k ) = J n k for any k = 0 , 1 , . . o t s , n . In particular,
R ( J [ n / 2 ] ) J [ n / 2 ] .
Let 0 r R . If r J n 2 , then r C . If r J n 2 , then it remarked above that r R ( J n 2 ) . Therefore, r J [ n / 2 ] 0 and r J ( R ) n 2 J ( R ) [ n / 2 ] C . In both cases, we have r C C 0 . □
Problem 3.
Is it true that the assertion, which is converse to Proposition 31, holds?
Now we prove that there exists a non-commutative uniserial centrally essential ring. For this purpose, we use the construction which is similar to the one described in [20].
For a field F, we recall that a derivation of F is an arbitrary endomorphism of the additive the group ( F , + ) which satisfies the relation δ ( a b ) = a δ ( b ) + δ ( a ) b for any two elements f , b F . General properties of derivations are given, e.g., in [50] [§II.17]. Any field has the trivial derivation F 0 . An example of a non-trivial derivation is the ordinary derivation on the field of rational functions.
For a ring R, we denote by [ a , b ] the commutator a b b a of two elements a , b of the ring R and we denote by [ A , b ] the ideal of R generated by the set { [ a , b ] | a A , b B } , where A , B are any two subsets of R. For any three elements a , b , c R , we have the following well-known properties of commutators: [ a , b ] = [ b , a ] , [ a b , c ] = a [ b , c ] + [ a , c ] b .
Example 14.
Let F be a field with non-trivial derivation δ. Then there exists a non-commutative Artinian uniserial centrally essential ring R with R / J ( R ) F .
We consider a mapping f : F M 3 ( F ) from the field F into the ring of 4 × 4 matrices over F defined by the relation
a F , f ( a ) = a 0 0 0 0 a 0 0 δ ( a ) 0 a 0 0 0 0 a .
It is directly verified that f is a ring homomorphism. We set
x = 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 .
We consider the subring R of the ring M 3 ( F ) generated by the set f ( F ) { x } . It is easy to see that x f ( a ) = f ( a ) x + f ( δ ( a ) ) x 3 for any a A . Therefore, R x = x R , ( R x ) 4 = 0 and R / R x F . It follows from Lemma 12 that R is a uniserial Artinian ring.
Since R x 2 Z ( R ) , it follows from Proposition 31 that ring R is centrally essential.
Finally, if a R and δ ( a ) 0 , then [ x , f ( a ) ] = f ( δ ( a ) ) x 3 0 , therefore, ring R is not commutative.
Proposition 32.
Let R be a uniserial Artinian ring with radical J = R π such that R ¯ is a field and [ r , π ] J 2 for any r R . If ring R is not commutative, then field F has a non-trivial derivation.
Proof. 
Let γ : R ¯ R be an arbitrary mapping such that γ r ¯ ¯ = r ¯ for any r R ; in other words, γ ( r ¯ ) is a fixed representative of the coset r + J . Without loss of generality, we can assume that γ ( 0 ¯ ) = 0 . We set Γ = γ ( R ¯ ) . Then any element r R is uniquely represented as the sum
r = i = 0 n 1 g i π i ,
where g i Γ for all i = 0 , 1 , . . o t s , n 1 (we assume that π 0 = 1 ). Indeed, r g 0 J for the unique element g 0 = r ¯ . Next, if g 0 , . . o t s , g k 1 are already defined with s = r i = 0 k 1 g i π i J k , where 0 < k < n , then the next coefficient is uniquely defined as γ ( λ ) from the relation
s + J k + 1 = λ ( π k + J k + 1 ) , λ R ¯ .
For k = n 1 , we obtain the required representation.
First, we assume that π Z ( R ) . By (15), we have [ Γ , π ] 0 . Let n ( R ) be the nilpotence index of J ( R ) . Then [ Γ , π ] = J k for some integer k with 2 k < n ( R ) . By the induction on the positive integer m, we prove that [ Γ , π m ] J m 1 + k for any m > 0 . Indeed, this is true for m = 1 by the choice of k. Further for any g Γ , we have
[ g , π m + 1 ] = π [ g , π m ] + [ g , π ] π m J J m 1 + k + J k π m J m + k .
Thus, for any g , h Γ , we have [ g , [ h , π ] ] = [ g , x π k ] for some x R . Therefore,
[ g , [ h , π ] ] = [ g , x ] π k + x [ g , π k ] J π k + J 2 k 1 J k + 1 ,
Since k 2 . It follows that [ h g , π ] = h [ g , π ] + [ h , π ] g =
= h [ g , π ] + g [ h , π ] [ g , [ h , π ] ] h [ g , π ] + g [ h , π ] + J k + 1 .
Since J k / J k + 1 is a simple left module, it is an one-dimensional left vector space over the field R ¯ with a basis consisting of one element v = π k + J k + 1 . We define a mapping δ π : R ¯ R ¯ by the rule
[ γ ( r ¯ ) , π ] + J k + 1 = δ π ( r ¯ ) v f o r a n y r R .
If r R π m for some m > 0 , we have that the coefficients g 0 , . . o t s , g m 1 of the representation (15) are equal to 0; therefore, [ r , π ] = i = m n 1 [ g i , π ] π i J k + m . Therefore, for any r , s R , we have
[ γ ( r ¯ ) γ ( s ¯ ) , π ] + J k + 1 = [ γ ( r ¯ s ¯ ) , π ] + J k + 1 = δ π ( r ¯ s ¯ ) v .
On the other hand, it follows from (16) that
[ γ ( r ¯ ) γ ( s ¯ ) , π ] = γ ( r ¯ ) [ γ ( s ¯ ) , π ] + [ γ ( r ¯ ) , π ] γ ( s ¯ ) + J k + 1 =
= ( r ¯ δ π ( s ¯ ) + s ¯ δ π ( r ¯ ) ) v ;
Therefore, δ π ( r ¯ s ¯ ) = r ¯ δ π ( s ¯ ) + s ¯ δ π ( r ¯ ) . The relation δ π ( r ¯ + s ¯ ) = δ π ( r ¯ ) + δ π ( s ¯ ) is similarly verified. Consequently, δ π is a non-trivial derivation of the field R ¯ .
Now we assume that π Z ( R ) . Then [ Γ , Γ ] = J k where 1 k < n ( R ) . We choose an element f Γ such that [ Γ , f ] ¬ J k + 1 and define a new mapping δ f : R ¯ R ¯ by the rule
[ γ ( r ¯ ) , f ] + J k + 1 = δ f ( r ¯ ) v f o r a n y r R ,
where v = π k + J k + 1 . We verify that δ f is a derivation. First, we note that [ J , Γ ] J k + 1 , since, for r J , we have g 0 = 0 in the representation (15) and
[ r , g ] = i = 1 n 1 [ g i , g ] π i i = 1 n 1 J k π i = J k + 1
for any g Γ . It follows that for any r , s R , we have
[ γ ( r ¯ ) γ ( s ¯ ) , f ] + J k + 1 = [ γ ( r ¯ s ¯ ) , f ] + J k + 1 = δ f ( r ¯ s ¯ ) v .
On the other hand, for any r , s R , we have
[ γ ( r ¯ ) γ ( s ¯ ) , f ] = γ ( r ¯ ) [ γ ( s ¯ ) , f ] + [ γ ( r ¯ ) , f ] γ ( s ¯ ) = γ ( r ¯ ) [ γ ( s ¯ ) , f ] + γ ( s ¯ ) [ γ ( r ¯ ) , f ] [ γ ( s ¯ ) , [ γ ( r ¯ ) , f ] γ ( r ¯ ) [ γ ( s ¯ ) , f ] + γ ( s ¯ ) [ γ ( r ¯ ) , f ] + [ Γ , J ] γ ( r ¯ ) [ γ ( s ¯ ) , f ] + γ ( s ¯ ) [ γ ( r ¯ ) + J k + 1 = ( r ¯ δ f ( s ¯ ) + s ¯ δ f ( r ¯ ) ) v .
Consequently δ f ( r ¯ s ¯ ) = r ¯ δ f ( s ¯ ) + s ¯ δ f ( r ¯ ) . The relation δ f ( r ¯ + s ¯ ) = δ f ( r ¯ ) + δ f ( s ¯ ) is similarly verified. It follows that δ f is a non-trivial derivation of the field R ¯ . □
For a field F, it is well known (e.g., see [50] [§II.17]) that F does not have a non-trivial derivation, provided that F is a separable algebraic extension of its prime subfield (all finite fields and all fields of algebraic numbers are such fields) or F is a perfect field (i.e., char F = p > 0 and F p = F ).
Theorem 21.
A field F does not have a non-trivial derivation if and only if any left uniserial, left Artinian, centrally essential ring R with R / J ( R ) F is commutative.
Proof. 
Theorem 21 follows from Proposition 32 and Proposition 30. □
For a ring R and any element r (respectively, a subset S) of the ring R, we set r ¯ = r + J ( R ) R / J ( R ) (respectively, S ¯ = { s ¯ | s S } ). In particular, R ¯ = R / J ( R ) .
Theorem 22.
a.
Every finite, left uniserial, centrally essential ring R is commutative.
b.
There exists a non-commutative uniserial Artinian centrally essential ring.
Proof. 
a.
For the finite local ring R, the division ring R ¯ is a field by the Wedderburn theorem [22] [Theorem 3.1.1]. In addition, this field does not have a non-zero derivation. Then the ring R is commutative by Theorem 21.
b.
The assertion follows from Example 14.

5.2. Uniserial Noetherian Rings

This subsection is based on [14,16].
Remark 27.
a.
It is directly verified that the ring A is a right (respectively, left) uniserial, right (respectively, left) Noetherian ring if and only if R is a local principal right (respectively, left) ideal ring.
b.
It follows from a and Theorem 1 that centrally essential uniserial Noetherian semiprime rings coincide with commutative local principal right ideal domains.
c.
There exist right uniserial, right Noetherian rings, which are neither prime rings nor right Artinian rings, e.g., see [26] [Example 9.10(3)].
For convenience, we give brief proofs of the following two well-known assertions.
Remark 28.
a.
Let A be a right uniserial ring and B a completely prime ideal of A. Then B = a B for every a A \ B .
b.
Let A be a commutative domain which has a non-zero finitely generated divisible torsion-free A-module M. Then A is a field.
Proof. 
a.
Let a A \ B . Since a A ¬ B , we have B a A . Therefore, for every x B , there exists an element b A with x = a b . Since B is a completely prime ideal, b B and x a B .
b.
Let us assume the contrary. Then A has a non-zero maximal ideal m and M naturally turns into a non-zero finitely generated module over the local ring R m with radical J = m R m . Since the module M is divisible, we have that M J M m = M and M = 0 by the Nakayama lemma. This is a contradiction.
Lemma 14.
Let A be a local ring and let J ( A ) = π A for some element π A of nilpotence index n (maybe, n = ). For any two integers k , and each a , b A such that k , 0 , k + < n , a π k A \ π k + 1 A and b π l A \ π + 1 A , we have a b π k + A \ π k + + 1 A .
Proof. 
It follows from the inclusion A π π A that a b π k + A . If π m π m + 1 A for some m 0 , then it is clear that π m ( 1 π t ) = 0 for some t A and π m = 0 since 1 π t A . We set a = π k r and b = π s for some r , s A \ J ( A ) . Then r , s A , since the ring A is local and r π π l A \ π + 1 A . Consequently, r π = π r for some r A and a b = π k + r s . It remains to be remarked that a b π k + + 1 A since r s A and π k + 0 . □
Lemma 15.
A right uniserial, right Artinian, centrally essential ring is a left uniserial, left Artinian ring.
Proof. 
Let A be a right uniserial, right Artinian, centrally essential ring, N = J ( A ) , and let n be the nilpotence index of the ideal N. If n = 1 , then the ring A is commutative by Theorem 1.2.2; there is nothing to prove in this case. Any right uniserial ring is a local ring; therefore, every element of A \ N is invertible. Let n > 1 , i.e., N 0 . Since a right Noetherian (e.g., a right Artinian) right uniserial ring is a principal right ideal ring, N = π A for some element π N . There exist two elements x , y Z ( A ) with π x = y 0 . Let x N k \ N k + 1 for some k, 0 k < n . Then y N k + 1 , whence k + 1 < n . If [ a , π ] N 2 , then it follows from Lemma 14 that [ a , π ] x N k + 2 ; consequently, [ a , π ] x 0 . However, [ a , π ] x = [ a , π x ] = [ a , y ] = 0 . This is a contradiction; therefore, [ a , π ] N 2 for every a A . Consequently, N = A π + N 2 , whence N / A π = N ( N / a π ) = . . o t s = N n ( N / A π ) = 0 , i.e., N = A π . It follows from the left-side analogue of Lemma 14 that every left ideal of the ring A coincides with one of the ideals A , N , N 2 , . . o t s , N n 1 , { 0 } , i.e., A is a left uniserial, left Artinian ring. □
Theorem 23.
For a ring A, the following conditions are equivalent.
(a)
A is a right uniserial, right Noetherian, centrally essential ring.
(b)
A is a left uniserial, left Noetherian, centrally essential ring.
(c)
A is a commutative local principal ideal domain or a uniserial Artinian ring.
Proof. 
It is sufficient to prove the equivalence of conditions (a) and (c).
(c) ⇒ (a). The implication is directly verified.
(a) ⇒ (c). We set N = Sin g A A . The ideal N is nilpotent, e.g., see [26] [9.2]. It follows from Proposition 1(c,d) that the ideal N is completely prime and contains all zero-divisors of the ring R and the ring A / N is a commutative domain.
Therefore, the proposition is true for N = 0 . Now let N 0 . We denote by n the nilpotence index of the ideal N. Then 0 N n 1 A ( N ) . It follows from Proposition 1(e) that N n 1 Z ( A ) . Next, for every a A \ N , we have N = a N by Remark 28(a), whence N n 1 = a N n 1 = N n 1 a . Consequently, N n 1 is a divisible right ( A / N ) -module and N n 1 is a torsion-free ( A / N ) -module since all zero-divisors of the ring A are contained in N. By Remark 28(b), the ring A / N is a field and each of the cyclic ( A / N ) -modules ( N k 1 / N k ) for k = 1 , . . o t s , n is a simple module. Consequently, the right uniserial ring A is right Artinian. By Lemma 15, A is a uniserial Artinian ring. □
Example 15.
Let F be a field and let D 1 , D 2 : F F be two derivations of the field F with incomparable kernels (for example, we can take the field of rational functions Q ( x , y ) in two independent variables as F and set D 1 = / x , D 2 = / y ).
Then for every positive integer n 2 , there exists a non-commutative uniserial, Artinian, centrally essential ring A such that A / J ( A ) F and the nilpotence index of J ( A ) is equal to n.
Proof. 
We use a construction which is similar to the one described in [20]. Let N = 2 n 1 , R = M N ( F ) be the matrix ring of order N over the field F, let e i , j denote the matrix unit for any i , j { 1 , . . o t s , N } , and let f : F R be the mapping defined by the rule
f ( α ) = α E + D 1 ( α ) e 1 , N 1 + D 2 ( α ) e N 1 , N
for every α F , where E is the identity matrix. Let A be the subring of the ring R generated by the set f ( F ) and the matrix π = i = 1 n 1 e 2 i 1 , 2 i + 1 . It is directly verified that π n = 0 , π n 1 = e 1 , N , f ( α ) π = π f ( α ) = α π and
[ f ( α ) , f ( β ) ] = ( D 1 ( α ) D 2 ( β ) D 1 ( β ) D 2 ( α ) ) π n 1
for any α , β F . It follows from these relations that π A = A π = J ( A ) , J ( A ) k = π k A = A π k for all k = 1 , . . o t s , n 1 and π A Z ( A ) . It is clear that A is a uniserial Artinian ring. If a A \ { 0 } and a π A , then a Z ( A ) ; otherwise, a π n 1 Z ( A ) \ { 0 } and X n 1 Z ( A ) . Consequently, the ring A is centrally essential.
Finally, if α Ker D 2 \ Ker D 1 and β Ker D 1 \ Ker D 2 , then
[ f ( α ) , f ( β ) ] = D 1 ( α ) D 2 ( β ) X n 1 0 ,
i.e., the ring A is not commutative. □
Remark 29.
Until the end of Section 5.2, we assume that A is a non-simple ring and φ : A A is an injective homomorphism from the ring A into itself such that φ ( A \ { 0 } ) A .
We denote by A r [ [ x , φ ] ] the right skew power series ring in the sense of [26] [9.8]; this ring consists of all formal series k = 0 + x k a k , a k A , the addition of series is component-wise and the multiplication is naturally defined with the use of the rule a x k = x k φ k ( a ) .
Lemma 16.
Let A be a non-simple ring, R = A r [ [ x , φ ] ] , and let I be a non-zero two-sided ideal of R. Then I = x m B + x m + 1 R for some n 0 and some non-zero right ideal B of A, which is a left φ m ( A ) -module (we assume that φ 0 is the identity mapping).
Proof. 
Let 0 I R . Since i = 0 x m R = 0 , there exists an integer m 0 such that I x m R and I ¬ x m + 1 R . Let f I \ x m + 1 R , then it follows from [26] [9.9(3)] (there is a misprint in the text of [26] [9.9(3)]: the correct relation is M N e i t h e r m > n o r m = n a n d D E .) that f R = x m D R for some non-zero principal right ideal D of the ring A; in addition, we set E = R , n = m + 1 and obtain f R x n R . It remains to set B = { b A | x m b + x m + 1 R I } . We multiply the elements of I from the left and right by elements of the ring A and obtain that B is a ( φ m ( A ) , A ) -sub-bimodule in A. □
Lemma 17.
Let A be a non-simple ring, R = A r [ [ x , φ ] ] , and let Z ( A ) ¬ A { 0 } . Then x R Z ( R ) = 0 .
Proof. 
We choose a Z ( A ) \ ( A { 0 } ) . Let f = i = 1 x i f i x R Z ( R ) . Then it follows from the relation [ a , f ] = 0 that φ i ( a ) f i = f i a = a f i for any i > 0 . The relation a = φ i ( a ) is impossible for i > 0 , since a A { 0 } and the ring A is a domain; therefore, f i = 0 for all i > 0 , i.e., f = 0 . □
Proposition 33.
Let A be a non-simple PI ring, R = A r [ [ x , φ ] ] , and let I be an ideal of R. Then R / I is a PI ring if and only if I 0 .
Proof. 
Let I 0 . By Lemma 16, we have that I x n R = ( x R ) n for some n > 0 . If f ( x 1 , . . o t s , x t ) is an admissible identity of the ring A = R / x R , then the admissible identity
f ( x 1 , . . o t s , x t ) f ( x t + 1 , . . o t s , x 2 t ) . . o t s f ( x ( n 1 ) t + 1 , . . o t s , x n t )
holds in the ring R / I .
Let R / I be a PI ring. We have to prove that R is not a PI ring under the conditions of the proposition. The rings A and R are domains; see [26] [9.9(1)].
We need the following well-known fact ( ) ; see [51] [Theorem 2].
If S is a semiprime PI ring, and I is a non-zero two-sided ideal of the ring S, then Z ( S ) I 0 .
By applying ( ) to the proper non-zero ideal B of the ring A, we obtain that 0 Z ( A ) B ¬ A . By Lemma 17, x R Z ( R ) = 0 ; in addition, x R is a non-zero two-sided ideal of the semiprime ring R. We again use ( ) and see that R cannot be a PI ring. □
Proposition 34.
Let A be a commutative non-simple ring, R = A r [ [ x , φ ] ] , and let I be an ideal of the ring R. Then the following conditions are equivalent.
(a)
I x R .
(b)
R / I is a commutative ring.
(c)
The ring R / I is centrally essential.
Proof. 
The implications (a) ⇒ (b)⇒ (c) are directly verified. Let us assume that (c) holds. Since the ring A is not simple (in the commutative case, this means that A is not a field), we have A = Z ( A ) ¬ A { 0 } , whence x R Z ( R ) = 0 by Lemma 17; this is impossible in a centrally essential ring. Consequently, I 0 .
By Lemma 16, we have I = x m B + x m + 1 R , where B is a non-zero ideal of the ring A. If m = 0 , then a holds. We assume that m > 0 . For any element r R , we set r ^ = r + I R ^ = R / I . Since I x R , we can identify the elements a and a ^ for any a A . Then any element of the ring R ^ can be considered the sum f = f 0 + x ^ 1 f 1 + . . o t s + x ^ m f m , where f i A , i = 0 , 1 , . . o t s , m , the coefficients f 0 , . . o t s , f m 1 are uniquely defined and f m is determined up to a summand which is an arbitrary element of B. Let f Z ( R ^ ) . It follows from the relation [ a , f ] = 0 (where a A ) that φ i ( a ) f i = f i a = a f i for any i = 0 , 1 , . . o t s , m 1 . If a is a non-zero non-invertible element of the ring A, we obtain a φ i ( a ) for i > 0 , whence f 1 = . . o t s = f m 1 = 0 . By c), there exist two elements c , d Z ( R ^ ) such that x ^ c = d 0 . We set c = c 0 + x ^ m c m . Then d = x ^ c = x ^ c 0 , since x ^ m + 1 = 0 . First, we assume that m > 1 . Then it follows from the inclusion d Z ( R ^ ) that c 0 = 0 and d = 0 ; this is a contradiction. Thus, m = 1 . Let c = c 0 + x ^ c 1 Z ( R ^ ) . For b B \ { 0 } , it follows from the relation [ c , b ] = 0 that x ^ ( c 1 b c 1 φ ( b ) ) = 0 ; therefore, c 1 b c 1 φ ( b ) B and c 1 φ ( b ) B and we have c 1 B , since φ ( b ) is invertible, i.e., c = c 0 . We assume that B is a proper ideal of the ring A. Then x ^ 0 and for some c 0 Z ( R ^ ) , we have d = x ^ c 0 Z ( R ^ ) \ { 0 } . Similar to the above case with c, it follows from the relation [ d , b ] = 0 that c 0 B , i.e., d = 0 . This contradiction shows that B = A and I = x A + x 2 R = x R . □
Example 16.
There exists a right uniserial, right Noetherian, non-semiprimary PI ring R ^ with prime radical N ^ and Jacobson radical M ^ such that R ^ is not centrally essential, and R ^ is not left Noetherian or left uniserial, R ^ / N ^ is a commutative discrete valuation domain, N ^ is a minimal right ideal, and N ^ = M ^ N ^ N ^ M ^ = 0 .
Proof. 
Let A be a non-simple ring and R = A r [ [ x , φ ] ] . We use the example [26] [9.10], where N = x R and 0 N M N . Then R ^ = R / ( N M ) is a PI ring by Proposition 33; however, it is not a centrally essential ring by Proposition 34. □
Remark 30.
With the use of the above results of Section 5.2, it is easy verified that J n 1 C under the conditions of Example 16. On the other hand, the following example shows that the inclusion J n 2 + 1 C does not necessarily imply that the left uniserial, left Artinian ring R is centrally essential.
Example 17.
Let F = G F ( 4 ) , F 0 = G F ( 2 ) F , and let σ : x x 2 be the Frobenius automorphism of the field F. We consider the skew polynomial ring S = F [ X , σ ] and its factor ring R = S / ( X 3 ) . Then R is a left and right uniserial ring, left and right Artinian ring, J ( R ) is a nilpotent ideal of nilpotence index 3, and J ( R ) 3 2 + 1 Z ( R ) ; however, R is not centrally essential.
Proof. 
It is clear that F = F 0 [ θ ] , where θ is a root of the irreducible polynomial t 2 + t + 1 F 0 [ t ] . We denote by x the image of the variable X under the canonical homomorphism from the ring S onto R and identify the elements of the field F with their images in R. It is directly verified that J ( R ) = ( x ) , n = 3 is the nilpotence index of the ideal J = J ( R ) and the left (and right) modules J / J 2 and J 2 are one-dimensional vector spaces over F = R / J . Consequently, R is a left and right uniserial, left and right Artinian ring by Lemma 12. We consider the element r = a 0 + a 1 x + a 2 x 2 . It follows from the relation x 3 = 0 that
[ r , x ] = r x x r = ( a 0 σ ( a 0 ) ) x + ( a 1 σ ( a 1 ) x 2 and
[ r , θ ] = ( a 1 σ ( θ ) a 1 θ ) x + ( a 2 σ 2 ( θ ) θ a 2 ) x 2 = a 1 x ,
since σ 2 is the identity automorphism and σ ( θ ) = θ + 1 . Therefore, Z ( R ) = F 0 + F x 2 since x and θ generate the ring R (as a ring). It remains to be noted that Z ( R ) x = F 0 x and F 0 x ( F 0 + F x 2 ) = 0 . □

5.3. Rings with Flat Ideals

The results of this subsection based on [52].
For a ring R, we write w . gl . dim . R 1 if R is a ring of weak global dimension at most one, i.e., R satisfies the following equivalent (the equivalence of the conditions is well known; e.g., see [26] [Theorem 6.12]) conditions.
  • For every finitely generated right ideal X of R and each finitely generated left ideal Y of R, the natural group homomorphism X R Y X Y is an isomorphism.
  • Every finitely generated right (respectively, left) ideal of R is a flat (a right R-module X is said to be flat if for any left R-module Y, the natural group homomorphism X Y X Y is an isomorphism) right (respectively, left) R-module.
  • Every right (respectively, left) ideal of R is a flat right (respectively, left) R-module.
  • Every submodule of any flat (right or left) R-module is flat.
Since every projective module is a flat module, any right or left (semi)hereditary (a module M is said to be hereditary (respectively, semihereditary) if all submodules (respectively, finitely generated submodules) of M are projective, the ring is of weak global dimension, at most one. We also recall that ring R is of weak global dimension zero if and only if R is a von Neumann regular ring, i.e., r r R r for every element r of R. Von Neumann regular rings are widely used in mathematics; see [53,54].
Theorem 24
([55] [Theorem]). A commutative ring R is a ring of weak global dimension of at most one if and only if R is an arithmetical semiprime ring.
It is clear that a commutative ring is right (respectively, left) distributive if and only if the ring is arithmetical.
Example 18.
There exists a right hereditary ring R, which is neither right distributive nor semiprime; in particular, the right hereditary ring R is of weak global dimension at most one.
Let F be a field and let R be the 5-dimensional F-algebra consisting of all 3 × 3 matrices of the form f 11 f 12 f 13 0 f 22 0 0 0 f 33 , where f i j F . Ring R is not semiprime, since the set 0 f 12 f 13 0 0 0 0 0 0 is a non-zero nilpotent ideal of R. Let e 11 , e 22 and e 33 be ordinary matrix units. The ring R is not right or left distributive since every idempotent of a right or left distributive ring is central, see [56], but the matrix unit e 11 of R is not central. To prove that the ring R is right hereditary, it is sufficient to prove that R R is a direct sum of hereditary right ideals. We have that R R = e 11 R e 22 R e 33 R , where e 22 R and e 33 R are projective simple R-modules; in particular, e 22 R and e 33 R are hereditary R-modules. Any direct sum of hereditary modules is hereditary; see [57] [39.7, p.332]. Therefore, it remains to show that the R-module e 11 R = e 11 F + e 12 F + e 13 F is hereditary, which is directly verified.
The following lemma is well known, e.g., see [26] [Assertion 6.13].
Lemma 18.
Let R be a ring whose principal right ideals are flat. If r and s are two elements of R with r s = 0 , then there exist two elements a , b R such that a + b = 1 , r a = 0 , and b s = 0 .
Lemma 19.
There exists a right and left uniserial prime ring R, which has a non-flat principal right ideal.
Proof. 
There exists a right and left uniserial prime ring R with two non-zero elements r , s R such that r s = 0 ; see [58] [p. 234, Corollary]. The uniserial ring R is local; therefore, the non-invertible elements of R form the Jacobson radical J ( R ) of R. The ring R is not a ring whose principal right ideals are flat. Indeed, let us assume the contrary. By Lemma 18, there exist two elements a , b R such that a + b = 1 , r a = 0 , and b s = 0 . We have that either a R b R or b R a R ; in addition, a R + b R = R = R a + R b . Therefore, at least one of the elements a , b of the local ring R is invertible; in particular, this invertible element is not a right or left zero divisor. This contradicts the relations r a = 0 and b s = 0 . □
Lemma 20.
Let R be a centrally essential ring whose principal right ideals are flat. Then the ring R does not have non-zero nilpotent elements.
Proof. 
Indeed, let us assume that there exists a non-zero element r R with r 2 = 0 . Since the ring R is centrally essential, there exist two non-zero central elements x , y R with r x = y . Since r 2 = 0 , we have that y 2 = ( r x ) 2 = r 2 x 2 = 0 . Since y 2 = 0 , it follows from Lemma 18 that there exist two elements a , b R such that a + b = 1 , r y = 0 , and b y = y b = 0 . Then y = y ( a + b ) = y a + y b = 0 . This is a contradiction. □
Theorem 25.
For a centrally essential ring R, the following conditions are equivalent.
a.
R is a ring of weak global dimension at most one.
b.
R is a right (respectively, left) distributive semiprime ring.
c.
R is an arithmetical semiprime ring
Proof. 
a ⇒ b. Since R is a centrally essential ring of weak global dimension at most one, it follows from Lemma 20 that the ring R does not have non-zero nilpotent elements. By Theorem 1, the centrally essential semiprime ring R is commutative. By Theorem 24, R is an arithmetical semiprime ring. Any commutative arithmetical ring is right and left distributive.
The implication b ⇒ c follows from the property that every right or left distributive ring is arithmetical.
c ⇒ a. Since R is a centrally essential semiprime ring, it follows from Theorem 1 that the ring R is commutative; in particular, R is centrally essential. In addition, R is arithmetical. By Theorem 24, the ring R is of weak global dimension of at most one. □
Remark 31.
It follows from Lemma 19 that the implication b ⇒ c of Theorem 25 is not true for arbitrary rings.
Corollary 9.
A ring R is a right (respectively, left) hereditary, right (respectively, left) Noetherian, centrally essential ring if and only if R is a finite direct product of commutative Dedekind domains.
Consequently, a ring R is a right (respectively, left) hereditary, right (respectively, left) Noetherian, indecomposable, centrally essential ring if and only if R is a commutative Dedekind domain.
Proof. 
Since the right or left Noetherian ring R is a finite direct product of right or left Noetherian rings, we can assume that R is a right or left Noetherian indecomposable ring. In this case, it well known that R is a commutative hereditary ring if and only if R is a commutative Dedekind domain. Now we can use Theorem 25 and the well-known property that every flat module over a Noetherian ring is projective. □

5.4. Distributive Noetherian Rings

The results of this subsection are based on [59].
Proposition 35.
A ring R is a right (respectively, left) distributive, right (respectively, left) Noetherian, semiprime, centrally essential ring if and only if R is a finite direct product of commutative Dedekind domains.Consequently, a ring R is a right (respectively, left) distributive, right (respectively, left) Noetherian, indecomposable, centrally essential ring if and only if R is a commutative Dedekind domain.
Proof. 
The assertion follows from Corollary 9 and the following well-known property: a commutative ring is a Dedekind domain if and only if R is a commutative distributive Noetherian domain. □
Definition 1
(The Notation . . in Lemmas 21–23). Let A be a ring, X be a right A-module, and let X 1 , X 2 be two subsets in X.
We denote by ( X 1 . . X 2 ) the subset { a A X 1 a X 2 } of the ring A. If X 2 is a submodule in X, then ( X 1 . . X 2 ) is a right ideal of the ring A. If X 1 and X 2 are two submodules in X, then ( X 1 . . X 2 ) is an ideal in A.
We use some familiar properties of distributive modules and rings. For the convenience of readers, these properties are gathered in Lemmas 21–23.
Lemma 21
([56]). Let A be a ring and let X be a distributive right A module.
a.
For any two elements x , y X , there exist elements a , b A such that a + b = 1 and x a A + y b A x A y A . Consequently, A = ( x . . y A ) + ( y . . x A ) for any elements x , y X .
In particular, if x A y A = 0 , then there exist elements a , b A such that a + b = 1 and x a A = y b A = 0 .
b.
Hom ( Y , Z ) = 0 for any submodules Y , Z of the module X such that Y Z = 0 .
c.
All idempotents of the ring End M are central.
In particular, all idempotents of any right distributive ring are central. Therefore, the right distributive ring A is indecomposable into the ring direct product if and only if A does not have non-trivial idempotents.
d.
If the ring A is local, then M is a uniserial module.
In particular, right distributive local rings coincide with right uniserial rings.
e.
If M is a Noetherian module, then M is an invariant (a module M is said to be invariant if every submodule of M is fully invariant in M) module.
In particular, any right distributive right Noetherian ring is right invariant.
Proof. 
a.
Since ( x + y ) A = ( x + y ) A x A + ( x + y ) A y A , there exist elements c , d A such that x + y = x c = y d . Then x ( 1 c ) A + y ( 1 d ) A x A y A .
We set T = x A y A . Since ( x + y ) A = ( x + y ) A x A + ( x + y ) A y A , there exist elements b , d A such that
( x + y ) b x A , ( x + y ) d y A , x + y = ( x + y ) b + ( x + y ) d .
Therefore, y b = ( x + y ) b x b T and x d = ( x + y ) d y d T . We set a = 1 b and z = a d = 1 b d . Then
1 = a + b , ( x + y ) z = ( x + y ) ( x + y ) b ( x + y ) d = 0 ,
x a = x d + x z = x d + ( x + y ) z y z = x d y z ,
y z = x z T , x a T .
b.
Let f Hom ( Y , Z ) , y Y and z = f ( y ) Z . By (a), there exists an element a A such that
y a A + z ( 1 a ) A y A z A Y Z = 0 ,
y a = z ( 1 a ) = 0 , z = z a = f ( y ) a = f ( y a ) = f ( 0 ) = 0 .
Therefore, f 0 and Hom ( X , Y ) = 0 .
c.
With the use of (b), the assertion is directly verified.
d.
Let x , y X . It is sufficient to prove that the submodules x A and y A are comparable with respect to inclusion. By (a), there exist elements a , b , c , d A such that 1 = a + b and x a A + y b A x A y A . Since the ring A is local and 1 = a + b , at least one of the right ideals a A , b A coincides with A. Therefore, at least one of inclusions x A y A , y A x A holds.
e.
The assertion is proved in [56].
The following Lemma 22 is a direct corollary of Lemma 21(d) and [60] [Proposition 2].
Lemma 22
([60] [Proposition 2]). A is a right distributive, right Noetherian, semiprime ring if and only if A is a finite direct product of right distributive, right Noetherian, right invariant domains.
Lemma 23
([61] [Lemma 20]). Let A be a right invariant ring and let M be a distributive right A-module.
a.
A = ( Y . . X ) + ( X . . Y ) for any finite generated submodules X, Y of the module M.
b.
For any submodule Z of an arbitrary finitely generated submodule Z of the module M, there exists an ideal A of the ring A such that Z A = Z .
c.
If M is a finite generated module, then M is an invariant module.
Proof. 
a.
Since X + Y is a finitely generated module, there exists a positive integer n and elements x i X , y i Y , 1 i n such that X + Y = ( x 1 + y 1 ) A + + ( x n + y n ) A . Since the module M is distributive, ( X + Y ) Z = ( X Z ) + ( Y Z ) for any submodule Z in M.
Let y Y . For any 1 i n , we have
( x i + y ) A = ( x i + y ) A ( X + Y ) =
= [ ( x i + y ) A X ] + ( ( x i + y ) A Y ] .
Therefore, there exist elements a A and z Y such that
( x i + y ) a X , x i + y = ( x i + y ) a + z .
Therefore, x i ( 1 a ) Y and y a X . Consequently,
A = ( y A . . X ) + ( x i A . . Y ) , 1 i n .
Therefore,
A = ( y A . . X ) + [ ( x 1 A . . Y ) ( x n A . . Y ) ] =
= ( y A . . X ) + ( X . . Y ) .
In particular,
A = ( y i A . . X ) + ( X . . Y ) ( 1 i n ) .
Therefore,
A = [ ( y 1 A . . X ) ( y n A . . X ) ] + ( X . . Y ) =
= ( Y . . X ) + ( X . . Y ) .
b.
Let Z be an n-generated module, n N . We use the induction on n. For n = 1 , we can identify the cyclic A-module Z over the right invariant ring A with the right invariant factor ring A / r A ( Z ) of the ring A. In this case, the assertion is directly verified.
Now we assume that the assertion is true for all k-generated submodules of the module M for k < n . We can assume that Z = X + Y , where X is a cyclic module and Y is an ( n 1 ) -generated module. By the induction hypothesis, there exist ideals B and C of the ring A such that X Y = X B = Y C . Therefore, X Y = X ( X . . Y ) = Y ( Y . . X ) By (a), A = ( Y . . X ) + ( X . . Y ) . Therefore,
X = X ( ( Y . . X ) + ( X . . Y ) ) =
= X ( Y . . X ) + X ( X . . Y ) = X ( Y . . X ) + Y ( Y . . X ) = Z B ,
where B = ( Y . . X ) . Similarly Y = Z C , where C = ( X . . Y ) .
Let Z be a submodule in Z = X + Y . We have to prove that there exists an ideal H of the ring A such that Z = ( X + Y ) H . By assumption, Z = X Z + Y Z . By the induction hypothesis, there exist ideals D and E of the ring A such that Z X = X D and Z Y = Y E . In addition, X = Z B and Y = Z C . Therefore,
Z = X Z + Y Z = X D + Y E =
= Z B D + Z C E = Z ( B D + C E )
and B D + C E is the required ideal A of the ring A.
Lemma 24
([61] [Proposition 2]). For a ring A, the following conditions are equivalent.
(a)
A is a right distributive, right Noetherian, left finite-dimensional semiprime ring.
(b)
A is a left distributive, left Noetherian, right finite-dimensional semiprime ring.
(c)
A is a finite direct product of invariant hereditary Noetherian domains.
Lemma 25.
Let A be a right distributive, right Noetherian semiprime ring such that every non-zero left ideal of A contains a non-zero central element. Then A is a finite direct product of invariant hereditary Noetherian domains.
Proof. 
By Lemma 24, it is sufficient to prove that the ring A is left finite dimensional. We assume the contrary. Then the ring A contains a left ideal B, which is a countable direct sum of non-zero left ideals B k , k = 1 , , + . By assumption, every left ideal B k contains non-zero central element c k , where the sum of all ideals A c k = c k A is a direct sum. This contradicts the property that the ring A is right finite-dimensional. □
Proposition 36.
Let A be a right distributive right Noetherian indecomposable ring with the prime radical M. Then the ring A is right invariant, A / M is a right distributive, right invariant, Noetherian domain, M is a completely prime Noetherian nilpotent right ideal. In addition, the following assertions are true.
a.
M = x M for any element x A \ M .
b.
For any submodule N of the module M A , there exists an ideal D of the ring A such that N = M D = x N for any element x A \ M .
c.
If M contains a non-zero central element m, then A is a right uniserial right Artinian ring with radical M.
d.
If every non-zero left ideal of the ring A contains a non-zero central element, then either A is an invariant hereditary Noetherian domain or A is a right uniserial, right Artinian ring.
Proof. 
By Lemma 21(c), the ring A is right invariant. Since M is the prime radical of the right Noetherian ring A, the nil-ideal M is nilpotent. Since M is a nil ideal, the idempotents of the factor ring A / B are lifted to idempotents of the ring A. By Lemma 21(a), the indecomposable ring A does not have non-trivial idempotents. Therefore, the factor ring A / M does not have non-trivial idempotents. By Lemma 22, A / B is a right distributive, right invariant, right Noetherian domain. Therefore, the Noetherian nilpotent right ideal M is completely prime.
a.
Let x A \ M and let y be an arbitrary element of the ideal M. By Lemma 1, there exist two elements a , b A such that a + b = 1 , x a y A and y b x A . The ideal M is completely prime, x A \ M and x a M . Therefore, a M and element a is nilpotent. Therefore, the element b = 1 a is invertible; in addition, y b x A . Then y = x z for some z A . Since the element x z is contained in the completely prime ideal M and x A \ M , we have that z M and y = x z x M . Since the element y M is arbitrary, we have M = x M .
b.
Let N be a submodule of the module M A and let x A \ M . By Lemma 23, there exists an ideal D of the ring A with M D = N . In addition, M = x M . Therefore, N = x M D = x N .
c.
Let M contain a non-zero central element m. Since the ring A is right invariant and m is a non-zero central element, there exists a maximal ideal X of the ring A such that A / X is a division ring and the ideal m A properly contains the ideal ( m A ) X = X ( m A ) . If X = M , then the ring A is local. By Lemma 21(b), A is a right uniserial ring. In addition, A is a right Noetherian ring with nilpotent Jacobson radical M. Therefore, A is a right uniserial right Artinian ring.
d.
If the completely prime ideal M is equal to the zero, then A is a domain and A is an invariant hereditary Noetherian domain, by Lemma 25. We assume that M 0 . By assumption, the ideal M contains a non-zero central element. It follows from c that A is a right uniserial right Artinian ring.
Theorem 26.
A centrally essential ring A is a right distributive, right Noetherian ring if and only if A = A 1 × × A n , where every ring A k is either a commutative Dedekind domain or a (not necessarily commutative) Artinian uniserial ring.
Proof. 
Let A be a centrally essential ring. If A = A 1 × × A n , where every ring A k is either a commutative Dedekind domain or a (not necessarily commutative) Artinian uniserial ring, then the assertion follows from Lemma 24.
Now let A be a right distributive, right Noetherian ring. Without loss of generality, we can assume that A is an indecomposable ring. Since the ring A is centrally essential, every non-zero left or right ideal of the ring A contains a non-zero central element. It follows from Proposition 36(d) that either A is a right uniserial, right Artinian ring or A is an invariant hereditary Noetherian domain. If A is a right uniserial, right Artinian ring, then A is a uniserial Artinian ring, by Lemma 15. If A is a domain, then A is a commutative Dedekind domain by Proposition 35. □

6. Centrally Essential Semirings

In Section 6, we consider only unital semirings and rings, i.e., semirings and rings with 1.
In this section, we consider centrally essential semirings. Some semiring notions are defined below. Another required information on semirings is contained in ref. [62].

6.1. General Information

By a semiring, we mean a structure that differs from an associative ring, possibly, by the irreversibility of the additive operation. In a semiring S, the zero is multiplicative by definition: we have 0 s = s 0 = 0 for every s S .
For a semiring S, the center of S is the set Z ( S ) = { s S : s s = s s for all s S } . This set is not empty since it contains 0 and 1; we also have that Z ( S ) is a subsemiring in S.
A semiring S is said to be centrally essential if either S is commutative or for every non-zero element s S , there are non-zero central elements x , y with s x = y .
It is clear that any centrally essential associative ring is a centrally essential semiring.
A semiring S is said to be reduced if x = y for all x , y S with x 2 + y 2 = x y + y x . If S is a ring, this is equivalent to the property that S has no non-zero nilpotent elements.
An element a of a semiring S is said to be left (respectively, right) zero-divisor if a b = 0 (respectively, b a = 0 ) for some 0 b S . Similar to Proposition 1(a), it can be proved that one-sided zero divisors are two-sided zero divisors in a centrally essential semiring.
A semiring S without nilpotent ideals is said to be semiprime. A semiring S is said to be semisubtractive if for all a , b S with a b , there exists an element x S such that a + x = b or b + x = a .
A semiring S is said to be additively cancellative if the relation x + z = y + z is equivalent to the relation x = y for all x , y , z S .
A ring D ( S ) is called the ring of differences of the semiring if S is a subsemiring in D ( S ) and every element a D ( S ) is the difference x y of some elements x , y S .
Remark 32.
It is well known that a semiring S can be embedded in the ring of differences D ( S ) if and only if S is additively cancellative.
The class of additively cancellative semirings contains all rings. The ring of differences is unique up to isomorphism over S; see [62] [Chapter II] for details.
By Proposition 3, the idempotents of centrally essential rings are central. For semirings, a similar result is not true; see Example 19 below.
For a semiring S, an idempotent e of S is said to be complemented if there exists an idempotent f S with e + f = 1 .
Proposition 37.
In an additively cancellative centrally essential semiring S, any complemented idempotent is central.
Proof. 
Let e 2 = e and e + f = 1 for some f S . Since S is an additively cancellative semiring, it follows from e = e + f e that f e = 0 . Similarly, we have e f = 0 . Let x S and x e 0 . Then x = e x + f x and x e = e x e + f x e .
First, we assume that f x e = 0 , i.e., x e = e x e . Since x = x e + x f , we have e x = e x e + e x f . If e x f 0 , then there are c , d Z ( S ) with ( e x f ) c = d 0 . Then
0 d = e d = d e = ( e x f c ) e = ( e x c ) f e = 0 ;
this is a contradiction. Therefore, e x f = 0 and e x = x e = e x e .
Now let f x e 0 . Then 0 ( f x e ) c = d for some non-zero elements c , d Z ( S ) . In this case,
0 d = d e = e d = e f ( x e c ) = 0 ;
this is a contradiction. □
Remark 33.
If S is an additively cancellative semiring, then the semiring M n ( S ) of all matrices and the semiring T n ( S ) of all upper triangular matrices over S is not centrally essential for n 2 .
Proof. 
For the identity matrices of the above semirings, we have E = E 11 + . . o t s + E n n , where E 11 , . . o t s , E n n are matrix units. It follows from [63] [Example 4.19] that M n ( S ) is an additively cancellative semiring. The idempotents E 11 , . . o t s , E n n are non-central complemented idempotents. Consequently, the semirings M n ( S ) and T n ( S ) are not centrally essential. □

6.2. Examples, Constructions and Remarks

Proposition 38.
Let S be an additively cancellative semisubtractive centrally essential semiring with center C = Z ( S ) . The following conditions are equivalent.
  • S is a semiprime semiring.
  • C is a semiprime semiring.
  • S does not have non-zero nilpotent elements.
  • S is a commutative semiring without non-zero nilpotent elements.
Proof. 
By Remark 32, the semiring S can be embedded in the ring of differences D ( S ) . In addition, the relation D ( S ) = S S holds if and only if S is a semisubtractive semiring; see [62] [Chapter II, Remark 5.12]. Then the assertion follows from Theorem 1. □
Example 19.
We consider a semigroup ( M , · ) with multiplication table.
Mathematics 10 01867 i001
For a quick test of associativity, it is convenient to use the Light’s associativity test; see [38] [p. 7].
Let S = 2 M be the set of all subsets of the semigroup M. For any A , B S , operations A + B = A B and A B = { a b | a A , b B } are defined. Then, S is a semiring with zero ∅ and the identity element 1 = 1 M ; see [63] [Example 1.10].
We have | S | = 2 4 = 16 . We note that S does not contain zero sums, i.e., the relation A + B = implies the relation A = B = . In addition, S is additively idempotent and multiplicatively idempotent. The center Z ( S ) is of the form
Z ( S ) = { , { 1 } , { c } , { 1 , c } } .
If A S \ Z ( S ) , then A · { c } Z ( S ) . Consequently, S is a non-commutative centrally essential semiring.
Remark 34.
It follows from Example 19 that the assertion of Proposition 38 is not true without the assumptions of additive cancellativity and semisubtractivity.
Example 20.
We consider the semiring S generated by the matrices
α a b 0 α c 0 0 α , 0 0 b 0 0 0 0 0 0 , 0 0 0 0 0 0 0 0 0 , α 0 0 0 α 0 0 0 α ,
where α , a , b , c Z + . Let A = ( a i j ) and B = ( b i j ) , where a 12 = b 23 = a , b 12 = a 23 = c , a c , and the remaining components are equal to each other. Then A B B A , i.e., S is a non-commutative semiring. It is directly verified that the center Z ( S ) consists of matrices of the form
α 0 b 0 α 0 0 0 α ,
where α , b Z + { 0 } . Since 0 A D Z ( S ) , where 0 A S \ Z ( S ) , 0 D Z ( S ) with α = 0 , we have that S is a non-commutative centrally essential semiring. However, the ring of differences D ( S ) = M 3 ( Z ) is not a centrally essential ring since the ring has non-central idempotents. In addition, by Remark 21, any centrally essential subalgebra of a local triangular 3 × 3 matrix algebra is commutative.
We give an example of a centrally essential ring R, which is the ring of differences for two proper subsemirings S 1 and S 2 of R such that S 1 is not a centrally essential semiring and S 2 is a centrally essential semiring.
Example 21.
Let R be a ring consisting of matrices of the form
α a b c d e f 0 α 0 b 0 0 d 0 0 α 0 0 0 e 0 0 0 α 0 0 0 0 0 0 0 α 0 a 0 0 0 0 0 α b 0 0 0 0 0 0 α
over the ring Z of integers. In Example 10, it is proved that R is a non-commutative centrally essential ring. Let S 1 be a semiring generated by matrices of the form ( ) over Z + and scalar matrices with α Z + { 0 } and zeros on the remaining positions. Since Z ( S 1 ) consists of scalar matrices, S 1 is not a centrally essential semiring. We note that S 1 is a semiring without zero-divisors. At the same time, the semiring S 2 of matrices of the form (17) over the semiring Z + { 0 } is a centrally essential semiring.
Proposition 39.
Let S be a centrally essential semiring without zero divisors. If the ring D ( S ) does not contain zero divisors, the semiring S is commutative.
Proof. 
Let 0 a = x y D ( S ) . By assumption, 0 x c = d and 0 y f = g for some c , d , f , g Z ( S ) . Then
a ( c f ) = ( x y ) c f = ( x c ) f ( y f ) c = d f g c .
We need the following familiar property [62] [Chapter II, Theorem 5.13]: in any semiring S with ring of differences D ( S ) , any central element of S is contained in the center of D ( S ) .
Therefore, c , d , f , g Z ( D ( S ) ) and a c Z ( D ( S ) ) , where c = c f . In addition, a c 0 since D ( S ) does not contain zero-divisors. Then D ( S ) is a commutative ring by Theorem 1 □
We recall that the upper central series of a group G is the chain of subgroups
{ e } = C 0 ( G ) C 1 ( G ) . . o t s ,
where C i ( G ) / C i 1 ( G ) is the center of the group G / C i 1 ( G ) , i 1 . For the group G, the nilpotence class of G is the least positive integer n with C n ( G ) = G provided such an integer n exists.
Proposition 40
(cf. Proposition 16). Let G be a finite the group of nilpotence class n 2 and let S be a commutative semiring without zero divisors or zero sums. Then S G is a centrally essential group semiring.
Proof. 
If n = 1 , then the group G is Abelian and S G is a centrally essential group semiring; see Theorem 4(a).
Let n = 2 . Similar to the case of the group rings (e.g., see [30] [Part 2]), the center Z ( S G ) is a free S-semimodule with basis
K | K a r e t h e c o n j u g a c y c l a s s e s i n t h e g r o u p G .
It is sufficient to verify that S G Z ( G ) Z ( S G ) , where Z ( G ) is the center of the group G. Indeed, if g , h G , then
( g h ) 1 h g Z ( G ) = Z ( G ) ,
since h 1 g 1 h g G Z ( G ) . □
In Example 22 below, a non-commutative centrally essential semiring without zero-divisors is constructed; this semiring is additively cancellative but is not semisubtractive.
Example 22.
Let Q 8 be the quaternion the group, i.e., the group with two generators a, b and defining relations a 4 = 1 , a 2 = b 2 and a b a 1 = b 1 ; e.g., see, [19] [Section 4.4]. We have
Q 8 = { e , a , a 2 , b , a b , a 3 , a 2 b , a 3 b } ,
the conjugacy classes of Q 8 are
K e = { e } , K a 2 = { a 2 } , K a = { a , a 3 } , K b = { b , a 2 b } , K a b = { a b , a 3 b } ,
and the center Z ( Q 8 ) is { e , a 2 } . We consider the group semiring S Q 8 , where S = Q + { 0 } . Since Q 8 is a group of nilpotence class 2, it follows from Proposition 5.2.8 that S Q 8 is a centrally essential group semiring. To illustrate the above, we have
a Z ( Q 8 ) = K a , b Z ( Q 8 ) = K b ,
a b Z ( Q 8 ) = K a b , a 3 Z ( Q 8 ) = K a ,
a 2 b Z ( Q 8 ) = K b , a 3 b Z ( Q 8 ) = K a b .
The the group ring of differences Q Q 8 is a reduced ring; see [64]. Then S Q 8 is a reduced semiring. Indeed, if x 2 + y 2 = x y + y x and x y , then x 2 + y 2 x y y x = ( x y ) 2 = 0 in the ring Q Q 8 ; this is not true. Thus, S Q 8 is a non-commutative reduced centrally essential semiring without zero-divisors. We note that the ring Q Q 8 is not centrally essential, since centrally essential reduced rings are commutative.
Theorem 27.
There exists a non-commutative additively cancellative reduced centrally essential semiring without zero-divisors. An additively cancellative reduced semiring S is commutative if and only if the ring of differences of S is a centrally essential ring.
Proof. 
It follows from Example 22 that there exists a non-commutative additively cancellative reduced centrally essential semiring without zero-divisors.
If a semiring S is commutative, then D ( S ) is a commutative ring, i.e., D ( S ) is centrally essential. Conversely, let D ( S ) be a centrally essential ring. Since S is a reduced semiring, D ( S ) is a reduced ring. Indeed, let 0 a = x y D ( S ) . If a 2 = 0 , then x 2 + y 2 = x y + y x . Therefore, x = y , a = 0 , and we have a contradiction. Then the ring D ( S ) is commutative, since D ( S ) is a reduced centrally essential ring. Consequently, S is a commutative semiring. □
An element x of a semiring is said to be left (respectively, right) multiplicatively cancellative if y = z for all y , z S with x y = x z (resp., y x = z x ). A semiring S is said to be left (respectively, right) multiplicatively cancellative if every element x S \ { 0 } is left (respectively, right) multiplicatively cancellative. A left and right multiplicatively cancellative semiring is said to be multiplicatively cancellative, e.g., see, [62] [Chapter I].
Remark 35.
A left (respectively, right) multiplicatively cancellative centrally essential semiring S is commutative.
Proof. 
Let a and b be two non-zero elements of the semiring S. Since S is a centrally essential semiring, there exists an element c Z ( S ) with 0 a c Z ( S ) . A left multiplicatively cancellative semiring does not contain left zero-divisors; see [62] [Chapter I, Theorem 4.4]. Therefore, a c b 0 . Then
( a c ) b = c ( a b ) = ( c a ) b = b ( c a ) = c ( b a ) ,
whence a b = b a . A similar argument is true for right multiplicatively cancellative semirings. □
A semiring with division, which is not a ring, is called a division semiring.
A commutative division semiring is said to be semifield.
Any centrally essential division semiring is a semifield. Indeed, it follows from [62] [Chapter I, Theorem 5.5] that a division semiring with at lest two elements is multiplicatively cancellative. Therefore, our assertion follows from Remark 35.

7. Non-Associative Rings

In this section, the considered rings are not necessarily associative.
We use notation and terminology from [41]; also see [65].

7.1. Types of Centers and Central Essentiality

In this subsection, we consider rings which are not necessarily unital or associative.
Let R be a ring. We denote by R 1 the union of R with adjoint external unit.
The associator of three elements a , b , c of the ring R is the element ( a , b , c ) = ( a b ) c a ( b c ) and the commutator of two elements a , b R is the element [ a , b ] = a b b a .
For a ring R, the associative center, commutative center and center of R (in the sense of [41] [§7.1]) are the sets
N ( R ) = { x R : a , b R , ( x , a , b ) = ( a , x , b ) = ( a , b , x ) = 0 } , K ( R ) = { x R : a R , [ x , a ] = 0 } , Z ( R ) = N ( R ) K ( R ) ,
respectively. It is clear that N ( R ) and Z ( R ) are subrings in R and the ring R is a unitary (left and right) N ( R ) -module and Z ( R ) -module.
For ring R, we denote by Z ^ ( R ) the centroid of R, i.e., the set of endomorphisms of the additive the group ( R , + ) , which commute with the left and right multiplications by elements of R.
It is clear that R can be considered a left or right module over the associative commutative ring Z ( R ) ; R can be also considered a unitary module over the unital associative commutative ring Z ( R ) 1 and as a unitary module over the centroid Z ^ ( R ) .
Remark 36.
The associative center N ( R ) , the commutative center K ( R ) and the center Z ( R ) of the ring R are Z ^ ( R ) -submodules in R.
Proof. 
Let n N ( R ) and c Z ^ ( R ) . For any a , b R , we have
( c ( n ) , a , b ) = c ( n ) a · b c ( n ) · a b = c ( n a ) b c ( n · a b ) =
= c ( ( n , a , b ) ) = 0 ,
( a , c ( n ) , b ) = a c ( n ) · b a · c ( n ) b = c ( a n ) b a c ( n b ) =
= c ( ( a , n , b ) ) = 0 ,
( a , b , c ( n ) ) = a b · c ( n ) a · b c ( n ) = c ( a b · n ) c ( a · b n ) =
= c ( ( a , b , n ) ) = 0 .
Consequently, c ( n ) N ( R ) .
Similarly, if k K ( R ) , then for any a R , we have
[ c ( k ) , a ] = c ( k ) a a c ( k ) = c ( k a ) c ( a k ) = c ( [ k , a ] ) = 0 .
Consequently, c ( k ) K ( R ) .
Finally, the assertion about the center Z ( R ) directly follows from two previous assertions, since Z ( R ) = N ( R ) K ( R ) by definition. □
Definition 2.
A ring R with center C = Z ( R ) is said to be centrally essential if C r C 0 for any non-zero element r R (equivalently, K C 0 for any non-zero submodule K of the module R C , i.e., C is an essential submodule of the module C R ).
A ring R with the center C = Z ( R ) is said to be strongly centrally essential (resp., weakly centrally essential) if C r C 0 (resp., Z ^ ( R ) r C 0 ) for any non-zero element r R .
In the definition of a strongly centrally essential ring, we can formally replace Z ( R ) by N ( R ) ; in this case, the ring R is called a left N-essential ring ring).
A ring R is said to be left K-essential if K ( R ) r K ( R ) 0 for any non-zero element r R , i.e., K = K ( R ) is an essential submodule of the module K R .
The following proposition is well known in the associative case.
Proposition 41.
Let R be a ring with the center C = Z ( R ) .
a.
Any strongly centrally essential ring R is centrally essential.
b.
Any centrally essential ring R is weakly centrally essential.
c.
Any unital ring R is strongly centrally essential if and only if R is centrally essential, if and only if R is weakly centrally essential.
Proof. 
a.
Since C is a subring in C 1 , we obtain the assertion.
b.
It is sufficient to note that multiplications by central elements and multiplications by integers belong to the centroid of R.
c.
It follows from a and b that it is sufficient to verify that if R is a weakly essential ring with the identity element 1, then R is strongly centrally essential. Let R be weakly centrally essential and r R \ { 0 } . There exists an element c ^ Z ^ ( R ) with c ^ ( r ) Z ( R ) \ { 0 } . Then
0 c ^ ( r ) = c ^ ( 1 · r ) = c ^ ( 1 ) r Z ( R ) r ,
since c ^ ( 1 ) Z ( R ) by Remark 36. Thus, Z ( R ) r Z ( R ) 0 . Therefore, R is strongly centrally essential.
We give Examples 23 and 24 which show that the classes of strongly centrally essential, centrally essential and weakly centrally essential rings are distinct in the general case.
Example 23.
Any non-zero ring R with zero multiplication is a centrally essential ring which is not strongly centrally essential. Indeed, R = Z ( R ) and for any non-zero element r R , we have r R 1 r R but Z ( R ) r = 0 .
For the next example, we need Remark 37.
Remark 37.
Let R be a ring such that R · R 2 = R 2 · R = 0 and let φ : R R be an endomorphism of the group ( R , + ) such that
φ ( R ) R 2 Ker φ .
Then φ Z ^ ( R ) . Indeed, φ ( a b ) = 0 for any two elements a , b R , since a b R 2 ; we also have a φ ( b ) = φ ( a ) b = 0 , since a R 2 = R 2 b = 0 .
Example 24.
Let F = Z / 3 Z be the field of order 3, Λ ( F 2 ) be the Grassmann algebra of the two-dimensional linear space over F. Let e 1 , e 2 be a basis of the space F 2 and let R be the subalgebra of the algebra Λ ( F 2 ) with basis e 1 , e 2 , e 1 e 2 . Let r = α 1 e 1 + α 2 e 2 + α 3 e 1 e 2 be an arbitrary element of the ring R. It is easy to see that r Z ( R ) if and only if α 1 = α 2 = 0 , i.e., Z ( R ) = R 2 and Z ( R ) 1 r = F r for any r R . In particular, Z ( R ) 1 e 1 = F e 1 and F e 1 R 2 = 0 ; therefore, the ring R is not centrally essential. Now let r 0 . If r Z ( R ) , then r Z ^ r Z ( R ) , since Z ^ ( R ) contains the identity automorphism of the group ( R , + ) . Let π : R R / R 2 be the canonical homomorphism. If r Z ( R ) , then π ( r ) is a non-zero element of the two-dimensional space R / R 2 and there exists a linear mapping ψ : R / R 2 R 2 , for which ψ ( π ( r ) ) 0 . If φ = ψ π , then φ Z ^ ( R ) by Remark 37 and 0 φ ( r ) Z ^ ( R ) r R 2 = Z ( R ) . Consequently, R is a weakly centrally essential ring.

7.2. Reduced and Semiprime Rings

A ring is said to be reduced if it does not contain non-zero elements with zero square. We note that associative reduced rings are exactly the rings without non-zero nilpotent elements.
A ring R is said to be semiprime if R does not contain a non-zero ideal with zero multiplication; see [41] [§8.2].
Theorem 28.
Let R be a weakly centrally essential ring such that its center C = Z ( R ) is a reduced ring.
a.
R is a strongly centrally essential ring.
b.
R is an associative ring.
c.
R is a commutative ring.
Proof. 
a.
Let r R \ { 0 } , φ C ^ and φ ( r ) = d C \ { 0 } . Then 0 d 2 = d φ ( r ) = φ ( d r ) = φ ( d ) r . By Remark 36, φ ( d ) C . It is also clear that d 2 C . Consequently, 0 φ ( d ) r C r C , i.e., R is a strongly centrally essential ring.
b.
By (a), R is a strongly centrally essential ring. We assume that the ring R is not associative and some elements x , y , z of the ring R have the non-zero associator ( x , y , z ) = ( x y ) z x ( y z ) . Then, there exist two elements c , d C such that
d = ( x , y , z ) c C \ { 0 } .
We note that x d 0 ; otherwise, d 2 = ( x , y , z ) c · d =
= ( x , y , z ) · c d = ( x , y , z ) · d c = ( ( x y · z ) d ( x · y z ) d ) c =
= ( d ( x y · z ) d ( x · y z ) ) c = ( ( d x · y ) z d x · y z ) c = 0 ,
which is impossible. Therefore, there exists an element b C such that x d · b = x · d b C \ { 0 } . We consider the set I = { c C : c x C } . It is clear that d b I . Now we assume that d I = 0 . Then
d ( d b ) = 0 , ( d b ) 2 = d b · d b = ( d b · d ) b = ( d · d b ) b = 0 , d b = 0 ,
a contradiction. Therefore, d i 0 for some i I . However,
d i = ( x y · z x · y z ) c · i = c ( ( x i · y ) z x i · y z ) = 0 ;
this is a contradiction. Thus, R is an associative ring.
c.
We assume that the ring R is not commutative and we have two elements x , y R with x y y x 0 . Then there exist two elements c , d C such that d = ( x y y x ) c C \ { 0 } . We note that x d 0 , otherwise,
d 2 = ( x y y x ) c d = c ( ( x d ) y y ( x d ) ) = 0 ;
this is impossible. Therefore, there exists an element z C such that x d z C \ { 0 } . We consider the set I = { c C | c x C } . It is clear that d z I . Now we assume that d I = 0 . Then
d ( d z ) = 0 , ( d z ) 2 = 0 , d z = 0 ,
a contradiction. Therefore, d i 0 for some i I . However,
d i = ( x y y x ) c i = c ( ( x i ) y y ( x i ) ) = 0 ;
this is a contradiction. Thus, R is a commutative ring.
Remark 38.
It is clear that the center of a semiprime ring is a reduced ring; the converse is not always true since the ring of upper triangular matrices over a field is a non-semiprime ring with reduced center.
Remark 39.
Let R be a centrally essential associative ring. In Propositions 3 and 8, it is proved that all idempotents of the ring R are central and the ring R is commutative if R is semiprime. In the introduction, examples of finite non-commutative centrally essential associative unital rings are constructed.
A ring R is said to be right alternative (respectively, left alternative) if ( a b ) b = a ( b b ) (respectively, ( a a ) b = a ( a b ) ) for any elements a , b R .
Right and left alternative rings are called alternative rings. A ring R is alternative if and only if ( a , a , b ) = ( a , b , b ) for any elements a , b R , where ( a , b , c ) denotes associator ( a , b , c ) = ( a b ) c a ( b c ) of elements a , b , c of the ring R.
By the Artin theorem [41] [Theorem 2.3.2], the ring R is alternative if and only if any two elements of R generate the associative subring.
In connection to Remark 39, we prove Theorem 29.
Theorem 29.
Let R be a centrally essential ring.
a.
If the center Z ( R ) of the ring R is semiprime, then the ring R is commutative and associative.
b.
If the ring R is alternative and e is an idempotent of the ring R, then e Z ( R ) .
Proof. 
a.
It follows from Theorem 28 and Remark 38 that any weakly centrally essential semiprime ring is associative and commutative.
b.
If R is a weakly centrally essential alternative ring and e is an idempotent of the ring R, then we have to prove that e Z ( R ) .
Let r be an arbitrary element of R. Further, we use several times the associativity of the subring generated by two elements e and r in the alternative ring R. If c Z ^ ( R ) is an element of the centroid of the ring R such that c ( e r e r e ) = d Z ( R ) , then
d e = c ( e r e r e ) e = c ( ( e r e r e ) e ) = c ( e r e r e ) = d .
On the other hand,
e d = e c ( e r e r e ) = c ( e ( e r e r e ) ) = c ( 0 ) = 0 .
Therefore, d = 0 and Z ^ ( R ) ( e r e r e ) Z ( R ) = 0 . Since the ring R is weakly centrally essential, we have e r e r e = 0 . It can be similarly verified that e r e e r = 0 , whence r e = e r .
Problem 4.
a.
Is it true that any N-essential (See Definition 2) ring is associative? Our assumption: It is not true.
b.
Is it true that any semiprime N-essential ring is associative?
The following example shows that analogous questions for K-essential Definition 2 rings have negative answers.
Example 25.
Let F be an arbitrary field and let R be the algebra over F with basis { e , f , x 1 , y 1 , x 2 , y 2 , . . o t s } such that and its multiplication is defined on basis elements by the relations
e 2 = e , f 2 = f , e f = x 1 , f e = y 1 , e x i = x i e = x i , y j f = f y j = y j , x i x j = x i + j , y i y j = y i + j , x i f = f x i = y j e = e y j = x i y j = y j x i = 0 for all i , j N .
We set x = x 1 , y = y 1 . It is easy to verify that K ( R ) = F [ x ] x + F [ y ] y . Indeed, if r = a e + b f + s , where a , b F and s F [ x ] x + F [ y ] y , then [ r , e ] = b ( y x ) and [ r , f ] = a ( x y ) . Therefore, K ( R ) F [ x ] x + F [ y ] y ; the converse inclusion follows from the definition of the multiplication in R.
Now we note that K ( R ) is an ideal in R and the ring K ( R ) F [ x ] x F [ y ] y is reduced. Therefore, if r K ( R ) \ { 0 } , then r 2 K ( R ) r \ { 0 } . If r K ( R ) , then
r = a e + b f + i = 1 a i x i + i = 1 b i y i ,
where a , b , a i , b i F for all i N and a 0 or b 0 . If a 0 , then x r = a x + i = 1 a i x i + 1 ( K ( R ) r K ( R ) ) \ { 0 } ; similarly, if b 0 , then
y r = b y + i = 1 b i y i + 1 ( K ( R ) r K ( R ) ) \ { 0 } .
Thus, R is K-essential. We have that R / K ( R ) F F and K ( R ) are associative reduced rings. Therefore, r = 0 for any element r R with r 2 = 0 . Especially, R does not have a non-zero ideal with zero multiplication, i.e., R is semiprime. In the same time, e and f are non-central idempotents of R; this is impossible in any associative semiprime weakly centrally essential ring.
Remark 40.
If R is an alternative ring without elements of order 3 in the additive the group, then R is K-essential if and only if R is centrally essential, since 3 K ( R ) N ( R ) [41] [Corollary 7.1.1].

7.3. Cayley–Dickson Process and Associative Centers

Let R be a ring, M a left R-module, and S a subset of M. Then Ann R ( S ) denotes the annihilator of S in R, i.e., Ann R ( S ) = { r R | r S = 0 } . We denote by [ A , A ] the ideal of the ring A generated by commutators of all elements in A.
The following definition slightly generalizes the definition of the Cayley–Dickson process given in [41] [§2.2], see [66].
Definition 3 (The Cayley–Dickson Processand the Rings ( A , α ) ).
Let A be a ring with involution * (we recall that the ring anti-endomorphism is called an involution if its double application is the identity mapping) and α an invertible symmetrical element of the center of the ring A. We define a multiplication operation on the Abelian group A A as follows:
( a 1 , a 2 ) ( a 3 , a 4 ) = ( a 1 a 3 + α a 4 a 2 , a 1 a 4 + a 3 a 2 )
for any a 1 , . . o t s , a 4 A . We denote the obtained ring by ( A , α ) .
The subset in ( A , α ) consisting of elements in ( A , α ) of the form ( a , 0 ) ( a A ) is a subring in ( A , α ) which is isomorphic to the ring A; we identify the elements with the corresponding elements of A. We set ν = ( 0 , 1 ) ( A , α ) . Then a ν = ( 0 , a ) = ν a for any a A and ν 2 = α . Thus, ( A , α ) = A + A ν .
Note that many works were devoted to the study of the structure and the properties of rings and algebras obtained by this process, for instance, [65,67,68,69,70,71,72].
The following properties are directly verified with the use of the above relation (18).
a.
ν 2 = α and ν a = a ν for any element a A .
b.
( 1 , 0 ) is the identity element of the ring ( A , α ) .
c.
The set { ( a , 0 ) | a A } is a subring of the ring ( A , α ) , which is isomorphic to the ring A.
d.
The mapping ( a , b ) ( a , b ) , a , b A , is an involution of the ring ( A , α ) .
Up to the end of Section 7.3, we fix a ring A and an element α , which satisfy the conditions of the Cayley–Dickson process from Definition 3; we also set R = ( A , α ) .
Lemma 26.
An element ( x , y ) R belongs to the ring N ( R ) if and only if for any elements u , v A , the following relation systems hold:
( x u ) v = x ( u v ) , ( u x ) v = u ( x v ) , ( u v ) x = u ( v x ) , v ( u x ) = x ( v u ) , ( x u ) v = u ( v x ) , ( v u ) x = ( x v ) u , v ( x u ) = ( v u ) x , v ( u x ) = ( v x ) u , x ( u v ) = u ( x v ) , ( u x ) v = ( u v ) x , v ( x u ) = ( x v ) u , x ( v u ) = ( v x ) u ;
( u y ) v = y ( v u ) , ( u y ) v = ( y v ) u , y ( v u ) = u ( y v ) , v ( y u ) = y ( u v ) , ( y u ) v = ( v y ) u , y ( u v ) = ( v y ) u , v ( u y ) = ( u v ) y , v ( u y ) = u ( v y ) , ( v u ) y = u ( v y ) , ( y u ) v = ( v u ) y , v ( y u ) = u ( y v ) , ( u v ) y = ( y v ) u .
Proof. 
Let ( x , y ) R . Since associators are linear, ( x , y ) N ( R ) if and only if for any two elements u , v A , we have
( ( x , y ) ( u , 0 ) ( v , 0 ) ) = ( ( u , 0 ) , ( x , y ) , ( v , 0 ) ) =
= ( ( u , 0 ) , ( v , 0 ) , ( x , y ) ) = 0 ,
( ( x , y ) ( u , 0 ) ( 0 , v ) ) = ( ( u , 0 ) , ( x , y ) , ( 0 , v ) ) =
= ( ( u , 0 ) , ( 0 , v ) , ( x , y ) ) = 0 ,
( ( x , y ) ( 0 , u ) ( v , 0 ) ) = ( ( 0 , u ) , ( x , y ) , ( v , 0 ) ) =
= ( ( 0 , u ) , ( v , 0 ) , ( x , y ) ) = 0 ,
( ( x , y ) ( 0 , u ) ( 0 , v ) ) = ( ( 0 , u ) , ( x , y ) , ( 0 , v ) ) =
= ( ( 0 , u ) , ( 0 , v ) , ( x , y ) ) = 0 .
By calculating associators from (21), we obtain the following system consisting of 12 relations
( ( x u ) v , v ( u y ) ) = ( x ( u v ) , ( u v ) y ) , ( ( u x ) v , v ( u y ) ) = ( u ( x v ) , u ( v y ) ) , ( ( u v ) x , ( v u ) y ) = ( u ( v x ) , u ( v y ) ) , ( α v ( y u ) , ( u x ) v ) = ( α ( u v ) y , x ( u v ) ) , ( α v ( y u ) , ( x u ) v ) = ( α u ( v y ) , u ( x v ) ) , ( α y ( v u ) , x ( u v ) ) = ( α u ( y v ) , u ( x v ) ) , ( α ( u y ) v , v ( x u ) ) = ( α ( v u ) y , x ( v u ) ) , ( α ( y u ) v , v ( x u ) ) = ( α ( v y ) u , ( x v ) u ) , ( α y ( u v ) , x ( v u ) ) = ( α ( v y ) u , ( v x ) u ) , ( α v ( u x ) , α ( y u ) v ) = ( α x ( v u ) , α ( v u ) y ) , ( α v ( u x ) , α ( u y ) v ) = ( α ( x v ) u , α ( v y ) u ) , ( α ( v u ) x , α ( u v ) y ) = ( α ( x v ) u , α ( y v ) u ) .
By equating components of equal elements of the ring R and considering that the element α is invertible, we obtain the following equivalent system:
( x u ) v = x ( u v ) , v ( u y ) = ( u v ) y ) , ( u x ) v = u ( x v ) , v ( u y ) = u ( v y ) ,
( u v ) x = u ( v x ) , ( v u ) y = u ( v y ) , v ( y u ) = ( u v ) y ,
( u x ) v = x ( u v ) , v ( y u ) = u ( v y ) , ( x u ) v = u ( x v ) ,
y ( v u ) = u ( y v ) , u ( x v ) = x ( u v ) , ( u y ) v = ( v u ) y ,
v ( x u ) = x ( v u ) , ( y u ) v = ( v y ) u , v ( x u ) = ( x v ) u ,
y ( u v ) = ( v y ) u , x ( v u ) = ( v x ) u , v ( u x ) = x ( v u ) ,
( y u ) v = ( v u ) y , v ( u x ) = ( x v ) u , ( u y ) v = ( v y ) u ,
( v u ) x = ( x v ) u , ( u v ) y = ( y v ) u .
We replace the equations, both parts of which contain x or y , by relations of conjugate elements. We note that either u or u stands in every equation. Therefore, we can put u instead of u , since A = A . Similarly, we replace v by v. By choosing equations containing x, we obtain (19), the remaining equations form the system (20). □
Lemma 27.
Let x A . The relations (19) hold for all u , v A if and only if x Z ( A ) .
Proof. 
Let x A and let relations (19) hold for all u , v A . The first three relations mean that x N ( A ) . It follows from the fourth relation for u = 1 that x K ( A ) . Consequently, x Z ( A ) .
Conversely, if x Z ( A ) , then each of the relations in (19) is transformed into one of the true relations x ( u v ) = x ( u v ) or x ( v u ) = x ( v u ) , i.e., relations (19) hold for all u , v A . □
Lemma 28.
Let y A . The relations (20)
hold for all u , v A if and only if y Ann Z ( A ) ( [ A , A ] ) .
Proof. 
Let y A and let relations (20) hold for all u , v A . First of all, we note that for v = 1 , the first equation of (20)
turns into the equation u y = y u ; this is equivalent to the inclusion y K ( A ) , since the element u of A is arbitrary.
We verify that y N ( A ) . For any two elements u , v A , we have
( y u ) v = 1 ¯ ( v y ) u = 2 ¯ y ( u v ) , ( u y ) v = 1 y ( v u ) = 3 u ( y v ) ( u v ) y = y ( u v ) = 4 v ( y u ) = v ( u y ) = 8 u ( v y ) .
In these transformations, the number over the relation sign is the number of used equation in (20) (equations are numbered in rows from the left to right beginning with the first row). The number underscore denotes that, instead of the given equation, we use the equivalent equation obtained by the permutation of the variables u , v .
Consequently, y N ( A ) K ( A ) = Z ( A ) .
Finally, we take into account the proven to see that already the first equation of (20) implies that y [ u , v ] = 0 for any u , v A , i.e., y Ann C ( [ A , A ] ) .
Conversely, if y Ann Z ( A ) ( [ A , A ] ) , then each of the relations (20) is transformed into the true relation y ( u v ) = y ( v u ) , i.e., relations (20) hold for all u , v A . □
Theorem 30.
Let A be a ring with center C = Z ( A ) , I = Ann C ( [ A , A ] ) , R = ( A , α ) . Then N ( R ) = { ( x , y ) : x C , y I } .
Proof. 
The assertion follows from Lemmas 26–28. □
Remark 41.
Theorem 30 implies the following classical result (cf. [41] [Exercise 2.2.2(a)]): the ring R = ( A , α ) is associative if and only if the ring A is associative and commutative.

7.4. Cayley–Dickson Process and Central Essentiality

Theorem 31.
Let B be a subring of the center of the ring A and I an essential ideal of B. If B is an essential B-submodule of the module B A , then I is an essential B-submodule of the module B R .
Proof. 
If r is a non-zero element of the ring R, then there exists an element b B with 0 b r B . Therefore, there exists an element d B such that 0 d c r I and B r I 0 . □
Theorem 32.
Let A be a ring with center C = Z ( A ) , I = Ann C ( [ A , A ] ) , R = ( A , α ) . The ring R is left (resp., right) N-essential if and only if A is centrally essential and I is an essential ideal in C.
Proof. 
Let the ring A and the element α satisfy the conditions of Definition 3 (the Cayley–Dickson process). It is obvious that C = C , I = I , α C = C and α I = I .
Let the ring R = ( A , α ) be N-essential. Then for any non-zero element a A , there exists an element ( x , y ) N ( R ) such that ( x , y ) ( a , 0 ) = ( x a , a y ) N ( R ) \ { 0 } . By Theorem 30, x C and y I . If x a 0 , then x a C \ { 0 } ; otherwise, y a C \ { 0 } . In the both cases, C a C 0 . Thus, A is centrally essential.
We prove that I is an essential ideal of C. Let c C \ { 0 } . If I c 0 , then I c I and C c I 0 . Let I c = 0 . We consider the element ( 0 , c ) . There exists an element ( x , y ) N ( R ) such that ( x , y ) ( 0 , c ) = ( α c y , x c ) N ( R ) \ { 0 } . Since α y I , α c y = 0 , we have that x c 0 and x c I by Theorem 30. Consequently, C c I 0 , which is required.
Conversely, let us assume that A is a centrally essential ring and I is an essential ideal in C.
Let ( x , y ) R \ { 0 } . There exists an element c C such that c x C \ { 0 } . Since ( c , 0 ) N ( R ) , we have
0 ( c , 0 ) ( x , y ) = ( c x , c y ) N ( R ) ( x , y ) .
If c y = 0 , then
0 ( c x , 0 ) N ( R ) ( x , y ) N ( R ) .
If c y 0 , then by Lemma 31 (for B = C ), there exists an element d C such that d c y I \ { 0 } . Then
( d , 0 ) ( c , 0 ) ( x , y ) = ( d , 0 ) ( c x , c y ) =
= ( d c x , d c y ) N ( R ) ( x , y ) N ( R ) \ { 0 } .
Thus, the ring R is N-essential. □
Remark 42.
Up to the end of this subsection, we fix a ring A with center, C = Z ( A ) , and an element α, which satisfy Definition 3 (the Cayley–Dickson process).
We set R = ( A , α ) ,
I = Ann C ( [ A , A ] ) , B = { a C : a = a } , J = Ann B ( { a a | a A } ) .
We note that the sets B and J are invariant with respect to the involution and are closed by the multiplication by α.
Theorem 33.
Z ( R ) = { ( x , y ) | x B , y I J } .
Proof. 
Let ( x , y ) Z ( R ) . Since Z ( R ) N ( R ) , it follows from Theorem 30 that x C and y I . The relations ( 0 , 1 ) ( x , y ) = ( x , y ) ( 0 , 1 ) imply the relations α y = α y and x = x . Consequently, x B and y B I . Next, the relation ( a , 0 ) ( x , y ) = ( x , y ) ( a , 0 ) ( a A ) implies the relations a x = x a and a y = a y . The first relation holds for any x C and the second relation means that y ( a a ) = 0 , i.e., y J . Consequently, y I J .
Conversely, if x B and y I J , then ( x , y ) N ( R ) and for any a , b A we have
( x , y ) ( a , b ) = ( x a + α b y , x b + a y ) = ( x a + α y b , x b + a y ) , ( a , b ) ( x , y ) = ( a x + α y b , a y + x b ) = ( a x + α y b , x b + a y )
Thus, ( x , y ) K ( R ) , whence ( x , y ) Z ( R ) . □
Theorem 34.
A ring R = ( A , α ) is centrally essential if and only if B is an essential B-submodule of the ring R and J = J I is an essential ideal of the ring B.
Proof. 
Let the ring R = ( A , α ) be centrally essential. Then for any a A \ { 0 } , there exists an element ( x , y ) Z ( R ) such that ( x , y ) ( a , 0 ) = ( x a , a y ) Z ( R ) \ { 0 } . By Theorem 33, x , x a B and y , a y = y a J . If x a 0 , then x a B \ { 0 } ; otherwise, y a B \ { 0 } . In the both cases, we have B a B 0 . Thus, B is an essential submodule of the module B A .
We prove that J = is an essential ideal of the ring B. Let b B \ { 0 } . If J b 0 , then J b J and B b J J b J 0 . Let J b = 0 . We consider element ( 0 , b ) . There exists an element ( x , y ) Z ( R ) such that ( x , y ) ( 0 , b ) = ( α b y , x b ) Z ( R ) \ { 0 } . Since α y J and α b y = 0 , we have that x b 0 , x B and x b = x b J , by Theorem 33. Consequently, B b J 0 , which is required.
Conversely, let us assume that B is an essential B-submodule of the ring R and J is an essential ideal of the ring B.
Let ( x , y ) R \ { 0 } . First, we assume that x 0 . There exists an element b B such that b x B \ { 0 } . Since ( b , 0 ) Z ( R ) , we have 0 ( b , 0 ) ( x , y ) = ( b x , b y ) Z ( R ) ( x , y ) . If b y = 0 , then 0 ( b x , 0 ) Z ( R ) ( x , y ) Z ( R ) . If b y 0 , then by Lemma 6.4.1 (for I = J ) there exists an element d B such that d b y J \ { 0 } . Then
( d , 0 ) ( b , 0 ) ( x , y ) = ( d , 0 ) ( b x , b y ) =
= ( d b x , d b y ) Z ( R ) ( x , y ) Z ( R ) \ { 0 } .
Now let x = 0 . Then y 0 , and there exists an element d B such that d y J \ { 0 } . We obtain
( d , 0 ) ( 0 , b ) = ( 0 , d b ) Z ( R ) \ { 0 } , ( d , 0 ) Z ( R ) .
Thus, the ring R is centrally essential. □

7.5. Quaternion and Octonion Algebras

Remark 43.
Let K be a commutative associative ring with the identity involution and a an invertible element of the ring R. We consider the ring A 1 = ( K , a ) . Then A 1 is a commutative associative ring, since B = C = I = J = K , under the notation of Section 7.4. It is natural to write elements of the ring A 1 in the form x + y i , where x , y are elements of the ring K, i = ( 0 , 1 ) . On the ring A 1 , an involution is defined by the relation ( x + y i ) = x y i for any x , y K . We choose an invertible element b K . Then b is an invertible symmetrical element of the center of the ring A 1 and we can construct the ring A 2 = ( A 1 , b ) . We consider the K-basis of the algebra A 2 , which is formed by the elements 1 = ( 1 , 0 ) , i = ( i , 0 ) , j = ( 0 , 1 ) and k = ( 0 , i ) . The relations
i 2 = a , j 2 = b , i j = j i = k , i k = k i = a j , k j = j k = b i
are directly verified. Consequently, the obtained ring is the generalized quaternion algebra a , b K . It is well known (and also follows from Theorem 30) that the ring A 2 is associative (e.g., see [41] [Example 7.2.III]). The center of the ring A 2 is of the form K + N i + N j + N k , where N = Ann K ( 2 ) (see [73] [Lemma 2(b)]). Let B , I , J be defined by equations in Remark 42 for A = A 2 . It is easy to verify that
B = C = Z ( A 2 ) , I = J = N + N i + N j + N k .
Lemma 29.
Under the above notation, the ideal I is an essential ideal in B if and only if N is an essential ideal in K.
Proof. 
Let I be an essential ideal in B. If x K \ { 0 } , then there exists an element y B such that x y I \ { 0 } . We set
y = y 1 + y 2 i + y 3 j + y 4 k , where y 1 K , y 2 , y 3 , y 4 N .
If x y 1 0 , then x K N 0 . Otherwise, at least one of the elements x y 2 , x y 3 , x y 4 is not equal to 0, and each of them belong to the ideal N, whence x K N 0 in this case too.
Conversely, if N is an essential ideal in K and
x = x 1 + x 2 i + x 3 j + x 4 k I \ { 0 } ,
then x 2 , x 3 , x 4 N . If x 1 0 , then there exists an element y K with y x 1 N \ { 0 } . Then y x B x I \ { 0 } . If x 1 = 0 , then x = 1 · x B x I . Thus, I is an essential ideal of the ring B. □
From the above argument, we obtain the following
Proposition 42.
The quaternion algebra ( ( K , a ) , b ) is a non-commutative centrally essential ring if and only if Ann K ( 2 ) is a proper essential ideal of the ring K.
Now we consider an arbitrary invertible element c K and the ring A 3 = ( A 2 , c ) . We set
f 1 = i , f 2 = j , f 3 = k , f 4 = l = ( 0 , 1 ) ,
f 5 = ( 0 , i ) , f 6 = ( 0 , j ) , f 8 = ( 0 , k ) .
It can be directly verified that the basis { 1 , f 1 , f 2 , . . o t s , f 7 } of the K-module A 3 satisfies the relations from [70] for basis elements of the generalized octonion algebra O ( α , β , γ ) (for α = a , β = b , γ = c ).
Similar to Proposition 42, we obtain Proposition 43.
Proposition 43.
The octonion algebra ( ( ( K , a ) , b ) , c ) is a non-associative centrally essential ring if and only if Ann K ( 2 ) is a proper essential ideal of the ring K.
Example 26.
Let K = Z 4 and R = ( ( ( K , 1 ) , 1 ) , 1 ) . We prove that R is a non-associative non-commutative centrally essential ring.
Indeed, Ann K ( 2 ) = 2 K is an essential proper ideal in K. Therefore, the non-commutativity of the ring ( ( K , 1 ) , 1 ) (and the non-commutativity of the ring R containing ( ( K , 1 ) , 1 ) ) follows from Proposition 42 and the non-associativity of the ring R follows from Proposition 43.
We note that R = ( ( ( K , 1 ) , 1 ) , 1 ) is an alternative ring and the ring ( R , 1 ) is not even right alternative, i.e., ( R , 1 ) does not satisfy the identity ( x , y , y ) = 0 [41] [Exercise 7.2.2]. Thus, there are alternative non-associative finite centrally essential rings and non-alternative finite centrally essential rings.
Problem 5.
a.
Is it true that there exists a left N-essential ring which is not right N-essential?
b.
Is it true that there exists a commutative N-essential (equivalently, centrally essential) non-associative ring?
c.
Is it true that there exists a right alternative centrally essential or N-essential non-alternative ring?
d.
How can we generalize the obtained results to the case of non-unital rings and the case, where the element α in Definition 3 is not supposed to be invertible?
e.
Since the Cayley–Dickson process gives non-associative division algebras (see, e.g., [67,68]), it seems natural to state the following question:
what can be said about N-essentiality of these division rings?
Note that centrally essential semiprime rings are commutative, but it is not known whether N-essential semiprime rings are associative.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The author declares no conflict of interest.

Symbols

R ( S ) and r R ( S ) left and right annihilators of the subset S4
Sin g M singular submodule of the module M4
Σ S element x S x of the group ring A G 15
supp ( r ) support { g G | a g 0 } of the element r15
g G class of conjugate elements containing the element g17
Q End A quasi-endomorphism ring of the group A38
Z ( S ) or C ( S ) center of a semiring or the group S55
( X . . Y ) subset { a A | X a Y } of the right A-module51
R 1 union of the ring R with adjoint external unit59
( a , b , c ) = ( a b ) c a ( b c ) associator of elements a , b , c of the ring R59
N ( R ) associative center of the not necessarily associative ring R60
K ( R ) commutative center of the not necessarily associative ring R60
Z ( R ) = N ( R ) K ( R ) center of the non-associative ring R60
Z ^ ( R ) centroid of the not necessarily associative ring R60
[ A , A ] ideal generated by commutators of all elements of A64
( A , α ) ring from the Cayley–Dickson process64
Index
additively cancellative semiring 55
alternative ring 63
annihilator 4
arithmetical ring 3
Artinian module 3
associative center 60
associator 59
Cayley–Dickson process 64
CE ring 1
center of a non-associative ring 60
center of a semiring 55
centrally essential non-associative ring 60
centrally essential ring 1
centrally essential semiring 55
centroid 60
classical identity 28
classical ring of fractions 4
closed submodule 3
commutative center of a non-associative ring 60
commutator 43
complemented idempotent 55
derivation 43
distributive module 3
divisible Abelian group 37
division semiring 59
domain 3
element algebraic over the center 28
essential extension 3
essential submodule 3
F C -group 17
finite-dimensional module 3
flat module 49
generalized anticommutative ring 11
graded ring 11
hereditary module 3
homogeneously faithful ring 11
integrality over the center 29
invariant module 52
invariant ring 3
involution 64
K-essential ring 60
large center 25
local ring 8
multiplicatively cancellative semiring 59
N-essential ring 60
nil index 32
nilpotence class 17
nilpotence index 32
Noetherian module 3
non-reduced Abelian group 37
non-singular module 7
non-zero-divisor 3
perfect ring 9
PI ring 28
polynomial identity 28
prime ring 3
projective module 3
pseudo-socle 37
pure subgroup 37
quasi-contained the group 38
quasi-decomposition of an Abelian group 38
quasi-endomorphism 38
quasi-endomorphism ring 38
quasi-equal groups 38
reduced Abelian group 37
reduced semiring 55
reduced non-associative ring 61
regular element 3
ring algebraic over the center 29
ring of differences 55
S-graded ring 11
semi-Artinian module 9
semifield 59
semihereditary module 50
semilocal ring 9
semiperfect ring 8
semiprime ring 3
semiprime non-associative ring 61
semiprime semiring 55
semiring 55
semisubtractive semiring 55
singular ideal 4
singular submodule 4
socle 3
strongly centrally essential ring 60
strongly indecomposable group 38
support 15
T-nilpotent ideal 9
uniform module 4
uniserial module 3
upper central series 17
von Neumann regular ring 50
weak global dimension 49
weakly centrally essential ring 60

References

  1. Lyubimtsev, O.V.; Tuganbaev, A.A. Centrally essential endomorphism rings of abelian groups. Commun. Algebra 2020, 48, 1249–1256. [Google Scholar] [CrossRef]
  2. Lyubimtsev, O.V.; Tuganbaev, A.A. Centrally essential torsion-free rings of finite rank. Beitr. Algebra Geom. 2021, 62, 615–622. [Google Scholar] [CrossRef]
  3. Lyubimtsev, O.V.; Tuganbaev, A.A. Centrally essential group algebras and classical rings of quotients. Lobachevskii J. Math. 2021, 2, 2890–2894. [Google Scholar] [CrossRef]
  4. Lyubimtsev, O.V.; Tuganbaev, A.A. Centrally Essential Semirings. Lobachevskii J. Math. 2022, 43, 1405–1410. [Google Scholar]
  5. Lyubimtsev, O.V.; Tuganbaev, A.A. Local Centrally Essential Subalgebras of Triangular Algebras. Linear Multilinear Algebra 2020. [Google Scholar] [CrossRef]
  6. Lyubimtsev, O.V.; Tuganbaev, A.A. Centrally Essential Semigroup Algebras. arXiv 2022, arXiv:2204.10518. [Google Scholar]
  7. Lyubimtsev, O.V.; Tuganbaev, A.A. Ideals and Factor Rings of Centrally Essential Rings. arXiv 2022, arXiv:2204.10507. [Google Scholar]
  8. Markov, V.T.; Tuganbaev, A.A. Centrally essential group algebras. J. Algebra 2018, 518, 109–118. [Google Scholar] [CrossRef]
  9. Markov, V.T.; Tuganbaev, A.A. Centrally essential rings. Discret. Math. Appl. 2019, 29, 189–194. [Google Scholar] [CrossRef]
  10. Markov, V.T.; Tuganbaev, A.A. Rings essential over their centers. Commun. Algebra 2019, 47, 189–194. [Google Scholar] [CrossRef]
  11. Markov, V.T.; Tuganbaev, A.A. Centrally essential rings which are not necessarily unital or associative. Discret. Math. Appl. 2019, 29, 215–218. [Google Scholar] [CrossRef]
  12. Markov, V.T.; Tuganbaev, A.A. Rings with Polynomial Identity and Centrally Essential Rings. Beiträge Algebra Geom. 2019, 60, 657–661. [Google Scholar] [CrossRef] [Green Version]
  13. Markov, V.T.; Tuganbaev, A.A. Cayley-Dickson Process and Centrally Essential Rings. J. Algebra Appl. 2019, 18, 1950229. [Google Scholar] [CrossRef] [Green Version]
  14. Markov, V.T.; Tuganbaev, A.A. Uniserial Artinian Centrally Essential Rings. Beiträge Algebra Geom. 2020, 61, 23–33. [Google Scholar] [CrossRef]
  15. Markov, V.T.; Tuganbaev, A.A. Constructions of Centrally Essential Rings. Commun. Algebra 2020, 48, 198–203. [Google Scholar] [CrossRef]
  16. Markov, V.T.; Tuganbaev, A.A. Uniserial Noetherian Centrally Essential Rings. Commun. Algebra 2020, 48, 149–153. [Google Scholar] [CrossRef] [Green Version]
  17. Markov, V.T.; Tuganbaev, A.A. Distributive Noetherian Centrally Essential Rings. J. Algebra Its Appl. 2023; Online Ready. [Google Scholar] [CrossRef]
  18. Tuganbaev, A.A. Centrally Essential Rings. Lobachevskii J. Math. 2020, 41, 136–144. [Google Scholar] [CrossRef]
  19. Hall, M. The Theory of Groups; Macmillan: New York, NY, USA, 1959. [Google Scholar]
  20. Jelisiejew, J. On commutativity of ideal extensions. Commun. Algebra 2016, 44, 1931–1940. [Google Scholar] [CrossRef] [Green Version]
  21. Bourbaki, N.; Algebra, I. Chapters 1–3; Springer: Berlin, Germany, 1989. [Google Scholar]
  22. Herstein, I. Noncommutative Rings; Mathematical Association of America: Washington, DC, USA, 2005. [Google Scholar]
  23. Lam, T.Y. A First Course in Noncommutative Rings; Springer: Berlin/Heidelberg, Germany, 2001. [Google Scholar]
  24. Lambek, J. Lectures on Rings and Modules; AMS Chelsea Publishing: Rochester, NY, USA, 2009. [Google Scholar]
  25. Rowen, L.H. Ring Theory I; Academic Press: New York, NY, USA, 1988. [Google Scholar]
  26. Tuganbaev, A.A. Semidistributive Modules and Rings; Springer Netherlands (Kluwer): Dordrecht, The Netherlands; Boston, MA, USA; London, UK, 1998; 352p. [Google Scholar]
  27. Fuchs, L. Abelian Groups; Springer Monographs in Mathematics: Berlin/Heidelberg, Germany, 2015. [Google Scholar]
  28. Krylov, P.A.; Mikhalev, A.V.; Tuganbaev, A.A. Endomorphism Rings of Abelian Groups; Springer Netherlands (Kluwer): Dordrecht, The Netherlands; Boston, MA, USA; London, UK, 2003. [Google Scholar]
  29. Năstăsescu, C.; Popescu, N. Anneaux semi-artiniens. Bull. Soc. Math. Fr. 1968, 96, 357–368. [Google Scholar] [CrossRef] [Green Version]
  30. Passman, D.S. The Algebraic Structure of the Group Rings; John Wiley and Sons: New York, NY, USA, 1977. [Google Scholar]
  31. GAP—Groups, Algorithms, and Programming; Version 4.8.8/ The GAP Group. 2017. Available online: https://www.gap-system.org (accessed on 23 April 2022).
  32. Nishigori, N. On some properties of FC-groups. J. Hiroshima Univ. Ser. A 1957, 21, 99–105. [Google Scholar] [CrossRef]
  33. Herstein, N.; Small, L.W. Rings of quotients of the group algebras. J. Algebra 1971, 19, 153–155. [Google Scholar] [CrossRef] [Green Version]
  34. Brown, K.A. Quotient rings of the group rings. Compos. Math. 1978, 36, 43–254. [Google Scholar]
  35. Brown, K.A. On zero divisors in the group rings. Bull. Lond. Math. Soc. 1976, 8, 251–256. [Google Scholar] [CrossRef]
  36. Elizarov, V.P. About Goldies Theorems. Sib. Math. J. 1969, 10, 41–44. [Google Scholar] [CrossRef]
  37. Zlydnev, D.V. Rings of quotients for rings with big center. Mosc. Univ. Math. Bull. 2014, 69, 67–72. [Google Scholar] [CrossRef]
  38. Clifford, A.H.; Prieston, G.B. The Algebraic Theory of Semigroups. AMS Surv. 1961, 1, 7. [Google Scholar]
  39. Okninski, J. Semigroup Algebras; Dekker: New York, NY, USA; Basel, Switzerland, 1991. [Google Scholar]
  40. Rowen, L.H. Polynomial Identities in Ring Theory; Academic Press Inc.: New York, NY, USA, 1980. [Google Scholar]
  41. Zhevlakov, K.A.; Slin’ko, A.M.; Shestakov, I.P.; Shirshov, A.I. Rings That Are Nearly Associative; Academic Press: New York, NY, USA; London, UK, 1982; xi+371p. [Google Scholar]
  42. Amitsur, S.A. Radicals of polynomial rings. Can. J. Math. 1956, 8, 355–361. [Google Scholar] [CrossRef] [Green Version]
  43. Faticoni, T. Direct Sum Decompositions of Torsion-Free Finite Rank Groups; Taylor & Francis Group: Abingdon, UK, 2007. [Google Scholar]
  44. Drozd, Y.A.; Kirichenko, V.V. Finite Dimensional Algebras; Springer: Berlin/Heidelberg, Germany, 1994. [Google Scholar]
  45. Suprunenko, D.A.; Tyschkevich, R.I. Commutative Matrices; Academic Press: New York, NY, USA, 1968. [Google Scholar]
  46. Cherednikova, A.V. Rings of quasi-endomorphisms of strongly indecomposable torsion-free Abelian groups of rank 3. Math. Notes 1998, 63, 670–678. [Google Scholar] [CrossRef]
  47. Pierce, R.S.; Vinsonhaler, C. Realizing central division algebras. Pacific J. Math. 1983, 109, 165–177. [Google Scholar] [CrossRef] [Green Version]
  48. Corner, A.L.S.; Göbel, R. Prescribing endomorphism algebras, a unified treatmend. Proc. Lond. Math. Soc. 1985, 50, 447–479. [Google Scholar] [CrossRef]
  49. Dugas, M.; Göbel, R. Every cotorsion-free algebra is an endomorphism algebra. Math. Z. 1982, 181, 451–470. [Google Scholar] [CrossRef]
  50. Zariski, O.; Samuel, P. Commutative Algebra I; Springer: New York, NY, USA, 1975. [Google Scholar]
  51. Rowen, L.H. Some results on the center of a ring with polynomial identity. Bull. Am. Math. Soc. 1973, 79, 219–223. [Google Scholar] [CrossRef]
  52. Tuganbaev, A.A. On Rings of Weak Global Dimension at Most One. Mathematics 2021, 9, 2643. [Google Scholar] [CrossRef]
  53. Goodearl, K.R. Von Neumann Regular Rings; Pitman: London, UK, 1979. [Google Scholar]
  54. Kaplansky, I. Rings of Operators; Benjamin: New York, NY, USA, 1968. [Google Scholar]
  55. Jensen, C.U. A Remark on Arithmetical Rings. Proc. Am. Math. Soc. 1964, 15, 951–954. [Google Scholar] [CrossRef]
  56. Stephenson, W. Modules whose lattice of submodules is distributive. Proc. Lond. Math. Soc. 1974, 28, 291–310. [Google Scholar] [CrossRef]
  57. Wisbauer, R. Foundations of Module and Ring Theory; Gordon and Breach: Philadelphia, PA, USA, 1991. [Google Scholar]
  58. Dubrovin, N.I. Rational Closures of Group Rings of left-ordered Groups. Sb. Math. 1994, 79, 231–263. [Google Scholar] [CrossRef]
  59. Markov, V.T.; Tuganbaev, A.A. Distributive Noetherian Centrally Essential Rings. arXiv 2019, arXiv:1908.10034. [Google Scholar] [CrossRef]
  60. Camillo, V. Distributive modules. J. Algebra 1975, 36, 16–25. [Google Scholar] [CrossRef] [Green Version]
  61. Tuganbaev, A.A. Distributive semiprime rings. Math. Notes 1995, 58, 1197–1215. [Google Scholar] [CrossRef]
  62. Hebisch, U.; Weinert, H.J. Semirings: Algebraic Theory and Applications in Computer Science; World Scientific Publishing: Singapore, 1998. [Google Scholar]
  63. Golan, J.S. Semirings and Their Applications; Kluwer Academic Publishers: Dordrecht, The Netherlands; Boston, MA, USA; London, UK, 1999. [Google Scholar]
  64. Sehgal, K.S. Nilpotent elements in the group rings. Manuscripta Math. 1975, 15, 65–80. [Google Scholar] [CrossRef]
  65. Schafer, R.D. An Introduction to Nonassociative Algebras; Academic Press: New York, NY, USA, 1966. [Google Scholar]
  66. Albert, A.A. Quadratic forms permitting composition. Ann. Math. Second. Ser. 1942, 43, 161–177. [Google Scholar] [CrossRef]
  67. Brown, R.B. On generalized Cayley-Dickson algebras. Pac. Math. 1967, 20, 415–422. [Google Scholar] [CrossRef] [Green Version]
  68. Flaut, C. Divison algebras with dimension 2t, t ∈  N . Analele Stiintifice Ale Univ. Ovidius Constanta Ser. Mat. 2006, 13, 31–38. [Google Scholar]
  69. Flaut, C.; Shpakivskyi, V. Some identities in algebras obtained by the Cayley-Dickson process. Adv. Appl. Clifford Algebr. 2013, 23, 63–76. [Google Scholar] [CrossRef] [Green Version]
  70. Flaut, C.; Ştefănescu, M. Some equations over generalized quaternion and octonion division algebras. Bull. Math. Soc. Sci. Math. Roum. 2009, 52, 427–439. [Google Scholar]
  71. Pumplun, S.; Astier, V. Nonassociative Quaternion Algebras over Rings. Isr. J. Math. 2006, 155, 125–147. [Google Scholar] [CrossRef]
  72. Waterhouse, W.C. Nonassociative quaternion algebras. Algebr. Groups Geom. 1987, 4, 365–378. [Google Scholar]
  73. Tuganbaev, A.A. Quaternion algebras over commutative rings. Math. Notes 1993, 53, 204–207. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Tuganbaev, A. Centrally Essential Rings and Semirings. Mathematics 2022, 10, 1867. https://doi.org/10.3390/math10111867

AMA Style

Tuganbaev A. Centrally Essential Rings and Semirings. Mathematics. 2022; 10(11):1867. https://doi.org/10.3390/math10111867

Chicago/Turabian Style

Tuganbaev, Askar. 2022. "Centrally Essential Rings and Semirings" Mathematics 10, no. 11: 1867. https://doi.org/10.3390/math10111867

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop