On a family of ideals of S(X) (Q1083555)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On a family of ideals of S(X)
scientific article

    Statements

    On a family of ideals of S(X) (English)
    0 references
    1987
    0 references
    S(X) is the semigroup of all continuous selfmaps of the topological space X. If a family of subsets of X satisfies certain conditions, there is associated with it an ideal of S(X). For example, let \({\mathcal A}\) be a collection of nondegenerate subcontinua of X with the property that if \(A\in {\mathcal A}\), \(f\in S(X)\) and f is injective on A then f[A]\(\in {\mathcal A}\). The collection J(\({\mathcal A})=\{f\in S(X):\) f is not injective on any \(A\in {\mathcal A}\}\) is an ideal of S(X) and families of such ideals are investigated in some detail. In one of the main results, it is shown that if X is a local dendrite, then J(\({\mathcal A})\) is prime if and only if \({\mathcal A}\) is a filter base. All this results in a characterization of the arc as the only (nondegenerate) local dendrite X with finite branch number with the property that S(X) has no prime ideals. This also permits us to produce a large number of local dendrites with finite branch numbers whose semigroups have no largest proper congruence. This is in direct contrast to previous results which describe spaces (including all Euclidean N- cells) each of whose semigroups does have a largest proper congruence.
    0 references
    semigroup of continuous selfmaps
    0 references
    filter base
    0 references
    arc
    0 references
    prime ideals
    0 references
    local dendrites with finite branch numbers
    0 references
    proper congruence
    0 references

    Identifiers

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