Действие нетривиальной группы $G$ на (аддитивной)ненулевой группе $V$ называется {\it свободным, } если $vg\ne v$ для$1\ne g\in G,0\ne v\in V$.