アーベル群Z4=Z/4Z（すなわち4を法とする加法をもつ集合{0,1,2,3}）とその部分群{0,2}を考える。
考虑阿贝尔群Z4=Z/4Z（也就是集合{0,1,2,3}带有加法模4），和它的子群{0,2}。