“Prime ring”的意思、由来-开放百科全书

词条

Prime ring

释义

Equivalent definitions
Examples
Properties
Notes
References

In abstract algebra, 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 domains and simple rings.

Although this article discusses the above definition, prime ring may also refer to the minimal non-zero subring of a field, which is generated by its identity element 1, and determined by its characteristic. For a characteristic 0 field, the prime ring is the integers, for a characteristic p field (with p a prime number) the prime ring is the finite field of order p (cf. prime field).^[1]

Equivalent definitions

A ring R is prime if and only if the zero ideal {0} 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 = {0} implies A = {0} or B = {0}.
For any two right ideals A and B of R, AB = {0} implies A = {0} or B = {0}.
For any two left ideals A and B of R, AB = {0} implies A = {0} or B = {0}.

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 is a prime ring.
Any simple ring is a prime ring, and more generally: every left or right primitive ring is a prime ring.
Any matrix ring over an integral domain is a prime ring. In particular, the ring of 2-by-2 integer matrices is a prime ring.

Properties

A commutative ring is a prime ring if and only if it is an integral domain.
A ring is prime if and only if its zero ideal is a prime ideal.
A nonzero ring is prime if and only if the monoid of its ideals lacks zero divisors.
The ring of matrices over a prime ring is again a prime ring.

Notes

1. ^Page 90 of {{Lang Algebra|edition=3}}

References

{{Citation | last1=Lam | first1=Tsit-Yuen | title=A First Course in Noncommutative Rings | publisher=Springer-Verlag | location=Berlin, New York | edition=2nd | isbn=978-0-387-95325-0 |mr=1838439 | year=2001}}

1 : Ring theory

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。