Semistrop

Da Wikipedia.
Drapò piemontèis.png 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[modìfica | modifiché la sorgiss]

  • 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.