Intersection of maximal ideals: Difference between revisions
m (5 revisions) |
|||
| Line 14: | Line 14: | ||
===Stronger properties=== | ===Stronger properties=== | ||
* [[Maximal ideal]] | * [[Weaker than::Maximal ideal]] | ||
===Weaker properties=== | ===Weaker properties=== | ||
* [[Radical ideal]]: {{proofat|[[Intersection of maximal ideals implies radical]]}} | * [[Stronger than::Radical ideal]]: {{proofat|[[Intersection of maximal ideals implies radical]]}} | ||
===Related ring properties=== | ===Related ring properties=== | ||
Latest revision as of 20:23, 17 January 2009
This article defines a property of an ideal in a commutative unital ring |View other properties of ideals in commutative unital rings
This property of an ideal in a ring is equivalent to the property of the quotient ring being a/an: semisimple ring | View other quotient-determined properties of ideals in commutative unital rings
Definition
Symbol-free definition
An ideal in a commutative unital ring is termed an intersection of maximal ideals if it can be expressed as an intersection of maximal ideals (this is really a tautological definition).
Note that although a maximal ideal is assumed to be proper, an intersection of maximal ideals could be the whole ring, i.e. we allow the empty intersection.
Relation with other properties
Stronger properties
Weaker properties
- Radical ideal: For full proof, refer: Intersection of maximal ideals implies radical
Related ring properties
A ring in which every radical ideal is an intersection of maximal ideals is termed a Jacobson ring (or sometimes a Hilbert ring).
Metaproperties
Intersection-closedness
This property of ideals in commutative unital rings is intersection-closed: an arbitrary intersection of ideals with this property, also has this property