有限体と有限群は分かっている
有限整域なら上手くいく
有限環は?