3 problems
For every -group and every normal subgroup , is again a -group? Equivalently, is the class of all -groups closed under taking normal subgroups?
Finite nuclear-image conjecture. The finite nuclear images of conuclear images of negative cones of -groups are precisely the finite integral residuated lattices.
Nuclear-image conjecture. The nuclear images of sub-s-monoids of negative cones of -groups are precisely the integral s-monoids.