TrivialSubalgebra( U )
Let U be an algebra with parent algebra A. Then TrivialSubalgebra
returns the trivial subalgebra T of U, as subalgebra of A.
gap> a:= MatAlgebra( GF(2), 2 );; gap> a.name:= "a";; gap> TrivialSubalgebra( a ); Subalgebra( a, [ ] )
GAP 3.4.4