>>43
すみません勘違いしてました…

そのようなｆに関して

kerｆ＝{０} となって
ｆは単射、Ａは有限集合だからｆは全射

ゆえに ある元ｙが存在して ｆ(ｙ)＝１
つまり ｙ・ａ＝１

これはａの・に関する逆元が存在してることを示す
ゆえにＡは体
こうですか…？