Semistrop

Stamp:Prinsipi As ciama semistrop na strutura algébrica $(E,\circ )$ dotà ëd n'operassion associativa.

Si $(E,\circ )$ a l'é 'n semistrop e $A\subseteq E$ a l'é 'n sot-ansem ëstàbil për l'operassion $\circ$, antlora ëdcò la strutura $(A,\circ )$, dotà dla restrission dl'operassion, a l'é 'n semistrop.

Si l'operassion $\circ$ a l'é ëdcò comutativa, ël semistrop a l'é dit semistrop comutativ o semistrop abelian.

Esempi

• Le struture $(\mathbb{N},+)$ e $(\mathbb{N},\cdot )$ a son ëd semistrop comutativ, përchè sia l'adission sia la multiplicassion ëd nùmer naturaj a son associative e comutative. Ël sot-ansem ëstàbil dij nùmer cobi a l'é 'n semistrop sia rëspet a l'adission che rëspet a la multiplicassion.

Un semistrop dotà d'element neutral a l'é ciamà monòid. Stamp:Fin