逆元がある集まりが群
分配法則が成立したり?するのが環?

文系プログラマだけどhaskellとかやってるとモノイドはよく使う😸