Semi-prime
A semi-prime is a term from abstract algebra . It represents an extension of the concept of the prime ideal .
definition
In the following, let R be a ring with one . Then an ideal Q of R is a semi-prime ideal if it satisfies one of the following equivalent conditions:
- If R is an ideal with , then is .
- Q is an average of prime ideals.
properties
- A ring R is called semiprim, if it is semiprimid. Then the mapping , whereby the product is formed over all prime ideals, is injective. Therefore a semiprimer ring is a subdirect product of primer rings, that is, those in which the zero ideal is prime.
- An average of semi-prime ideals is again a semi-prime ideal.
- The prime radical is the smallest semi- prime ideal.
Individual evidence
- ↑ Louis H. Rowen: Ring Theory. Volume 1. Academic Press Inc., Boston et al. 1988, ISBN 0-125-99841-4 ( Pure and Applied Mathematics 127), Theorem 2.6.17 applied to R / Q.
- ↑ Louis H. Rowen: Ring Theory. Volume 1. Academic Press Inc., Boston et al. 1988, ISBN 0-125-99841-4 ( Pure and Applied Mathematics 127), § 2.2