Ideal semigroups of noetherian domains and Ponizovski decompositions (Q872182)

From MaRDI portal





scientific article; zbMATH DE number 5137677
Language Label Description Also known as
English
Ideal semigroups of noetherian domains and Ponizovski decompositions
scientific article; zbMATH DE number 5137677

    Statements

    Ideal semigroups of noetherian domains and Ponizovski decompositions (English)
    0 references
    0 references
    27 March 2007
    0 references
    Let \(R\) be a noetherian integral domain, and \(L\) a field, which is a finite extension of the field \(K\) of quotients of \(R\). The author studies the multiplicative semigroup \({\mathcal F}_L(R)\) of all \(R\)-lattices contained in \(L\) (i.e., finitely generated \(R\)-modules lying in \(L\), and containing a \(K\)-basis of \(L\)). After showing that idempotents of \({\mathcal F}_L(R)\) coincide with \(R\)-orders contained in \(L\) it is proved that if \(R\) is one-dimensional, then \({\mathcal F}_L(R)\) is complete, and if \(R\) is Dedekind, then \({\mathcal F}_L(R)\) is a Clifford semigroup if and only if the extension \(L/K\) is quadratic. Two \(R\)-lattices \(A,B\in {\mathcal F}_L(R)\) are equivalent, if for some non-zero \(\lambda\in L\) one has \(A=\lambda B\), and the set of resulting equivalence classes forms a semigroup \(S_L(R)\). The author describes its structure in terms of its Ponizovski factors, which the author defines for arbitrary semigroup \(S\), by putting for every idempotent \(e\in S\) \[ P_e=Se/\bigcup_fSf, \] where \(f\) runs over all idempotents of \(S\) satisfying \(ef=e\) and \(f\neq e\). The Ponizovski factors are also used to give simple characterizations of Clifford semigroups and complete semigroups.
    0 references
    \(R\)-lattices
    0 references
    noetherian domains
    0 references
    Clifford semigroups
    0 references
    complete semigroups
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references