야 F가 field고 G가 group이면{category of left module over F[G]} 랑 {category of representation of G over F} 하고 equivalence임?
ㅇㅇ F[G]-module V가 주어져 있으면 v에 g를 상수곱하는 연산을 G-action으로 생각할 수 있고, G-action이 있으면 v에 g를 act한 gv가 g상수곱이 되도록 module구조를 줄수있겠지?
이렇게 action을 module structure로 바꾸는 functor와 그 반대 functor를 만들어보셈 다른 조건들 확인하는건 까먹었지만 참이었던거같음
3cm up 부럽다
ㄱㅅㄱㅅ 내일 아침에 일어나서 확인해보셈 ㄹㅇ 장담한다
내일 고츄 5센치 되어있겠네