Semistrop

As ciama semistrop na strutura algébrica  dotà ëd n'operassion associativa.

Si  a l'é 'n semistrop e  a l'é 'n sot-ansem ëstàbil për l'operassion , antlora ëdcò la strutura , dotà dla restrission dl'operassion, a l'é 'n semistrop.

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

Esempi
Le struture  e  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.

Categorìa:Àlgebra