以上より、環の準同型定理により "r" において1"r" の生成する単位的環は "m" ＝char("r")を法とする剰余環z/ "m" zに同型である。