얼마나 자세히 써야할까?


예를 들어, No group of order 2020 is simple.( 샤대 기출에 있던거 )


이런걸 대학원 셤에서 만나면.


The number of Sylow 101-subgroup is n_101. n_101 = 1 + 101k ( for some integer k ). And 1 + 101k divides 20. --> k= 0 


So the Sylow 101-subgroup is unique. We call it S. --> Therefore S is normal. 이렇게 마무리해도 될까 아니면


All Sylow 101 - subgroup is conjugate each other. The uniqueness of S implies that gSg^-1 = S. So, S is normal. So Group of order 2020 cannot be simple. 이정도까지?


이정도 논리로만 작성해도 상관없나.


학부 시험보다 범위도 넓으니 정리를 갖다 쓰긴 해야하는데, 그렇다고 갖다 쓰는 정리를 전부 증명할수도 없고 어느정도 선에서의 서술이 좋은지에 대한 고민이 괜히 생기네.

저 문제는 그냥 갑자기 생각난 예시고, 공식의 적용과 그것의 증명 이런 관점에서 어느정도가 적당한지 궁금