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:

The following forms are listed as conclusions of this form class in rfb1:

Back