Algebra theory MOC

Module over a -monoid

Let be a -monoid over . A (left) -module is a -vector space equipped with a bilinear map

such that

1. for
2. for ,

which is a curried version of a unital algebra homomorphism

We also call this a representation of carried by .

Properties and further terminology

• automatically carries a Lie algebra representation of the commutator algebra of and any Lie subalgebra.
• A Submodule of is an invariant subspace under the action of .
• A module is irreducible iff it has no proper nontrivial submodules.
• A module is indecomposable iff it cannot be decomposed into the direct sum of two nonzero submodules.
• A module isomorphism is an Equivalence of group representations.
• The Regular representation shows that is a module over itself.

Explanation

Since a -monoid over a field is itself a ring, it is possible to form a module over . The action of on and on induces an action of on , thus the module inherits the -linear structure of the underlying ring . Therefore is a vector space over .

Such a module coïncides exactly with the notion of a Group representation of the algebra over .

See also

• Module over a Lie algebra
• Module over a group

#state/tidy | #lang/en | #SemBr