定義
K を可換とは限らない体とする。
V を K 上の左線形空間とする。
V に付随するアフィン空間 E とは V を加法群とみたとき
推移的な V-集合(過去スレ004の388,389) E であり、
E のある１点の安定化部分群(過去スレ004の392)が 0 と
なるようなものである。