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

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.