Semiprime ring

Last updated January 27, 2022

In ring theory, a branch of mathematics, semiprime ideals and semiprime rings are generalizations of prime ideals and prime rings. In commutative algebra, semiprime ideals are also called radical ideals and semiprime rings are the same as reduced rings.

For example, in the ring of integers, the semiprime ideals are the zero ideal, along with those ideals of the form $n\mathbb {Z}$ where n is a square-free integer. So, $30\mathbb {Z}$ is a semiprime ideal of the integers (because 30 = 2 × 3 × 5, with no repeated prime factors), but $12\mathbb {Z} \,$ is not (because 12 = 2² × 3, with a repeated prime factor).

The class of semiprime rings includes semiprimitive rings, prime rings and reduced rings.

Most definitions and assertions in this article appear in ( Lam 1999 ) and ( Lam 2001 ).

Definitions

For a commutative ring R, a proper ideal A is a semiprime ideal if A satisfies either of the following equivalent conditions:

If x^k is in A for some positive integer k and element x of R, then x is in A.
If y is in R but not in A, all positive integer powers of y are not in A.

The latter condition that the complement is "closed under powers" is analogous to the fact that complements of prime ideals are closed under multiplication.

As with prime ideals, this is extended to noncommutative rings "ideal-wise". The following conditions are equivalent definitions for a semiprime ideal A in a ring R:

For any ideal J of R, if J^k⊆A for a positive natural number k, then J⊆A.
For any right ideal J of R, if J^k⊆A for a positive natural number k, then J⊆A.
For any left ideal J of R, if J^k⊆A for a positive natural number k, then J⊆A.
For any x in R, if xRx⊆A, then x is in A.

Here again, there is a noncommutative analogue of prime ideals as complements of m-systems. A nonempty subset S of a ring R is called an n-system if for any s in S, there exists an r in R such that srs is in S. With this notion, an additional equivalent point may be added to the above list:

R\A is an n-system.

The ring R is called a semiprime ring if the zero ideal is a semiprime ideal. In the commutative case, this is equivalent to R being a reduced ring, since R has no nonzero nilpotent elements. In the noncommutative case, the ring merely has no nonzero nilpotent right ideals. So while a reduced ring is always semiprime, the converse is not true.^[1]

General properties of semiprime ideals

To begin with, it is clear that prime ideals are semiprime, and that for commutative rings, a semiprime primary ideal is prime.

While the intersection of prime ideals is not usually prime, it is a semiprime ideal. Shortly it will be shown that the converse is also true, that every semiprime ideal is the intersection of a family of prime ideals.

For any ideal B in a ring R, we can form the following sets:

{\sqrt {B}}:=\bigcap \{P\subseteq R\mid B\subseteq P,P{\mbox{ a prime ideal}}\}\subseteq \{x\in R\mid x^{n}\in B{\mbox{ for some }}n\in \mathbb {N} ^{+}\}\,

The set ${\sqrt {B}}$ is the definition of the radical of B and is clearly a semiprime ideal containing B, and in fact is the smallest semiprime ideal containing B. The inclusion above is sometimes proper in the general case, but for commutative rings it becomes an equality.

With this definition, an ideal A is semiprime if and only if ${\sqrt {A}}=A$ . At this point, it is also apparent that every semiprime ideal is in fact the intersection of a family of prime ideals. Moreover, this shows that the intersection of any two semiprime ideals is again semiprime.

By definition R is semiprime if and only if ${\sqrt {\{0\}}}=\{0\}$ , that is, the intersection of all prime ideals is zero. This ideal ${\sqrt {\{0\}}}$ is also denoted by $Nil_{*}(R)\,$ and also called Baer's lower nilradical or the Baer-Mccoy radical or the prime radical of R.

Semiprime Goldie rings

A right Goldie ring is a ring that has finite uniform dimension (also called finite rank) as a right module over itself, and satisfies the ascending chain condition on right annihilators of its subsets. Goldie's theorem states that the semiprime right Goldie rings are precisely those that have a semisimple Artinian right classical ring of quotients. The Artin–Wedderburn theorem then completely determines the structure of this ring of quotients.

Related Research Articles

