The factoriality of the ring of \(S\)-species (Q1813289)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The factoriality of the ring of \(S\)-species
scientific article

    Statements

    The factoriality of the ring of \(S\)-species (English)
    0 references
    0 references
    0 references
    25 June 1992
    0 references
    The paper studies rings of \(S\)-species. The symbol \(S\) denotes the category whose objects are couples \((A,\sigma)\), where \(A\) is a finite set and \(\sigma\) is a permutation on \(A\) and whose morphisms \((A,\sigma)\to(B,\tau)\) are bijections \(\psi\) of \(A\) onto \(B\) such that \(\psi\sigma=\tau\psi\). The category of finite sets and bijections is denoted by \(B\) (other sense than above). A functor \(T: S\to B\) is called a permutation species on \(S\)-species. For two \(S\)-species \(T\) and \(P\) the sum \(T+P\), the Cartesian product \(T\times P\) and the product \(TP\) are defined. Further a group-set is defined as a triple \((G,A,\sigma)\), where \(A\) is a finite set, \(\sigma\) is a permutation of \(A\) and \(G\) is a subgroup of the centralizer of \(\sigma\). Some theorems on these concepts are proved.
    0 references
    ring of \(S\)-species
    0 references
    permutation species
    0 references
    group-set
    0 references

    Identifiers