そういえばMathtodonでYouTube動画が埋め込まれたままでは再生できないのは直そうと思っています。(そんなんすぐ直せるだろうにやってなくてサーセン)というわけで貼っておいてテスト群論:群の半直積の構成 - YouTube https://www.youtube.com/watch?v=cm4KBkGBG-0