напівгрупи скінченного рангу, полугруппы конечного ранга ; інверсія (література), инверсия ; напівгрупи, полугруппы, semigroup
Нехай S - інверсна напівгрупа, напіврешітка ідемпотентів якої має скінчену довжину. Для фіксованого елемента c визначимо на S операцію * c згідно правила х * с у = х с у, а множину S з операцією * c, яка є напівгрупою, позначимо через (S, * c). Для (S, * c) знайдено необхідні і достатні умови того, що (S,* a) = (S, * a).
Let S be an inverse semigroup whose semilattice of idempotents is of finite length. For fixed element c from S defines operation * c on S via х * с у = х с у. The set S with operation* c is, obviously, a semigroup which we denote by (S, * c). Necessary and sufficient conditions in order that (S,* a) = (S, * a). are founded.