범주론 너무 빡세다
아직 기초의 반의 반도 이해 못 한 것 같음
49번 한 문제 푼다고 MacLane까지 봤는데 아직도 모자람...
47번에 이틀 49번에 사흘 쓴 것 같다. 47번에서 a b c 순서대로 푸는 거라고 너무 매몰되어 있었나 봄...
+) 내가 고작해야 학부 3학년이라서 조금은 찐빠가 보일 수 있음. 그 때는 덧글로 매타작을 갈겨 주면 즉시 수정해서 반영하도록 하겠다.
영문법은 내가 영어에 약해서, 한 챕터라도 전 완성한 다음에 넷공개를 하던 뭘 하던 영어를 제1국어로 하는 사람들한테 보여주면서 수정해 갈 예정임.
언제나처럼 전문과 pdf는 링크에 있다.
https://yabitemporary.tistory.com/entry/Chapter-I-Groups-Primitive-groups-Solution
https://yabitemporary.tistory.com/entry/Chapter-I-Groups-Primitive-groups-Solution
Chapter I, Groups (Primitive groups) SolutionChapter I, Groups (Primitive groups) Solutionyabitemporary.tistory.com
되게 사소한 지적이긴 한데, 첫줄에 "For $G$-set $X$"라고 말하는 순간 X에는 이미 G-action이 주어진거기 때문에 다시 define하는게 좀 이상함
define대신 denote라고 쓰고 싶지 않았을까..?
사소한 거라도 중요한 지적이지... 연습문제 전부 모아서 최종적으로 올릴 때는 수정해야 할 대목이네. 지적 고맙다...!
functor는 대수 끝내고 들어가도 되는거고 보통 module, homology 다룬 이후에 들어가는 편이라 지금 단계에서 너무 시간 많이들면 좀 넘어가는것도 괜찮음
order 2만 필요한거면 |G|를 홀수라 가정하고 G를 S의 permuration group으로 넣었을때 원소를 cycle decomposition하면 odd order들만 나오는데 그런 것들은 (s1,s2)를 (s2,s1)로 보내는게 안되어서 doubly transitive에 모순임을 보일 수 있음 하지만 순서에 얽매이지 않고 c를 쓰는게 더 맘에 든다
오 나도 학부 3학년인데