declared and installed RadicalSubobject

a default method for modules
declared and installed IsReduced using RadicalSubobject