Namespaces
Variants
Actions

Difference between revisions of "Alternative rings and algebras"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
a0120901.png
 +
$#A+1 = 119 n = 0
 +
$#C+1 = 119 : ~/encyclopedia/old_files/data/A012/A.0102090 Alternative rings and algebras
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
An alternative ring is a ring in which every two elements generate an associative subring; an alternative algebra is a (linear) algebra that is an alternative ring. By a theorem of >E. Artin the class of all alternative rings is defined by the system of identities:
 
An alternative ring is a ring in which every two elements generate an associative subring; an alternative algebra is a (linear) algebra that is an alternative ring. By a theorem of >E. Artin the class of all alternative rings is defined by the system of identities:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a0120901.png" /></td> </tr></table>
+
$$
 +
(xy)y  = x(yy) \  ( \textrm \right  \textrm{ alternativeness } ) ;
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a0120902.png" /></td> </tr></table>
+
$$
 +
(xx)y  = x(xy) \  ( \textrm \left  \textrm{ alternativeness } ) .
 +
\right .$$
  
 
Thus, the alternative rings form a variety. The terminology  "alternative ring"  is justified by the fact that in any such ring the [[Associator|associator]] (the defect of associativity)
 
Thus, the alternative rings form a variety. The terminology  "alternative ring"  is justified by the fact that in any such ring the [[Associator|associator]] (the defect of associativity)
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a0120903.png" /></td> </tr></table>
+
$$
 +
( x , y , z )  = ( x y ) z - x ( y z )
 +
$$
  
 
is a skew-symmetric (alternative) function of its arguments.
 
is a skew-symmetric (alternative) function of its arguments.
  
The first example of alternative rings were the [[Cayley numbers|Cayley numbers]], which form an alternative skew-field, i.e. an alternative ring with a unit element, in which the equations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a0120904.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a0120905.png" /> are uniquely solvable for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a0120906.png" /> and all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a0120907.png" />. Alternative skew-fields play a substantial part in the theory of projective planes, since a projective plane is a Moufang plane (i.e. a translation plane with respect to some straight line) if and only if any coordinatization of its ternary ring is an alternative skew-field. If in a ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a0120908.png" /> with a unit element each non-zero element is invertible, and if the identity
+
The first example of alternative rings were the [[Cayley numbers|Cayley numbers]], which form an alternative skew-field, i.e. an alternative ring with a unit element, in which the equations $  ax = b $
 +
and $  ya = b $
 +
are uniquely solvable for all $  b $
 +
and all $  a \neq 0 $.  
 +
Alternative skew-fields play a substantial part in the theory of projective planes, since a projective plane is a Moufang plane (i.e. a translation plane with respect to some straight line) if and only if any coordinatization of its ternary ring is an alternative skew-field. If in a ring $  R $
 +
with a unit element each non-zero element is invertible, and if the identity
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a0120909.png" /></td> </tr></table>
+
$$
 +
a  ^ {-1} ( a b )  = b
 +
$$
  
(or the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209010.png" />) is valid for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209011.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209012.png" /> is an alternative skew-field. Any alternative skew-field is either associative or has the structure of a [[Cayley–Dickson algebra|Cayley–Dickson algebra]] over its centre.
+
(or the identity $  (ba) a  ^ {-1} = b $)  
 +
is valid for any a, b \in R $,
 +
then $  R $
 +
is an alternative skew-field. Any alternative skew-field is either associative or has the structure of a [[Cayley–Dickson algebra|Cayley–Dickson algebra]] over its centre.
  
Each simple alternative ring is also either associative or a Cayley–Dickson algebra over its centre (in this case the algebra need not necessarily be a skew-field). Both the associative and the primitive alternative rings are exhausted by the Cayley–Dickson algebras. All primary alternative rings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209013.png" /> (if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209014.png" />) are either associative or are Cayley–Dickson rings.
+
Each simple alternative ring is also either associative or a Cayley–Dickson algebra over its centre (in this case the algebra need not necessarily be a skew-field). Both the associative and the primitive alternative rings are exhausted by the Cayley–Dickson algebras. All primary alternative rings $  R $(
 +
if $  3R \neq 0 $)  
 +
are either associative or are Cayley–Dickson rings.
  
