Lie and Jordan structures in simple associative rings

The aim of this note is to complete the description of the Lie inner ideal structure of simple Artinian rings with involution and of simple rings with involution and minimal one-sided ideals. Inner ideals are classified by adopting a Jordan approach based on the notion of a subquotient of an abelian inner ideal.

Let A be a simple ring which is not a 4-dimensional algebra over a field of characteristic 2, and let U be a Lie ideal of A. Then Herstein proves in [2] that either U is contained in the center Z of A, or U contains [A, A ]; if in addition U is also assumed to be an associative ring and containls [A, A], then U=-A. Herstein and Baxter also prove in [1; 3], and [4] that [A, A] mod [A, A ]CnZ is a simple Lie ring. Our object here is to give a simple proof of this fact, basing our argument only on the results of [2] quoted above, though many of Herstein's ideas will be incorporated here without explicit mention. We first recall a few definitions and make some preliminary remarks. If u and a are elements of the ring A, [u, a] will designate uac-au, and [U, A ] will denote the module generated by all [u, a] where u is in U and a in A. U is an ideal of A if U is a module and if [U, A] is contained in U. If U and V are submodules of A then U+ V is the module generated by U and V. If U is a submodule of A we shall define U:A to be the set of elements x of A such that [x, A ] C U, thus [U: A, A ] is contained in U. It is easy to check that U:A is a ring from the identity [?v, a] = [u, va] + [v, au]. When U is a Lie ideal of A then U:A is also such. The following identities will be needed in the sequel; they are easy to verify:

We introduce non-associative Ore extensions, S = R[X; σ, δ], for any nonassociative unital ring R and any additive maps σ, δ: R → R satisfying σ(1) = 1 and δ(1) = 0. In the special case when δ is either left or right R δ -linear, where R δ = ker(δ), and R is δ-simple, i.e. {0} and R are the only δ-invariant ideals of R, we determine the ideal structure of the nonassociative differential polynomial ring D = R[X; id R , δ]. Namely, in that case, we show that all non-zero ideals of D are generated by monic polynomials in the center Z(D) of D. We also show that Z( D ) = R δ [p] for a monic p ∈ R δ [X], unique up to addition of elements from Z(R) δ . Thereby, we generalize classical results by Amitsur on differential polynomial rings defined by derivations on associative and simple rings. Furthermore, we use the ideal structure of D to show that D is simple if and only if R is δ-simple and Z(D) equals the field R δ ∩ Z(R). This provides us with a non-associative generalization of a result by Oinert, Richter and Silvestrov. This result is in turn used to show a non-associative version of a classical result by Jordan concerning simplicity of D in the cases when the characteristic of the field R δ ∩ Z(R) is either zero or a prime. We use our findings to show simplicity results for both non-associative versions of Weyl algebras and non-associative differential polynomial rings defined by monoid/group actions on compact Hausdorff spaces.

In 1996, the first author defined analogs of the concepts of complete (divisible), reduced, and periodic abelian groups, well-known in the theory of abelian groups, for arbitrary varieties of algebras. In 2021, the first author proposed a modification of the concepts of completeness and reducibility, which is more natural in the case of associative rings. The paper studies the modification of these concepts for associative rings. Artinian \(\mathbf{M}\)-complete, \(\mathbf{M}\)-reduced rings, and minimally \(\mathbf{M}\)-complete associative nilpotent rings, simple rings with unity, and finite rings are characterized.

In the last few years many results have appeared which deal with questions of how various algebraic properties of the symmetric elements of a ring with involution, or the subring they generate, affect the structure of the whole ring. If the ring has an identity, similar questions may be posed by making assumptions about the symmetric units or subgroup they generate. Little seems to be known about the special units which exist in rings with involution, although several questions of importance have existed for some time. For example, given a simple ring with appropriate additional assumptions, is the unitary group essentially simple? Also, what can be said about the structure of subspaces invariant under conjugation by all unitary or symmetric units (see [7])?

In this note we extend the Lie inner ideal structure of simple Artinian rings with involution, initiated by Benkart and completed by Benkart and Fernández López, to centrally closed prime rings with involution of characteristic not 2 2 , 3 3 or 5 5 . New Lie inner ideals (which we call special) occur when making this extension. We also give a purely algebraic description of the so-called Clifford inner ideals, which had only been described in geometric terms.

