[일반] 이거 associative 증명 왜 이래 되는거냐??

[익명(117.17)]

x•a x•b=x•(ab) 가 group action 정의만으로 증명이 됨??

[카카오(73.103)]

x가 group homomorphism

[익명(117.17)]

action of K on H determined by phi가 action이 homomorphism이란 얘기임?

[카카오(73.103)]

phi : K -> Aut(H) 를 이용하면 x in K에 대해 phi(x)는 H의 automorphism이죠. 이제 x •a 를 phi(x)(a) 로 정의하겠다는 말이에요

[익명(117.17)]

ㅇㅎ ㄱㅅㄱㅅ