Many properties of alternative rings differ substantially from those of an associative ring in a similar situation. Thus, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209015.png" /> is an alternative ring and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209016.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209017.png" /> are right ideals in it, their product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209018.png" /> need not necessarily be a right ideal, even if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209019.png" /> is a two-sided ideal in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209020.png" />; however, the product of two two-sided ideals of an alternative ring is a two-sided ideal in it. The difference between associative rings and alternative rings is also strongly manifested by the fact that alternative rings contain various kinds of nilpotency, since the product of elements may be zero or non-zero, depending on the placement of the parentheses. It is customary to use the following kind of nilpotency in an alternative ring: solvability (a ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209021.png" /> is called a solvable ring of index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209022.png" /> if there exists a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209023.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209024.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209026.png" />), right nilpotency (there exists a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209027.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209028.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209029.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209030.png" />), and nilpotency (there exists a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209031.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209032.png" />, i.e. the product of any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209033.png" /> elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209034.png" /> is zero, no matter how the parentheses are placed). There are solvable alternative rings of index 3, but they are not nilpotent. Right nilpotency in an alternative ring is equivalent to nilpotency (alternative rings that are right nilpotent of index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209035.png" />, are also nilpotent of index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209036.png" />). Locally, i.e. in finitely generated rings, all kind of nilpotency are equivalent. The theory that establishes sufficient criteria of local nilpotency of an alternative ring is completely parallel to the corresponding theory for associative rings. This is a consequence of the following fact: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209037.png" /> be an alternative ring in which one can to select a system of generators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209038.png" /> such that any two elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209039.png" /> generate a nil ring, suppose also that all associative homomorphic images of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209040.png" /> are locally nilpotent, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209041.png" /> is locally nilpotent. Therefore, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209042.png" /> is an alternative ring with an identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209043.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209044.png" /> is locally nilpotent; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209045.png" /> is an alternative algebra with an identity relation that is not a consequence of the associativity, and if each element is the sum of a finite number of nil elements, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209046.png" /> is locally nilpotent. As regards global, as distinct from local, nilpotency the situation in alternative rings differs from that in associative rings. Thus, an alternative ring with the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209047.png" /> is not necessarily nilpotent (even if its additive group is torsion-free). However, an alternative ring with an identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209048.png" /> and without elements of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209049.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209050.png" />, in the additive group is solvable of index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209051.png" />.
+
Many properties of alternative rings differ substantially from those of an associative ring in a similar situation. Thus, if $  R $
 +
is an alternative ring and $  A $
 +
and $  B $
 +
are right ideals in it, their product $  AB $
 +
need not necessarily be a right ideal, even if $  A $
 +
is a two-sided ideal in $  R $;  
 +
however, the product of two two-sided ideals of an alternative ring is a two-sided ideal in it. The difference between associative rings and alternative rings is also strongly manifested by the fact that alternative rings contain various kinds of nilpotency, since the product of elements may be zero or non-zero, depending on the placement of the parentheses. It is customary to use the following kind of nilpotency in an alternative ring: solvability (a ring $  R $
 +
is called a solvable ring of index $  m $
 +
if there exists a number $  m $
 +
such that $  R _ {m} = 0 $,  
 +
where $  R _ {i+1} = R _ {i} R _ {i} $,  
 +
$  R _ {1} = R $),  
 +
right nilpotency (there exists a number $  n $
 +
such that $  R  ^ {(n)} = 0 $,  
 +
where $  R  ^ {(i+1)} = R  ^ {(i)} R  ^ {(1)} $,  
 +
$  R  ^ {(1)} = R $),  
 +
and nilpotency (there exists a number $  k $
 +
such that $  R  ^ {k} = 0 $,  
 +
i.e. the product of any $  k $
 +
elements of $  R $
 +
is zero, no matter how the parentheses are placed). There are solvable alternative rings of index 3, but they are not nilpotent. Right nilpotency in an alternative ring is equivalent to nilpotency (alternative rings that are right nilpotent of index $  n $,  
 +
are also nilpotent of index $  \leq  {(n + 1) }  ^ {2} $).  
 +
Locally, i.e. in finitely generated rings, all kind of nilpotency are equivalent. The theory that establishes sufficient criteria of local nilpotency of an alternative ring is completely parallel to the corresponding theory for associative rings. This is a consequence of the following fact: Let $  R $
 +
be an alternative ring in which one can to select a system of generators $  S $
 +
such that any two elements of $  S $
 +
generate a nil ring, suppose also that all associative homomorphic images of $  R $
 +
are locally nilpotent, then $  R $
 +
is locally nilpotent. Therefore, if $  R $
 +
is an alternative ring with an identity $  x  ^ {n} = 0 $,  
 +
then $  R $
 +
is locally nilpotent; if $  R $
 +
is an alternative algebra with an identity relation that is not a consequence of the associativity, and if each element is the sum of a finite number of nil elements, then $  R $
 +
