subalgebra

not defined yet