Semistrop

	Vos an lenga piemontèisa
	Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì.

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.