is locally nilpotent. As regards global, as distinct from local, nilpotency the situation in alternative rings differs from that in associative rings. Thus, an alternative ring with the identity $  x  ^ {3} = 0 $
 +
is not necessarily nilpotent (even if its additive group is torsion-free). However, an alternative ring with an identity $  x  ^ {n} = 0 $
 +
and without elements of order $  k $,
 +
0 < k \leq  n $,  
 +
in the additive group is solvable of index $  n(n + 1) / 2 $.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209052.png" /> is an algebraic alternative algebra with an identity relation that is not a consequence of the associativity (or if the degrees of algebraicity of the elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209053.png" /> are uniformly bounded), then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209054.png" /> is locally finite-dimensional.
+
If $  R $
 +
is an algebraic alternative algebra with an identity relation that is not a consequence of the associativity (or if the degrees of algebraicity of the elements of $  R $
 +
are uniformly bounded), then $  R $
 +
is locally finite-dimensional.
  
In a alternative ring there is an analogue of the [[Jacobson radical|Jacobson radical]]: In each alternative ring there exists a maximal quasi-regular ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209055.png" />, which is equal to the intersection of all modular maximal right ideals. The quotient ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209056.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209058.png" />-semi-simple, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209059.png" />; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209060.png" /> is an ideal of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209061.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209062.png" />, and any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209063.png" />-semi-simple ring can be approximated by primitive alternative rings (i.e. by primitive associative rings and by Cayley–Dickson algebras). There also exist analogues of all other associative radicals (lower nil-radical, locally nilpotent radical, etc.), which display the same basic properties as in associative rings.
+
In a alternative ring there is an analogue of the [[Jacobson radical|Jacobson radical]]: In each alternative ring there exists a maximal quasi-regular ideal $  J(R) $,  
 +
which is equal to the intersection of all modular maximal right ideals. The quotient ring $  R/J(R) $
 +
is $  J $-
 +
semi-simple, i.e. $  J(R/J(R)) = 0 $;  
 +
if $  I $
 +
is an ideal of $  R $,  
 +
then $  J(I) = J(R) \cap I $,  
 +
and any $  J $-
 +
semi-simple ring can be approximated by primitive alternative rings (i.e. by primitive associative rings and by Cayley–Dickson algebras). There also exist analogues of all other associative radicals (lower nil-radical, locally nilpotent radical, etc.), which display the same basic properties as in associative rings.
  
In an Artinian alternative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209064.png" /> (i.e. an alternative ring that satisfies the descending chain condition (minimum condition) for right ideals) the radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209065.png" /> is nilpotent, and so is any nil-subgroupoid of the multiplicative groupoid of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209066.png" />. A ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209067.png" /> is an Artinian alternative ring without nilpotent ideals if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209068.png" /> splits into the direct sum of finitely many complete matrix algebras (over certain associative skew-fields) and Cayley–Dickson algebras; this decomposition is unique for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209069.png" />, apart from a rearrangement of the terms. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209070.png" /> is an alternative ring, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209071.png" /> one of its ideals, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209072.png" /> satisfies the minimum condition for the two-sided ideals contained in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209073.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209074.png" /> is nilpotent if and only if there are no simple ideals in the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209075.png" /> for any arbitrary homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209076.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209077.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209078.png" />.
+
In an Artinian alternative ring $  R $(
 +
i.e. an alternative ring that satisfies the descending chain condition (minimum condition) for right ideals) the radical $  R(J) $
 +
is nilpotent, and so is any nil-subgroupoid of the multiplicative groupoid of $  R $.  
 +
A ring $  R $
 +
is an Artinian alternative ring without nilpotent ideals if and only if $  R $
 +
splits into the direct sum of finitely many complete matrix algebras (over certain associative skew-fields) and Cayley–Dickson algebras; this decomposition is unique for each $  R $,  
 +
apart from a rearrangement of the terms. If $  R $
 +
is an alternative ring, $  I $
 +
one of its ideals, and $  R $
 +
satisfies the minimum condition for the two-sided ideals contained in $  I $,  
 +
then $  I $
 +
is nilpotent if and only if there are no simple ideals in the ring $  R \phi $
 +
for any arbitrary homomorphism $  \phi $
 +
from $  R $
 +
into $  I \phi $.
  
In an alternative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209079.png" /> one distinguishes between the associative centre
+
In an alternative ring $  R $
 +
one distinguishes between the associative centre
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209080.png" /></td> </tr></table>
+
$$
 +
