HOME

TheInfoList



OR:

In
abstract algebra In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ' ...
, a nonzero ring ''R'' is a prime ring if for any two elements ''a'' and ''b'' of ''R'', ''arb'' = 0 for all ''r'' in ''R'' implies that either ''a'' = 0 or ''b'' = 0. This definition can be regarded as a simultaneous generalization of both
integral domain 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 se ...
s and
simple ring In abstract algebra, a branch of mathematics, a simple ring is a non-zero ring that has no two-sided ideal besides the zero ideal and itself. In particular, a commutative ring is a simple ring if and only if it is a field. The center of a simpl ...
s. Although this article discusses the above definition, prime ring may also refer to the minimal non-zero
subring In mathematics, a subring of ''R'' is a subset of a ring that is itself a ring when binary operations of addition and multiplication on ''R'' are restricted to the subset, and which shares the same multiplicative identity as ''R''. For those ...
of a
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
, which is generated by its identity element 1, and determined by its characteristic. For a characteristic 0 field, the prime ring is the
integers An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the languag ...
, and for a characteristic ''p'' field (with ''p'' a
prime number A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
) the prime ring is the
finite field In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtr ...
of order ''p'' (cf.
Prime field In mathematics, the characteristic of a ring , often denoted , is defined to be the smallest number of times one must use the ring's multiplicative identity (1) in a sum to get the additive identity (0). If this sum never reaches the additive id ...
).Page 90 of


Equivalent definitions

A ring ''R'' is prime
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is bicond ...
the
zero ideal In mathematics, a zero element is one of several generalizations of the number zero to other algebraic structures. These alternate meanings may or may not reduce to the same thing, depending on the context. Additive identities An additive ident ...
is a prime ideal in the noncommutative sense. This being the case, the equivalent conditions for prime ideals yield the following equivalent conditions for ''R'' to be a prime ring: *For any two ideals ''A'' and ''B'' of ''R'', ''AB'' = implies ''A'' = or ''B'' = . *For any two ''right'' ideals ''A'' and ''B'' of ''R'', ''AB'' = implies ''A'' = or ''B'' = . *For any two ''left'' ideals ''A'' and ''B'' of ''R'', ''AB'' = implies ''A'' = or ''B'' = . Using these conditions it can be checked that the following are equivalent to ''R'' being a prime ring: *All nonzero right ideals are faithful as right ''R''-modules. *All nonzero left ideals are faithful as left ''R''-modules.


Examples

* Any
domain Domain may refer to: Mathematics *Domain of a function, the set of input values for which the (total) function is defined ** Domain of definition of a partial function ** Natural domain of a partial function ** Domain of holomorphy of a function * ...
is a prime ring. * Any
simple ring In abstract algebra, a branch of mathematics, a simple ring is a non-zero ring that has no two-sided ideal besides the zero ideal and itself. In particular, a commutative ring is a simple ring if and only if it is a field. The center of a simpl ...
is a prime ring, and more generally: every left or right
primitive ring In the branch of abstract algebra known as ring theory, a left primitive ring is a ring which has a faithful simple left module. Well known examples include endomorphism rings of vector spaces and Weyl algebras over fields of characteristic ...
is a prime ring. * Any
matrix ring In abstract algebra, a matrix ring is a set of matrices with entries in a ring ''R'' that form a ring under matrix addition and matrix multiplication . The set of all matrices with entries in ''R'' is a matrix ring denoted M''n''(''R'')Lang, '' ...
over an integral domain is a prime ring. In particular, the ring of 2 × 2 integer
matrices Matrix most commonly refers to: * ''The Matrix'' (franchise), an American media franchise ** '' The Matrix'', a 1999 science-fiction action film ** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchi ...
is a prime ring.


Properties

* A
commutative ring In mathematics, 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 ring properties that are not ...
is a prime ring if and only if it is an
integral domain 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 se ...
. * A ring is prime if and only if its zero ideal is a
prime ideal 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 wi ...
. * A nonzero ring is prime if and only if the
monoid In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0. Monoids a ...
of its ideals lacks
zero divisor In abstract algebra, an element of a ring is called a left zero divisor if there exists a nonzero in such that , or equivalently if the map from to that sends to is not injective. Similarly, an element of a ring is called a right zero ...
s. * The ring of matrices over a prime ring is again a prime ring.


Notes


References

* {{DEFAULTSORT:Prime Ring Ring theory