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
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