isomorphic)と言います。(群であることが明白である場合、単に同型であると言います。算法の結果にも1対1の対応が取れることを言います。用意すれば、同型になります。実質的には同じ構造をになっているようなもののことを言います。group)と呼びます。整数は加法に関して有理数の部分群になります。3の倍数の集合は加法に関して整数の部分群になっています。3の倍数同士もやはり3の倍数。倍数全体の集合は整数の部分群になります。(詳しくは「環・体」で述べますが、実際は部分環になります。