Namespaces
Variants
Actions

Minimal ideal

From Encyclopedia of Mathematics
(Redirected from Homogroup)
Jump to: navigation, search

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:
Homogroup. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Homogroup&oldid=38789