Namespaces
Variants
Actions

Difference between revisions of "Minimal ideal"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
Line 1: Line 1:
 +
{{TEX|done}}
 
A minimal element of the [[Partially ordered set|partially ordered set]] of ideals of a given type of some algebraic system. Since the ordering on the set of ideals is defined by the inclusion relation, a minimal ideal is an ideal not containing ideals of the same type different from itself. For multi-operator groups (in particular, rings) and for lattices, in contrast to semi-groups, it is always assumed that the partially ordered set of ideals does not contain the zero ideal. If no class of ideals is specifically mentioned, a minimal ideal is taken to be minimal in the set of all (non-zero) two-sided ideals.
 
A minimal element of the [[Partially ordered set|partially ordered set]] of ideals of a given type of some algebraic system. Since the ordering on the set of ideals is defined by the inclusion relation, a minimal ideal is an ideal not containing ideals of the same type different from itself. For multi-operator groups (in particular, rings) and for lattices, in contrast to semi-groups, it is always assumed that the partially ordered set of ideals does not contain the zero ideal. If no class of ideals is specifically mentioned, a minimal ideal is taken to be minimal in the set of all (non-zero) two-sided ideals.
  
A minimal two-sided ideal, if one exists, in a [[Semi-group|semi-group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m0638301.png" /> is unique and is the smallest two-sided ideal: it is called the kernel of the semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m0638302.png" />. Not every semi-group has a kernel (for example, an infinite [[Monogenic semi-group|monogenic semi-group]]) but, for example, the kernel exists in any finite semi-group. The kernel is an ideally-simple semi-group (see [[Simple semi-group|Simple semi-group]]). If the kernel of a semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m0638303.png" /> is a [[Group|group]], then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m0638304.png" /> is called a homogroup. A semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m0638305.png" /> is a homogroup if and only if there is an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m0638306.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m0638307.png" /> which is divisible on the left and right by any element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m0638308.png" /> (that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m0638309.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383010.png" />); in this case the kernel consists of all such elements. For example, every finite commutative semi-group is a homogroup.
+
A minimal two-sided ideal, if one exists, in a [[Semi-group|semi-group]] $S$ is unique and is the smallest two-sided ideal: it is called the kernel of the semi-group $S$. Not every semi-group has a kernel (for example, an infinite [[Monogenic semi-group|monogenic semi-group]]) but, for example, the kernel exists in any finite semi-group. The kernel is an ideally-simple semi-group (see [[Simple semi-group|Simple semi-group]]). If the kernel of a semi-group $S$ is a [[Group|group]], then $S$ is called a homogroup. A semi-group $S$ is a homogroup if and only if there is an element $z$ in $S$ which is divisible on the left and right by any element of $S$ (that is, $z\in xS\cap Sx$ for any $x\in S$); in this case the kernel consists of all such elements. For example, every finite commutative semi-group is a homogroup.
  
If a semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383011.png" /> has a minimal left ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383012.png" />, then for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383013.png" /> the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383014.png" /> is also a minimal left ideal, moreover, every minimal left ideal can be obtained in this way. Every minimal left ideal is a left simple semi-group. In a semi-group with minimal left ideals every left ideal contains a minimal left ideal, and the union of all minimal left ideals (which are pairwise disjoint) is the kernel of the semi-group. If a semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383015.png" /> has a minimal left ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383016.png" /> and a minimal right ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383017.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383018.png" /> is a subgroup in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383019.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383020.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383021.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383022.png" /> is the identity of this subgroup; the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383023.png" /> coincides with the kernel of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383024.png" /> and is, in this case, a [[Completely-simple semi-group|completely-simple semi-group]].
+
If a semi-group $S$ has a minimal left ideal $L$, then for any $x\in S$ the product $Lx$ is also a minimal left ideal, moreover, every minimal left ideal can be obtained in this way. Every minimal left ideal is a left simple semi-group. In a semi-group with minimal left ideals every left ideal contains a minimal left ideal, and the union of all minimal left ideals (which are pairwise disjoint) is the kernel of the semi-group. If a semi-group $S$ has a minimal left ideal $L$ and a minimal right ideal $R$, then $R\cap L=RL$ is a subgroup in $S$ and $L=Se$, $R=eS$, where $e$ is the identity of this subgroup; the product $LR$ coincides with the kernel of $S$ and is, in this case, a [[Completely-simple semi-group|completely-simple semi-group]].
  
For semi-groups with a zero, the interest is in the consideration of non-zero ideals, and a minimal element in the corresponding partially ordered set of ideals is called a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383028.png" />-minimal (left, right, two-sided) ideal. The properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383033.png" />-minimal ideals are in many ways similar to the properties of minimal ideals, with some natural restrictions. For example, a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383034.png" />-minimal two-sided ideal is not necessarily unique and need not be a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383035.png" />-simple semi-group; it may be a semi-group with zero multiplication (see [[Nilpotent semi-group|Nilpotent semi-group]]). The union of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383036.png" />-minimal left ideals (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383037.png" />-minimal right ideals) is a semi-group with zero, called its left (respectively, right) socle (by definition, the [[Socle|socle]] is equal to zero if there are no corresponding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383038.png" />-minimal ideals in the semi-group). A semi-group coincides with its left and right socles if and only if it is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383039.png" />-direct union of completely-simple semi-groups and semi-groups with zero multiplication.
+
For semi-groups with a zero, the interest is in the consideration of non-zero ideals, and a minimal element in the corresponding partially ordered set of ideals is called a $0$-minimal (left, right, two-sided) ideal. The properties of $0$-minimal ideals are in many ways similar to the properties of minimal ideals, with some natural restrictions. For example, a $0$-minimal two-sided ideal is not necessarily unique and need not be a $0$-simple semi-group; it may be a semi-group with zero multiplication (see [[Nilpotent semi-group|Nilpotent semi-group]]). The union of all $0$-minimal left ideals (respectively, $0$-minimal right ideals) is a semi-group with zero, called its left (respectively, right) socle (by definition, the [[Socle|socle]] is equal to zero if there are no corresponding $0$-minimal ideals in the semi-group). A semi-group coincides with its left and right socles if and only if it is an $O$-direct union of completely-simple semi-groups and semi-groups with zero multiplication.
  
The consideration of minimal ideals and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063830/m06383040.png" />-minimal ideals plays an essential role in the structure theory of a number of important classes of semi-groups (see, for example, [[Completely-simple semi-group|Completely-simple semi-group]]; [[Regular semi-group|Regular semi-group]], and also , §§ 2.5, 2.7, Chapt. 6, §§ 7.7, 8.2, 8.3; , Chapt. V).
+
The consideration of minimal ideals and $0$-minimal ideals plays an essential role in the structure theory of a number of important classes of semi-groups (see, for example, [[Completely-simple semi-group|Completely-simple semi-group]]; [[Regular semi-group|Regular semi-group]], and also , §§ 2.5, 2.7, Chapt. 6, §§ 7.7, 8.2, 8.3; , Chapt. V).
  
 
''L.N. Shevrin''
 
''L.N. Shevrin''

Revision as of 14:34, 28 August 2014

A minimal element of the partially ordered set of ideals of a given type of some algebraic system. Since the ordering on the set of ideals is defined by the inclusion relation, a minimal ideal is an ideal not containing ideals of the same type different from itself. For multi-operator groups (in particular, rings) and for lattices, in contrast to semi-groups, it is always assumed that the partially ordered set of ideals does not contain the zero ideal. If no class of ideals is specifically mentioned, a minimal ideal is taken to be minimal in the set of all (non-zero) two-sided ideals.

A minimal two-sided ideal, if one exists, in a semi-group $S$ is unique and is the smallest two-sided ideal: it is called the kernel of the semi-group $S$. Not every semi-group has a kernel (for example, an infinite monogenic semi-group) but, for example, the kernel exists in any finite semi-group. The kernel is an ideally-simple semi-group (see Simple semi-group). If the kernel of a semi-group $S$ is a group, then $S$ is called a homogroup. A semi-group $S$ is a homogroup if and only if there is an element $z$ in $S$ which is divisible on the left and right by any element of $S$ (that is, $z\in xS\cap Sx$ for any $x\in S$); in this case the kernel consists of all such elements. For example, every finite commutative semi-group is a homogroup.

If a semi-group $S$ has a minimal left ideal $L$, then for any $x\in S$ the product $Lx$ is also a minimal left ideal, moreover, every minimal left ideal can be obtained in this way. Every minimal left ideal is a left simple semi-group. In a semi-group with minimal left ideals every left ideal contains a minimal left ideal, and the union of all minimal left ideals (which are pairwise disjoint) is the kernel of the semi-group. If a semi-group $S$ has a minimal left ideal $L$ and a minimal right ideal $R$, then $R\cap L=RL$ is a subgroup in $S$ and $L=Se$, $R=eS$, where $e$ is the identity of this subgroup; the product $LR$ coincides with the kernel of $S$ and is, in this case, a completely-simple semi-group.

For semi-groups with a zero, the interest is in the consideration of non-zero ideals, and a minimal element in the corresponding partially ordered set of ideals is called a $0$-minimal (left, right, two-sided) ideal. The properties of $0$-minimal ideals are in many ways similar to the properties of minimal ideals, with some natural restrictions. For example, a $0$-minimal two-sided ideal is not necessarily unique and need not be a $0$-simple semi-group; it may be a semi-group with zero multiplication (see Nilpotent semi-group). The union of all $0$-minimal left ideals (respectively, $0$-minimal right ideals) is a semi-group with zero, called its left (respectively, right) socle (by definition, the socle is equal to zero if there are no corresponding $0$-minimal ideals in the semi-group). A semi-group coincides with its left and right socles if and only if it is an $O$-direct union of completely-simple semi-groups and semi-groups with zero multiplication.

The consideration of minimal ideals and $0$-minimal ideals plays an essential role in the structure theory of a number of important classes of semi-groups (see, for example, Completely-simple semi-group; Regular semi-group, and also , §§ 2.5, 2.7, Chapt. 6, §§ 7.7, 8.2, 8.3; , Chapt. V).

L.N. Shevrin

Rings (like semi-groups) need not have minimal ideals (the simplest example is the ring of integers) and a minimal ideal in a ring, if it exists, need not be unique. The sum of all (left, right, two-sided) minimal ideals in a ring is called the (left, right, two-sided) socle of the ring. An Artinian ring, obviously, has a non-zero socle. The presence of minimal ideals in a primitive ring makes it close to a matrix ring in the following sense: A primitive ring with a non-zero socle is isomorphic to a dense subring of the ring of all linear transformations of some vector space over a skew-field, containing all transformations of finite rank .

V.E. Govorov

References for the above sections are given below.

References

[1] A.H. Clifford, G.B. Preston, "Algebraic theory of semi-groups" , 1–2 , Amer. Math. Soc. (1961–1967)
[2] E.S. Lyapin, "Semigroups" , Amer. Math. Soc. (1974) (Translated from Russian)
[3] N. Jacobson, "Structure of rings" , Amer. Math. Soc. (1956)

Comments

In commutative ring theory, and also in the theory of distributive lattices, the study of minimal prime ideals (i.e. minimal elements in the ordered set of prime ideals) plays an important part. To a large extent this is simply the order-theoretic dual of the study of maximal ideals of these structures (see Maximal ideal), but the parallel is not exact — for instance, the space of minimal prime ideals of a distributive lattice is always Hausdorff but need not be compact, whereas the space of maximal ideals is always compact but need not be Hausdorff.

References

[a1] M. Henriksen, M. Jerison, "The space of minimal prime ideals of a commutative ring" Trans. Amer. Math. Soc. , 115 (1965) pp. 110–130
[a2] H. Simmons, "Reticulated rings" J. Algebra , 66 (1980) pp. 169–192
[a3] S.-H. Sun, "A localic approach to minimal prime spectra" Math. Proc. Cambridge Philos. Soc. , 103 (1988) pp. 47–53
How to Cite This Entry:
Minimal ideal. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Minimal_ideal&oldid=12379