Reduction of nirrorno-ness along odd-index normal subgroups
Establish whether an analogue of the strong nirrorno reduction theorem holds for nirrorno-ness: namely, determine whether a finite group G is nirrorno whenever it has a normal nirrorno subgroup N of odd index [G:N].
References
This reduction proof is the reason the strong nirrorno criterion is useful: it is unclear to us whether an analogous reduction statement holds for nirrorno-ness.
— Non-orientable representation spheres
(2608.18015 - Miller, 18 Aug 2026) in Section 5, immediately following Theorem 5.4 (labeled theorem:normal_2_sylow)