[대학교이상] 군증명 도움

[익명(203.228)]

O_n={A∈M_n(R)|A^tA=I_n} 에 행렬곱 연산주면 군인지 보일라는데

항등원 역원 존재성 어캐 보여야됨??

[수갤러 1(175.223)]

I_n 이랑 A^t 잡으면 되지 않나

[익명(183.101)]

항등원은 I가 저거의 원소임을 보이고 임의의 A in O_n에 대해 I가 항등원 정의 만족시키는거 보이기

[익명(183.101)]

임의의 A에 대해 A^t도 원소임을 보이고 얘네가 서로 역원인거 보이면 됨

[익명(203.228)]

오 감사