加群は群の表現の環論版である:第二の環の演算と加群の元の対の演算を無視すれば群の表現が決定される。