IsAlgebra( obj )
returns true if obj, which can be an object of arbitrary type, is
a parent algebra or a subalgebra and false otherwise.
The function will signal an error if obj is an unbound variable.
gap> IsAlgebra( FreeAlgebra( GF(2), 0 ) );
true
gap> IsAlgebra( 1/2 );
false
GAP 3.4.4