結局極大イデアルや単項イデアル整域や標数って何に役立つのよ??