IrreducibleModules
-b
Embedding
Projection
AsField
LieFamily
GroupHomomorphismByImages
VectorSpace
Algebra
InjectionZeroMagma
EnumeratorOfCombinations( mset, k )