Es sei K {\displaystyle {}K} ein Körper, V {\displaystyle {}V} ein K {\displaystyle {}K} -Vektorraum und M {\displaystyle {}M} eine Menge mit einer Verknüpfung
und einer Abbildung
Es sei
eine surjektive Abbildung mit