Equivalence definition to semidirect product in the operated context

29 Views Asked by At

An operated semigroup (or a semigroup with an operator) is a semigroup $U$ together with an operator $\alpha : U \to U$ that is called the distinguished operator on $U$. Is there any definition equivalent to semidirect product in this context?