[일반] 체공리 질문

[익명(223.62)]

a•a^-1  =  1 역원 공리
a = 0일때 제외시키잖아
이거 증명으로 유도하는거야? 그러니까
0^-1 ∈ F 가정하고 모순 잡아내는 식으로 증명할 수 있어?

[수갤러 1(175.208)]

모든 a in F에 대해 a*0=0임을 증명할 수 있어. 그러니 0은 역원이 없을 수 밖에.

[익명(223.62)]

아 그렇네ㅋㅋㅋㅋ 답변 고마워!

[수갤러 2(175.215)]

유도 가능하지만 아마 0을 제외한 원소의 역원 자체를 공리로 할걸?