半直積
from
群の直積
semidirect product
群の直積
の一般化
https://ja.wikipedia.org/wiki/半直積
/miyamonz/半直積
https://mathematics-pdf.com/pdf/semiproduct.pdf