Оператор лівого напівпрямого добутку

Цей знак позначає напівпрямий добуток, у якому одна група діє на іншу.

У записі H ⋉ N група H діє на N, а N є нормальною підгрупою: спряження елементів N елементами всього добутку залишає їх у N. Через різні ролі множників їх перестановка може змінити конструкцію.

На відміну від прямого добутку, множники не обов’язково комутують: група, що діє, може змінювати елементи нормальної групи.

Який множник нормальний у H ⋉ N?

За поширеною домовленістю правий множник N є нормальним.

Назви Unicode називають ⋉ формою з лівим нормальним множником, а ⋊ — формою з правим, але математичний запис не завжди відповідає цим назвам. Станом на 2026 рік у математичних текстах трапляються обидві домовленості, тож орієнтуйтеся на локальне визначення.