isSubalgebraOf

P165381
predicate

Indicates that one algebraic structure is a subalgebra of another, meaning it is closed under the same operations and inherits the algebraic structure from the larger one.

Sample triples (4)

Subject Object
sl(2,C) gl(2,C)
Gelfand–Tsetlin algebra universal enveloping algebra
Gelfand–Tsetlin algebra U(gl_n)
Gelfand–Tsetlin algebra U(sl_n)