has characterized those rings with involution J, with 1, and such that every symmetric element has an inverse under the additional hypothesis that S~~, the subring generated by ,S (the set of symmetric elements), is A, the ring itself.In this paper we raise the question as to when S~ = A under a weaker hypothesis and prove the following theorem.(A henceforth is such that 2A =A and 2x=0 implies x=0 for any xEA.)Theorem 1.Let A be a ring with 1 and suppose that S is a simple Jordan ring under the Jordan multiplication, s o t = st+ts for all s and t in S. Then either S~ = A or SEZ, the center of A, or K, the set o/ skew elements, is an ideal o/ A with K2EZ, K3 = (8), and S is an associative ring under Jordan multiplication.We note that Osborn proves that under his hypothesis, either A is a division ring; the direct sum of two division rings which are antiisomorphic, and / interchanges the summands; or 51 is a field under Jordan multiplication, K is an ideal of A where K2 = (d).A corollary to our result is Corollary 1.Let A be as in Theorem 1. Suppose /urther that A contains no nilpotent ideals.Then either A is simple or A is a direct sum o/ two simple rings which are anti-isomorphic and such that J interchanges the direct summands.

This series aims to report new developments in mathematical research and teaching -quickly, informally and at a high level.The type of material considered for publication includes: 1.Preliminary drafts of original papers and monographs 2. Lectures on a new field, or presenting a new angle on a classical field 3. Seminar work-outs 4. Reports of meetings, provided they are a) of exceptional interest or b) devoted to a single topic.

Let Rbe a nonassociative ring of characteristic not 2 or 3 which satisfies the identities (ab=ba) = (ac+ca)b, a(ac+ca) = b(ac+ca) and a2a = aa2. We show that these rings are characterized as associative commutative rings with a type of biadditive mapping. From this characterization we show easily that simple rings are associative-commutative, or anti-commutative. Among the examples given, is a finite dimensional algebra which is solvable but not nilpotent.

It is well known that the set of all ideals(2) of a ring forms a complete modular lattice with respect to set inclusion. The same is true of the set of all right ideals. Our purpose in this paper is to consider the consequences of imposing certain additional restrictions on these ideal lattices. In particular, we discuss the case in which one or both of these lattices is complemented, and the case in which one or both is distributive. In §1 two strictly latticetheoretic results are noted for the sake of their application to the complemented case. In §2 rings which have a complemented ideal lattice are considered. Such rings are characterized as discrete direct sums of simple rings. The structure space of primitive ideals of such rings is also discussed. In §3 corresponding results are obtained for rings whose lattice of right ideals is complemented. In particular, it is shown that a ring has a complemented right ideal lattice if and only if it is isomorphic with a discrete direct sum of quasi-simple rings. The socle [7](3) and the maximal regular ideal [5] are discussed in connection with such rings. The effect of an identity element is considered in §4. In §5 rings with distributive ideal lattices are considered and still another variant of regularity [20] is introduced. It is shown that a semi-simple ring with a distributive right ideal lattice is isomorphic with a subdirect sum of division rings. In the concluding section a type of ideal, introduced by L. Fuchs [9] in connection with commutative rings with distributive ideal lattice, and which we call strongly irreducible, is considered. Some properties of these ideals, analogous to corresponding ones for prime ideals [19], are developed. Finally, it is observed that a topology may be introduced in the set of all proper strongly irreducible ideals in such a way that the resulting space contains the spaces of prime [19] and primitive [13] ideals as subspaces. I wish to take this opportunity to thank Professor M. F. Smiley for the encouragement and many helpful suggestions he has given me throughout the preparation of this paper. 1. Some lattice-theoretic preliminaries. In this section we state two results of a strictly lattice-theoretic nature with a view toward subsequent applications to rings. Our notation and terminology is that of Birkhoff [3]. In

Herstein's Lie theory revisited

