supermodule superalgebra superderivation supertranslation subring supernumber hyperalgebra ideal superscheme subalgebra