半直積を知ろう

　半直積からこれまで逃げ続けてきたが，院試を目の前にして逃げられなくなったので，自分の備忘録も兼ねて半直積についてまとめた．直積分解に注目することで半直積を直積の一般化として自然に導入する．またガロア理論で登場する半直積についても紹介する．

【更新履歴】
2024-05-09：命題1の(1)に内部直積であることを明記した．
2024-06-20：$${n}$$次の二面体群の表記を$${D_{2n