In part I we introduce vertex rings , which bear the same relation to vertex algebras (or VOAs) as commutative, associative rings do to commutative, associative algebras over C \mathbf {C} . We show that vertex rings are characterized by Goddard axioms . These include a generalization of the translation-covariance axiom of VOA theory that involves a canonical Hasse-Schmidt derivation naturally associated to any vertex ring. We give several illustrative applications of these axioms, including the construction of vertex rings associated with the Virasoro algebra. We consider some categories of vertex rings, and the rôle played by the center of a vertex ring. In part II we extend the theory of Pierce bundles associated to a commutative ring to the setting of vertex rings. This amounts to the construction of certain reduced étale bundles of vertex rings functorially associated to a vertex ring. We introduce von Neumann regular vertex rings as a generalization of von Neumann regular commutative rings; we obtain a characterization of this class of vertex rings as those whose Pierce bundles are bundles of simple vertex rings.

The following theorem is proved: Suppose R is an associative ring and suppose J is the Jacobson radical of R. Suppose that for all x1, * *, xn in R, there exists a word wx... (x1, * * x), depending on x1, * *, x,,, in which at least one xi (i varies) is missing, and such that xi ... x, = w ,... .n(x1, , x). Then J is a nil ring of bounded index and R/J is finite. It is further proved that a commutative nil semigroup satisfies the above identity if and only if it is nilpotent. In this paper, we investigate the structure of an associative ring R with the property that, for all xl, * * * , x, in R, xl ... x = wxi.... xn(xl, * * *, Xn), where w is a word, depending on xl, * * *, xn, and where some xi (i varies) is missing in w. For such a ring R, we prove the Jacobson radical J is a nil ring of bounded index. We also show that R/J is finite. Finally, we show that a commutative nil semigroup satisfies the above identity if and only if it is nilpotent. In preparation for the proofs of the main results, we first introduce DEFINITION 1. Let n be a positive integer, and let S be a semigroup. We say that S is a fln-semigroup if, for all xl, * * *, xn in S, there exists a word w .(x, *1 , xn) consisting of a product of the xi's with some x1 (j varies) missing, such that xl ... xn=wxl....xn((xl, * * *, xn). A ring R is called a fln-ring if its multiplicative semigroup is a fln-semigroup. LEMMA 1. Let S be a finite semigroup or a nilpotent semigroup. Then S is a fln-semigroup, for some n. PROOF. First, suppose S is finite, of order n, and suppose xl, Xn+1 are any elements of S. Then xi=xj for some i>j, and hence X1 ... Xn+1 = X1 ... Xi ... Xi-lXjXi+l Xn+1 = W(X1, . . , Xi-1 Xi+1 , Xn+1) Thus S is a fln+l-semigroup. Next, suppose S is nilpotent, say, Sm= (0). Presented to the Society, January 18, 1972; received by the editors August 10, 1971 and, in revised form, October 6, 1971. AMS (MOS) subject classifications (1970). Primary 16A38, 16A48; Secondary 20M10. The author was supported by a National Science Foundation Graduate Fellowship. @ American Mathematical Society 1973

Associative rings R and R′ are said to be lattice-isomorphic if their subring lattices L(R) and L(R′) are isomorphic. An isomorphism of the lattice L(R) onto the lattice L(R′) is called a projection (or else a lattice isomorphism) of the ring R onto the ring R′. A ring R′ is called the projective image of a ring R. Lattice isomorphisms of finite one-generated rings with identity are studied. We elucidate the general structure of finite one-generated rings with identity and also give necessary and sufficient conditions for a finite ring decomposable into a direct sum of Galois rings to be generated by one element. Conditions are found under which the projective image of a ring decomposable into a direct sum of finite fields is a one-generated ring. We look at lattice isomorphisms of one-generated rings decomposable into direct sums of Galois rings of different types. Three main types of Galois rings are distinguished: finite fields, rings generated by idempotents, and rings of the form GR(pn,m), where m > 1 and n > 1. We specify sufficient conditions for the projective image of a one-generated ring decomposable into a sum of Galois rings and a nil ideal to be generated by one element.

Let $R$ be an associative ring with centre $Z$. The aim of this paper is to study how the ideal structure of the Lie ring of derivations of $R$, denoted $D(R)$, is determined by the ideal structure of $R$. If $R$ is a simple (respectively semisimple) finite-dimensional $Z$-algebra and δ$(z)$ = 0 for all δ ∈ $D(R)$, then every derivation of $R$ is inner and $D(R)$ is known to be a simple (respectively semisimple) Lie algebra (see [7, 5]). Here we are interested in extending these results to the case where $R$ is a prime or semi-prime ring.