剰余類環

概要

今後記述予定。