N ( R )  = \{ {n \in R } : {( n , a , b ) = 0
 +
\textrm{ for  all  } \
 +
a , b \in R } \}
 +
,
 +
$$
  
 
the commutative centre
 
the commutative centre
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209081.png" /></td> </tr></table>
+
$$
 +
C ( R )  = \{ {c \in R } : {[ c , a ] = ca - ac = 0 \
 +
\textrm{ for  all  } \
 +
a \in R } \}
 +
,
 +
$$
  
 
and the centre
 
and the centre
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209082.png" /></td> </tr></table>
+
$$
 +
Z ( R )  = N ( R ) \cap C ( R ) .
 +
$$
  
If in the additive group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209083.png" /> there are no elements of order three, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209084.png" />. However, commutative non-associative alternative algebras exist over a field of characteristic three. In a primary alternative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209085.png" /> one always has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209086.png" />. In any alternative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209087.png" /> one always has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209088.png" />. Suppose that in an alternative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209089.png" /> there are no non-trivial ideals. Then 1) either <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209090.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209091.png" />; 2) either <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209092.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209093.png" />; 3) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209094.png" /> is a right ideal in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209095.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209096.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209097.png" />. However, over any field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209098.png" /> it is possible to construct an alternative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a01209099.png" /> with no non-trivial ideals such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090100.png" />, but <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090101.png" />, which is an ideal of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090102.png" />, is an associative-commutative ring, i.e.
+
If in the additive group of $  R $
 +
there are no elements of order three, then $  C(R) \subseteq N(R) $.  
 +
However, commutative non-associative alternative algebras exist over a field of characteristic three. In a primary alternative ring $  R $
 +
one always has $  C(R) \supseteq N(R) $.  
 +
In any alternative ring $  R $
 +
one always has $  [ N(R), R] \subseteq N(R) $.  
 +
Suppose that in an alternative ring $  R $
 +
there are no non-trivial ideals. Then 1) either $  3R = 0 $
 +
or $  N(R) \neq 0 $;  
 +
2) either $  3R \subseteq N(R) $
 +
or $  Z(R) \neq 0 $;  
 +
3) if $  A $
 +
is a right ideal in $  R $,  
 +
then $  N(A) = A \cap N(R) $
 +
and $  Z(A) = A \cap Z(R) $.  
 +
However, over any field $  F $
 +
it is possible to construct an alternative ring $  K $
 +
with no non-trivial ideals such that $  N(K) = C(K) = 0 $,  
 +
but $  K ^ { 2 } $,  
 +
which is an ideal of $  K $,  
 +
is an associative-commutative ring, i.e.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090103.png" /></td> </tr></table>
+
$$
 +
N ( K ^ { 2 } )  = C ( K ^ { 2 } )  = K ^ { 2 }  \neq  0 .
 +
$$
  
 
Of the identities that are valid in an alternative ring, the following are the best known:
 
Of the identities that are valid in an alternative ring, the following are the best known:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090104.png" /></td> </tr></table>
+
$$
 +
[ ( x y ) z ] y  = x [( y z ) y ] ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090105.png" /></td> </tr></table>
+
$$
 +
[ ( x y ) x ] z  = x [ y ( x z ) ] ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090106.png" /></td> </tr></table>
+
$$
 +
( x y ) ( z x )  = [ x ( y z ) ] x
 +
$$
  
 
(the Moufang identities);
 
(the Moufang identities);
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090107.png" /></td> </tr></table>
+
$$
 +
( x y , z , t ) - y ( x , z , t ) - ( y , z , t ) x =
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090108.png" /></td> </tr></table>
+
$$
 +
= \
 +
( [ x , y ] , z , t ) + ( x , y , [ z , t ] ) ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090109.png" /></td> </tr></table>
+
$$
 +
( [ x , y ]  ^ {4} , z , t )  = [ x , y ] ( [ x , y ]  ^ {2} , z , t ) =
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090110.png" /></td> </tr></table>
+
$$
 +
= \
 +
( [ x , y ]  ^ {2} , z , t ) [ x , y ]  = 0 .
 +
$$
  
 
An alternative ring with three generators also satisfies the identity
 
An alternative ring with three generators also satisfies the identity
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090111.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
$$ \tag{* }
 +
( [ x , y ] [ z , t ] + [ z , t ]
 +
[ x , y ] , u , v )  = 0 .
 +
$$
  
