-system
Let be a ring. A subset of is called an -system if
-
•
, and
-
•
for every two elements , there is an element such that .
-Systems are a generalization of multiplicatively closet subsets in a ring. Indeed, every multiplicatively closed subset of is an -system: any , then , hence . However, the converse is not true. For example, the set
is an -system, but not multiplicatively closed in general (unless, for example, if ).
Remarks. -Systems and prime ideals of a ring are intimately related. Two basic relationships between the two notions are
-
1.
An ideal in a ring is a prime ideal iff is an -system.
Proof.
is prime iff implies or , iff implies that there is with iff is an -system. ∎
-
2.
Given an -system of and an ideal with . Then there exists a prime ideal with the property that contains and , and is the largest among all ideals with this property.
Proof.
Let be the collection of all ideals containing and disjoint from . First, . Second, any chain of ideals in , its union is also in . So Zorn’s lemma applies. Let be a maximal element in . We want to show that is prime. Suppose otherwise. In other words, with . Then and both have non-empty intersections with . Let
where and . Then there is such that . But this implies that
as well, contradicting . Therefore, is prime. ∎
-Systems are also used to define the non-commutative version of the radical of an ideal of a ring.
Title | -system |
---|---|
Canonical name | Msystem |
Date of creation | 2013-03-22 17:29:09 |
Last modified on | 2013-03-22 17:29:09 |
Owner | CWoo (3771) |
Last modified by | CWoo (3771) |
Numerical id | 11 |
Author | CWoo (3771) |
Entry type | Definition |
Classification | msc 16U20 |
Classification | msc 13B30 |
Synonym | m-system |
Related topic | MultiplicativelyClosed |
Related topic | NSystem |
Related topic | PrimeIdeal |