https://123dok.net/document/q7w4wvmr-semidirect-semidirect-products-mathjax-formula-mathcal-trivial-monoids.html