Stabilizer group of set ideals
Let \(X\) be an infinite set. Recall that a subset \(\mathcal{I}\) of the power set of \(X\) is said to be an \textit{ideal} if it satisfies the following:\N\begin{itemize}\N\item[1.] If \(A,B\in \mathcal{I}\), then \(A\cup B\in\mathcal{I}\) (finite additivity) .\N\item[2.] If \(A\in\mathcal{I}\) and \(B\subseteq A\), then \(B\in \mathcal{I}\) (heredity).\N\end{itemize}\NThe \textit{stabilizer group} of \(\mathcal{I}\) is defined to be\N\[\NS_{\{\mathcal{I}\}} = \{ f\in S_X \mid f(\mathcal{I})=\mathcal{I} \},\N\]\Nwhere \(S_X\) denotes the symmetric group on \(X\).\N\NIn the paper under review, it seems that ideals are always assumed to be \textit{admissible}, that is, they contain all singletons. The following results are proven in Theorems 4 and 6, respectively.\N\begin{itemize}\N\item[(a)] Let \(\mathcal{I}\) be any ideal and let \(\mathcal{J}\) be a top ideal. For every \(f\in S_X\), assume that \(\mathcal{I}\cap f(\mathcal{J})\) is top in case that \(f(\mathcal{J})\not\subseteq \mathcal{I}^\perp\). Then either \(\mathcal{J}\simeq\mathcal{I}\) or \(\mathcal{J}\simeq \mathcal{I}^\perp\) whenver \(S_{ \{\mathcal{J} \}} \simeq S_{\{\mathcal{I}\}}\).\N\item[(c)] Let \(\mathcal{I}\) be a Lagrange ideal. Then the outer automorphism group of \(S_{\{\mathcal{I}\}}\) has order at most \(2\).\N\end{itemize}\NWe refer the reader to the paper for the terminology used.\N\NFor the entire collection see [Zbl 1547.65003].
- Bildung zusammengesetzter Gruppen.
- Die Kompositionsreihe der Gruppe aller eineindeutigen Abbildungen einer unendlichen Menge auf sich.
- scientific article; zbMATH DE number 4092326 (Why is no real title available?)
- scientific article; zbMATH DE number 1065053 (Why is no real title available?)
- scientific article; zbMATH DE number 3450200 (Why is no real title available?)
- scientific article; zbMATH DE number 3204712 (Why is no real title available?)
- scientific article; zbMATH DE number 3305793 (Why is no real title available?)
- scientific article; zbMATH DE number 3421537 (Why is no real title available?)
- On a theorem of Baer, Schreier, and Ulam for permutations
- Set Ideals with Complete Symmetry Group and Partition Ideals
- SET IDEALS WITH ISOMORPHIC SYMMETRY GROUPS
- Set Ideals with Maximal Symmetry Group and Minimal Dynamical Systems
- The Automorphism Group of a Free Group is Complete
- The group of measure-preserving transformations of closed unit interval has no outer automorphism
- Über die Automorphismen der Permutationsgruppe der natürlichen Zahlenfolge.
This page was built for publication: Stabilizer group of set ideals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7032007)
