Lambda-rings of automorphisms (Q647313)

Let \(\mathcal C\) be an abstract class of \(\Omega\)-algebras with a set \(\Omega\) of operators. The set of all permutations of a set \(A\) which are automorphisms of a \(\mathcal C\)-algebra is denoted by \(\text{Aut} (A,\mathcal C)\). The intention is to study sets \(\text{Aut} (A,\mathcal C)\) for abstract classes \(\mathcal C\) and finite sets \(A\). A \(\mathcal C\)-algebra \textbf{A} on a set \(A\) is said to be representative if each element of \(\text{Aut} (A,\mathcal C)\) is conjugate in the group of all permutations of \(A\) to an automorphism of \textbf{A}. It is shown that varieties of semilattices and lattices have representative algebras in each finite cardinality. An example of an abstract class with no representative algebra is given. A \(\lambda\)-ring, the so-called automorphism-type ring, is associated with \(\text{Aut} (A,\mathcal C)\). The structure of automorphism-type rings is described.