極大イデアルでもいいし、環構造入れられるのでもいい