>>383
部分集合で
1)加法に関して群
2)乗法が定義されている
3)乗法単位元がある
ですよね?