화환곱: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
Properideal (토론 | 기여)
20번째 줄:
 
'''크라스너-칼루주닌 매장 정리'''({{llang|en|Krasner-Kaloujnine embedding theorem}})에 따르면, 군의 [[짧은 완전열]]
:<math>1\to N\to G\to\twoheadrightarrow Q\to1</math>
가 주어졌고, 각 군은 스스로 위에 작용한다고 여겼을 때, <math>N\wr Q</math>는 <math>G</math>를 부분군으로 가진다. [[반군]]의 경우, 위와 유사한 '''크론-로즈 정리'''({{llang|en|Krohn–Rhodes theorem}})가 존재한다.