Ex:
剰余環Z/nZは、nが素数のとき、体となる。