Returns the one-dimensional module with zero highest weight.
The object trivialModule is a method function.