Hypothesis: HR 313:
\(\Bbb Z\) (the set of integers under addition) is amenable. (\(G\) is {\it amenable} if there is a finitely additive measure \(\mu\) on \(\cal P(G)\) such that \(\mu(G) = 1\) and \(\forall A\subseteq G, \forall g\in G\), \(\mu(gA)=\mu(A)\).)
Conclusion: HR 314:
For every set \(X\) and every permutation \(\pi\) on \(X\) there are two reflections \(\rho\) and \(\sigma\) on \(X\) such that \(\pi =\rho\circ\sigma\) and for every \(Y\subseteq X\) if \(\pi[Y]=Y\) then \(\rho[Y]=Y\) and \(\sigma[Y]=Y\). (A reflection is a permutation \(\phi\) such that \(\phi^2\) is the identity.) \ac{Degen} \cite{1988}, \cite{2000}.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N6\) Levy's Model I | \(A=\{a_n : n\in\omega\}\) and \(A = \bigcup \{P_n: n\in\omega\}\), where \(P_0 = \{a_0\}\), \(P_1 = \{a_1,a_2\}\), \(P_2 =\{a_3,a_4,a_5\}\), \(P_3 = \{a_6,a_7,a_8,a_9,a_{10}\}\), \(\cdots\); in generalfor \(n>0\), \(|P_n| = p_n\), where \(p_n\) is the \(n\)th prime |
Code: 3
Comments: