二項マグマを単にマグマ、余二項余マグマを単に余マグマとする。マグマと余マグマの対があって、余演算がマグマ射、演算が余マグマ射となっているとき、双マグマと呼ぶ。ただし、マグマ (A, m) に対して、A×Aをマグマにする方法が必要。このとき対称σが必要…