generated at
Abel群
とくに環上の加群を考えるとき使われる呼び方

summary 可換な

definition Abel群A = \left\lang\mathrm{ AbelianGroup }\colon U ;m, i, v \right\rang
継承
\left\lang\mathrm{ Group }\colon U ;m, i, v \right\rang
公理系
m(x, y) = m(y, x)
x,y \colon U