[일반] 군론 간단한 문제 하나 냄

[호몰로지(eisenbud)]

G of order 120이 index 3이나 5짜리 subgroup을 가짐을 증명

가능한한 elementary하게

[김이요°(karma5)]

order가 아니라 index?

[김이요°(karma5)]

가장 elementary한건 직접 construct 하는거 아니냐 ㅋㅋ

[호몰로지(eisenbud)]

ㅇㅇ index임. order 40이나 24짜리 부분군의 존재 증명

[호몰로지(eisenbud)]

그냥 학부 군론에서 배우는 툴정도 쓰면 elementary하다고 여김

[ㅇㅅㅇ(49.174)]

실로우 정리 안쓰고 어떠케 하지

[호몰로지(eisenbud)]

걍 실로우정리 써도됨 걍 홀정리 라던가 너무 강력한 툴 쓰지말라고 그런거임