Alternative rings and algebras

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:

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)

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 and are uniquely solvable for all and all . 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 with a unit element each non-zero element is invertible, and if the identity

(or the identity ) is valid for any , then 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 (if ) 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 is an alternative ring and and are right ideals in it, their product need not necessarily be a right ideal, even if is a two-sided ideal in ; 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 is called a solvable ring of index if there exists a number such that , where , ), right nilpotency (there exists a number such that , where , ), and nilpotency (there exists a number such that , i.e. the product of any elements of 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 , are also nilpotent of index ). 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 be an alternative ring in which one can to select a system of generators such that any two elements of generate a nil ring, suppose also that all associative homomorphic images of are locally nilpotent, then is locally nilpotent. Therefore, if is an alternative ring with an identity , then is locally nilpotent; if 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 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 is not necessarily nilpotent (even if its additive group is torsion-free). However, an alternative ring with an identity and without elements of order , , in the additive group is solvable of index .

If 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 are uniformly bounded), then 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 , which is equal to the intersection of all modular maximal right ideals. The quotient ring is -semi-simple, i.e. ; if is an ideal of , then , and any -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 (i.e. an alternative ring that satisfies the descending chain condition (minimum condition) for right ideals) the radical is nilpotent, and so is any nil-subgroupoid of the multiplicative groupoid of . A ring is an Artinian alternative ring without nilpotent ideals if and only if 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 , apart from a rearrangement of the terms. If is an alternative ring, one of its ideals, and satisfies the minimum condition for the two-sided ideals contained in , then is nilpotent if and only if there are no simple ideals in the ring for any arbitrary homomorphism from into .

In an alternative ring one distinguishes between the associative centre

the commutative centre

and the centre

If in the additive group of there are no elements of order three, then . However, commutative non-associative alternative algebras exist over a field of characteristic three. In a primary alternative ring one always has . In any alternative ring one always has . Suppose that in an alternative ring there are no non-trivial ideals. Then 1) either or ; 2) either or ; 3) if is a right ideal in , then and . However, over any field it is possible to construct an alternative ring with no non-trivial ideals such that , but , which is an ideal of , is an associative-commutative ring, i.e.

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

(the Moufang identities);

An alternative ring with three generators also satisfies the identity

(*)

In an alternative ring with more than three generators the identity (*) is usually not satisfied; moreover, in these alternative rings, as a rule, . 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 has a non-zero ideal contained in the associative centre . 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 in a ring is right quasi-regular if . An element is quasi-regular if it is both left and right quasi-regular. An ideal in 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 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)