In an alternative ring with more than three generators the identity (*) is usually not satisfied; moreover, in these alternative rings, as a rule, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090112.png" />. In any alternative ring without locally nilpotent ideals, the identity (*) is satisfied, so that such an alternative ring can be approximated by primary associative rings and by Cayley–Dickson rings.
+
In an alternative ring with more than three generators the identity (*) is usually not satisfied; moreover, in these alternative rings, as a rule, $  ( [x, y]  ^ {2} , z, t) \neq 0 $.  
 +
In any alternative ring without locally nilpotent ideals, the identity (*) is satisfied, so that such an alternative ring can be approximated by primary associative rings and by Cayley–Dickson rings.
  
Any free alternative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090113.png" /> has a non-zero ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090114.png" /> contained in the associative centre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090115.png" />. A free alternative ring with three or more generators not only contains divisors of zero, but is not primary. Free alternative rings with four or more generators even contain trivial ideals and for this reason cannot be approximated by primary rings.
+
Any free alternative ring $  R $
 +
has a non-zero ideal $  U(R) $
 +
contained in the associative centre $  N(R) $.  
 +
A free alternative ring with three or more generators not only contains divisors of zero, but is not primary. Free alternative rings with four or more generators even contain trivial ideals and for this reason cannot be approximated by primary rings.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G.V. Dorofeev,  "An instance of a solvable, though non-nilpotent alternative ring"  ''Russian Math. Surveys'' , '''15''' :  3  (1960)  pp. 147–150  ''Uspekhi Mat. Nauk'' , '''15''' :  3  (1960)  pp. 147–150</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  K.A. Zhevlakov,  "Alternative Artinian rings"  ''Algebra i Logika'' , '''5''' :  3  (1966)  pp. 11–36  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  K.A. Zhevlakov,  "On radicals and von Neumann ideals"  ''Algebra and Logic'' , '''8''' :  4  (1969)  pp. 244–252  ''Algebra i Logika'' , '''8''' :  4  (1969)  pp. 425–439</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  A.I. Shirshov,  "On certain non-associative nil-rings and algebraic algebras"  ''Mat. Sb.'' , '''41 (83)''' :  3  (1957)  pp. 381–394  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  E. Kleinfeld,  "Simple alternative rings"  ''Ann. of Math. (2)'' , '''58''' :  3  (1953)  pp. 544–547</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  E. Kleinfeld,  "Alternative nil rings"  ''Ann. of Math. (2)'' , '''66''' :  3  (1957)  pp. 395–399</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  L.A. Skornyakov,  "Alternative rings"  ''Rend. di Mat. e Appl.'' , '''24'''  (1965)  pp. 360–372</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  M. Slater,  "Ideals in semiprime alternative rings"  ''J. of Algebra'' , '''8'''  (1968)  pp. 60–76</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  G.V. Dorofeev,  "Alternative rings with three generators"  ''Sibirsk. Mat. Zh.'' , '''4''' :  5  (1963)  pp. 1029–1048  (In Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G.V. Dorofeev,  "An instance of a solvable, though non-nilpotent alternative ring"  ''Russian Math. Surveys'' , '''15''' :  3  (1960)  pp. 147–150  ''Uspekhi Mat. Nauk'' , '''15''' :  3  (1960)  pp. 147–150</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  K.A. Zhevlakov,  "Alternative Artinian rings"  ''Algebra i Logika'' , '''5''' :  3  (1966)  pp. 11–36  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  K.A. Zhevlakov,  "On radicals and von Neumann ideals"  ''Algebra and Logic'' , '''8''' :  4  (1969)  pp. 244–252  ''Algebra i Logika'' , '''8''' :  4  (1969)  pp. 425–439</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  A.I. Shirshov,  "On certain non-associative nil-rings and algebraic algebras"  ''Mat. Sb.'' , '''41 (83)''' :  3  (1957)  pp. 381–394  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  E. Kleinfeld,  "Simple alternative rings"  ''Ann. of Math. (2)'' , '''58''' :  3  (1953)  pp. 544–547</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  E. Kleinfeld,  "Alternative nil rings"  ''Ann. of Math. (2)'' , '''66''' :  3  (1957)  pp. 395–399</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  L.A. Skornyakov,  "Alternative rings"  ''Rend. di Mat. e Appl.'' , '''24'''  (1965)  pp. 360–372</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  M. Slater,  "Ideals in semiprime alternative rings"  ''J. of Algebra'' , '''8'''  (1968)  pp. 60–76</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  G.V. Dorofeev,  "Alternative rings with three generators"  ''Sibirsk. Mat. Zh.'' , '''4''' :  5  (1963)  pp. 1029–1048  (In Russian)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
An element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090116.png" /> in a ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090117.png" /> is right quasi-regular if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090118.png" />. An element is quasi-regular if it is both left and right quasi-regular. An ideal in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090119.png" /> is quasi-regular if all its elements are quasi-regular [[#References|[a2]]]. The phrase  "approximated by …"  means  "representable as a subdirect sum of …" . For example  "a J-semi-simple alternative algebra R can be approximated by primitive alternative rings"  means that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012090/a012090120.png" /> is isomorphic to a subdirect sum of primitive alternative rings.
+
An element $  z $
 +
in a ring $  R $
 +
is right quasi-regular if $  \{ {a - z a } : {a \in R } \} = R $.  
 +
An element is quasi-regular if it is both left and right quasi-regular. An ideal in $  R $
 +
is quasi-regular if all its elements are quasi-regular [[#References|[a2]]]. The phrase  "approximated by …"  means  "representable as a subdirect sum of …" . For example  "a J-semi-simple alternative algebra R can be approximated by primitive alternative rings"  means that $  R $
 +
is isomorphic to a subdirect sum of primitive alternative rings.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  N. Jacobson,  "Structure and representation of Jordan algebras" , Amer. Math. Soc.  (1968)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  N. Jacobson,  "Structure of rings" , Amer. Math. Soc.  (1964)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  R.D. Schafer,  "An introduction to non-associative algebras" , Acad. Press  (1966)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  N. Jacobson,  "Structure and representation of Jordan algebras" , Amer. Math. Soc.  (1968)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  N. Jacobson,  "Structure of rings" , Amer. Math. Soc.  (1964)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  R.D. Schafer,  "An introduction to non-associative algebras" , Acad. Press  (1966)</TD></TR></table>

Revision as of 16:10, 1 April 2020


An alternative ring is a ring in which every two elements generate an associative subring; an alternative algebra is a (linear) algebra that is an alternative ring. By a theorem of >E. Artin the class of all alternative rings is defined by the system of identities:

$$ (xy)y = x(yy) \ ( \textrm \right \textrm{ alternativeness } ) ; $$

$$ (xx)y = x(xy) \ ( \textrm \left \textrm{ alternativeness } ) . \right .$$

Thus, the alternative rings form a variety. The terminology "alternative ring" is justified by the fact that in any such ring the associator (the defect of associativity)

$$ ( x , y , z ) = ( x y ) z - x ( y z ) $$

is a skew-symmetric (alternative) function of its arguments.

The first example of alternative rings were the Cayley numbers, which form an alternative skew-field, i.e. an alternative ring with a unit element, in which the equations $ ax = b $ and $ ya = b $ are uniquely solvable for all $ b $ and all $ a \neq 0 $. Alternative skew-fields play a substantial part in the theory of projective planes, since a projective plane is a Moufang plane (i.e. a translation plane with respect to some straight line) if and only if any coordinatization of its ternary ring is an alternative skew-field. If in a ring $ R $ with a unit element each non-zero element is invertible, and if the identity

$$ a ^ {-1} ( a b ) = b $$

(or the identity $ (ba) a ^ {-1} = b $) is valid for any $ a, b \in R $, then $ R $ is an alternative skew-field. Any alternative skew-field is either associative or has the structure of a Cayley–Dickson algebra over its centre.

Each simple alternative ring is also either associative or a Cayley–Dickson algebra over its centre (in this case the algebra need not necessarily be a skew-field). Both the associative and the primitive alternative rings are exhausted by the Cayley–Dickson algebras. All primary alternative rings $ R $( if $ 3R \neq 0 $) are either associative or are Cayley–Dickson rings.

Many properties of alternative rings differ substantially from those of an associative ring in a similar situation. Thus, if $ R $ is an alternative ring and $ A $ and $ B $ are right ideals in it, their product $ AB $ need not necessarily be a right ideal, even if $ A $ is a two-sided ideal in $ R $; however, the product of two two-sided ideals of an alternative ring is a two-sided ideal in it. The difference between associative rings and alternative rings is also strongly manifested by the fact that alternative rings contain various kinds of nilpotency, since the product of elements may be zero or non-zero, depending on the placement of the parentheses. It is customary to use the following kind of nilpotency in an alternative ring: solvability (a ring $ R $ is called a solvable ring of index $ m $ if there exists a number $ m $ such that $ R _ {m} = 0 $, where $ R _ {i+1} = R _ {i} R _ {i} $, $ R _ {1} = R $), right nilpotency (there exists a number $ n $ such that $ R ^ {(n)} = 0 $, where $ R ^ {(i+1)} = R ^ {(i)} R ^ {(1)} $, $ R ^ {(1)} = R $), and nilpotency (there exists a number $ k $ such that $ R ^ {k} = 0 $, i.e. the product of any $ k $ elements of $ R $ is zero, no matter how the parentheses are placed). There are solvable alternative rings of index 3, but they are not nilpotent. Right nilpotency in an alternative ring is equivalent to nilpotency (alternative rings that are right nilpotent of index $ n $, are also nilpotent of index $ \leq {(n + 1) } ^ {2} $). Locally, i.e. in finitely generated rings, all kind of nilpotency are equivalent. The theory that establishes sufficient criteria of local nilpotency of an alternative ring is completely parallel to the corresponding theory for associative rings. This is a consequence of the following fact: Let $ R $ be an alternative ring in which one can to select a system of generators $ S $ such that any two elements of $ S $ generate a nil ring, suppose also that all associative homomorphic images of $ R $ are locally nilpotent, then $ R $ is locally nilpotent. Therefore, if $ R $ is an alternative ring with an identity $ x ^ {n} = 0 $, then $ R $ is locally nilpotent; if $ R $ is an alternative algebra with an identity relation that is not a consequence of the associativity, and if each element is the sum of a finite number of nil elements, then $ R $ is locally nilpotent. As regards global, as distinct from local, nilpotency the situation in alternative rings differs from that in associative rings. Thus, an alternative ring with the identity $ x ^ {3} = 0 $ is not necessarily nilpotent (even if its additive group is torsion-free). However, an alternative ring with an identity $ x ^ {n} = 0 $ and without elements of order $ k $, $ 0 < k \leq n $, in the additive group is solvable of index $ n(n + 1) / 2 $.

If $ R $ is an algebraic alternative algebra with an identity relation that is not a consequence of the associativity (or if the degrees of algebraicity of the elements of $ R $ are uniformly bounded), then $ R $ is locally finite-dimensional.

In a alternative ring there is an analogue of the Jacobson radical: In each alternative ring there exists a maximal quasi-regular ideal $ J(R) $, which is equal to the intersection of all modular maximal right ideals. The quotient ring $ R/J(R) $ is $ J $- semi-simple, i.e. $ J(R/J(R)) = 0 $; if $ I $ is an ideal of $ R $, then $ J(I) = J(R) \cap I $, and any $ J $- semi-simple ring can be approximated by primitive alternative rings (i.e. by primitive associative rings and by Cayley–Dickson algebras). There also exist analogues of all other associative radicals (lower nil-radical, locally nilpotent radical, etc.), which display the same basic properties as in associative rings.

In an Artinian alternative ring $ R $( i.e. an alternative ring that satisfies the descending chain condition (minimum condition) for right ideals) the radical $ R(J) $ is nilpotent, and so is any nil-subgroupoid of the multiplicative groupoid of $ R $. A ring $ R $ is an Artinian alternative ring without nilpotent ideals if and only if $ R $ splits into the direct sum of finitely many complete matrix algebras (over certain associative skew-fields) and Cayley–Dickson algebras; this decomposition is unique for each $ R $, apart from a rearrangement of the terms. If $ R $ is an alternative ring, $ I $ one of its ideals, and $ R $ satisfies the minimum condition for the two-sided ideals contained in $ I $, then $ I $ is nilpotent if and only if there are no simple ideals in the ring $ R \phi $ for any arbitrary homomorphism $ \phi $ from $ R $ into $ I \phi $.

In an alternative ring $ R $ one distinguishes between the associative centre

$$ N ( R ) = \{ {n \in R } : {( n , a , b ) = 0 \textrm{ for all } \ a , b \in R } \} , $$

the commutative centre

$$ C ( R ) = \{ {c \in R } : {[ c , a ] = ca - ac = 0 \ \textrm{ for all } \ a \in R } \} , $$

and the centre

$$ Z ( R ) = N ( R ) \cap C ( R ) . $$

If in the additive group of $ R $ there are no elements of order three, then $ C(R) \subseteq N(R) $. However, commutative non-associative alternative algebras exist over a field of characteristic three. In a primary alternative ring $ R $ one always has $ C(R) \supseteq N(R) $. In any alternative ring $ R $ one always has $ [ N(R), R] \subseteq N(R) $. Suppose that in an alternative ring $ R $ there are no non-trivial ideals. Then 1) either $ 3R = 0 $ or $ N(R) \neq 0 $; 2) either $ 3R \subseteq N(R) $ or $ Z(R) \neq 0 $; 3) if $ A $ is a right ideal in $ R $, then $ N(A) = A \cap N(R) $ and $ Z(A) = A \cap Z(R) $. However, over any field $ F $ it is possible to construct an alternative ring $ K $ with no non-trivial ideals such that $ N(K) = C(K) = 0 $, but $ K ^ { 2 } $, which is an ideal of $ K $, is an associative-commutative ring, i.e.

$$ N ( K ^ { 2 } ) = C ( K ^ { 2 } ) = K ^ { 2 } \neq 0 . $$

Of the identities that are valid in an alternative ring, the following are the best known:

$$ [ ( x y ) z ] y = x [( y z ) y ] , $$

$$ [ ( x y ) x ] z = x [ y ( x z ) ] , $$

$$ ( x y ) ( z x ) = [ x ( y z ) ] x $$

(the Moufang identities);

$$ ( x y , z , t ) - y ( x , z , t ) - ( y , z , t ) x = $$

$$ = \ ( [ x , y ] , z , t ) + ( x , y , [ z , t ] ) , $$

$$ ( [ x , y ] ^ {4} , z , t ) = [ x , y ] ( [ x , y ] ^ {2} , z , t ) = $$

$$ = \ ( [ x , y ] ^ {2} , z , t ) [ x , y ] = 0 . $$

An alternative ring with three generators also satisfies the identity

$$ \tag{* } ( [ x , y ] [ z , t ] + [ z , t ] [ x , y ] , u , v ) = 0 . $$

In an alternative ring with more than three generators the identity (*) is usually not satisfied; moreover, in these alternative rings, as a rule, $ ( [x, y] ^ {2} , z, t) \neq 0 $. In any alternative ring without locally nilpotent ideals, the identity (*) is satisfied, so that such an alternative ring can be approximated by primary associative rings and by Cayley–Dickson rings.

Any free alternative ring $ R $ has a non-zero ideal $ U(R) $ contained in the associative centre $ N(R) $. A free alternative ring with three or more generators not only contains divisors of zero, but is not primary. Free alternative rings with four or more generators even contain trivial ideals and for this reason cannot be approximated by primary rings.

References

[1] G.V. Dorofeev, "An instance of a solvable, though non-nilpotent alternative ring" Russian Math. Surveys , 15 : 3 (1960) pp. 147–150 Uspekhi Mat. Nauk , 15 : 3 (1960) pp. 147–150
[2] K.A. Zhevlakov, "Alternative Artinian rings" Algebra i Logika , 5 : 3 (1966) pp. 11–36 (In Russian)
[3] K.A. Zhevlakov, "On radicals and von Neumann ideals" Algebra and Logic , 8 : 4 (1969) pp. 244–252 Algebra i Logika , 8 : 4 (1969) pp. 425–439
[4] A.I. Shirshov, "On certain non-associative nil-rings and algebraic algebras" Mat. Sb. , 41 (83) : 3 (1957) pp. 381–394 (In Russian)
[5] E. Kleinfeld, "Simple alternative rings" Ann. of Math. (2) , 58 : 3 (1953) pp. 544–547
[6] E. Kleinfeld, "Alternative nil rings" Ann. of Math. (2) , 66 : 3 (1957) pp. 395–399
[7] L.A. Skornyakov, "Alternative rings" Rend. di Mat. e Appl. , 24 (1965) pp. 360–372
[8] M. Slater, "Ideals in semiprime alternative rings" J. of Algebra , 8 (1968) pp. 60–76
[9] G.V. Dorofeev, "Alternative rings with three generators" Sibirsk. Mat. Zh. , 4 : 5 (1963) pp. 1029–1048 (In Russian)

Comments

An element $ z $ in a ring $ R $ is right quasi-regular if $ \{ {a - z a } : {a \in R } \} = R $. An element is quasi-regular if it is both left and right quasi-regular. An ideal in $ R $ is quasi-regular if all its elements are quasi-regular [a2]. The phrase "approximated by …" means "representable as a subdirect sum of …" . For example "a J-semi-simple alternative algebra R can be approximated by primitive alternative rings" means that $ R $ is isomorphic to a subdirect sum of primitive alternative rings.

References

[a1] N. Jacobson, "Structure and representation of Jordan algebras" , Amer. Math. Soc. (1968)
[a2] N. Jacobson, "Structure of rings" , Amer. Math. Soc. (1964)
[a3] R.D. Schafer, "An introduction to non-associative algebras" , Acad. Press (1966)
How to Cite This Entry:
Alternative rings and algebras. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Alternative_rings_and_algebras&oldid=45092
This article was adapted from an original article by K.A. Zhevlakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article