In mathematics, specifically abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element a has the cancellation property, that is, if a ≠ 0, an equality ab = ac implies b = c.

In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the zero ideal.

In mathematics, a principal ideal domain, or PID, is an integral domain in which every ideal is principal, i.e., can be generated by a single element. More generally, a principal ideal ring is a nonzero commutative ring whose ideals are principal, although some authors refer to PIDs as principal rings. The distinction is that a principal ideal ring may have zero divisors whereas a principal ideal domain cannot.

In ring theory, a branch of abstract algebra, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers preserves evenness, and multiplying an even number by an integer results in an even number; these closure and absorption properties are the defining properties of an ideal. An ideal can be used to construct a quotient ring in a way similar to how, in group theory, a normal subgroup can be used to construct a quotient group.

In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal amongst all proper ideals. In other words, I is a maximal ideal of a ring R if there are no other ideals contained between I and R.

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

In mathematics, more specifically ring theory, the Jacobson radical of a ring $is the ideal consisting of those elements in that annihilate all simple right -modules. It happens that substituting "left" in place of "right" in the definition yields the same ideal, and so the notion is left-right symmetric. The Jacobson radical of a ring is frequently denoted by or; the former notation will be preferred in this article, because it avoids confusion with other radicals of a ring. The Jacobson radical is named after Nathan Jacobson, who was the first to study it for arbitrary rings in.$

In mathematics, a unique factorization domain (UFD) is a ring in which a statement analogous to the fundamental theorem of arithmetic holds. Specifically, a UFD is an integral domain in which every non-zero non-unit element can be written as a product of prime elements, uniquely up to order and units.

In ring theory, a branch of abstract algebra, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of noncommutative rings where multiplication is not required to be commutative.

In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules.

Commutative algebra is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers $; and p -adic integers .$

In algebra, ring theory is the study of rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studies the structure of rings, their representations, or, in different language, modules, special classes of rings, as well as an array of properties that proved to be of interest both within the theory itself and for its applications, such as homological properties and polynomial identities.

Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject.

In ring theory, a branch of mathematics, the radical of an ideal $of a commutative ring is another ideal defined by the property that an element is in the radical if and only if some power of is in . Taking the radical of an ideal is called radicalization . A radical ideal is an ideal that is equal to its radical. The radical of a primary ideal is a prime ideal.$

In mathematics, an element x of a ring R is called nilpotent if there exists some positive integer n, called the index, such that xⁿ = 0.

In algebra, the nilradical of a commutative ring is the ideal consisting of the nilpotent elements:

In mathematics, the annihilator of a subset $S$ of a module over a ring is the ideal formed by the elements of the ring that give always zero when multiplied by an element of $S$ .

In algebra, an area of mathematics, a domain is a nonzero ring in which ab = 0 implies a = 0 or b = 0. Equivalently, a domain is a ring in which 0 is the only left zero divisor. A commutative domain is called an integral domain. Mathematical literature contains multiple variants of the definition of "domain".

In abstract algebra, an associated prime of a module M over a ring R is a type of prime ideal of R that arises as an annihilator of a (prime) submodule of M. The set of associated primes is usually denoted by $and sometimes called the assassin or assassinator of M .$

In mathematics, more specifically abstract algebra and ring theory, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exists a and b in R with a·b ≠ b·a. Many authors use the term noncommutative rings to refer to rings which are not necessarily commutative, and hence include commutative rings in their definition. Noncommutative algebra is the study of results applying to rings that are not required to be commutative. Many important results in the field of noncommutative algebra apply to commutative rings as special cases.

References

↑ The full ring of two-by-two matrices over a field is semiprime with nonzero nilpotent elements.

Lam, Tsit-Yuen (1999), Lectures on modules and rings, Graduate Texts in Mathematics No. 189, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98428-5, MR 1653294
Lam, T. Y. (2001), A first course in noncommutative rings, Graduate Texts in Mathematics, vol. 131 (2 ed.), New York: Springer-Verlag, pp. xx+385, ISBN 978-0-387-95183-6, MR 1838439

External links

PlanetMath article on semiprime ideals

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] The full ring of two-by-two matrices over a field is semiprime with nonzero nilpotent elements.

[1]