Statement:
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}.
Howard_Rubin_Number: 314
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Degen-1988: There can be a permutation which is not the product of two reflections
Book references
Note connections: