作者より：

読んでくれた方、ありがとうございます

mizunomadokaさん、ありがとうございます
---2022/03/31 05:49追記---
おぼろんさん、ありがとうございます
---2022/03/31 05:52追記---
老犬スパナさん
可換群は、可換な群のことです
可換は交換法則みたいなもので
群はある演算に対して単位元と逆元を持ち、結合法則を満たすような集合のことです
羊の群れと数学の群を掛けたかったので、この題名にしました
---2022/04/09 11:04追記---
rurukaさん、ありがとうございます