有限環的商環

有限環的商環

有限環依proper雙邊理想的加法cosets形成商環，運算須與代表元選擇無關。

atlas-finite-quotient-ring · canonical_mko