Duongrupo (algebro): Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
e Pliĝustigis ordon de epitetoj en difino
Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado
e Aldonis klarigon al la difino
Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado
Linio 1:
{{Algebraj strukturoj}}
'''Duongrupo''' aŭ '''semigrupo''' en [[algebro]] estas [[algebra strukturo]] kun [[asocieco|asocia]] interna [[Duvalenta operacio|duvalenta]] [[Operacio (matematiko)|operacio]], t.e. aro <math>A</math> kun tia operacio <math>A \times A \rightarrow A</math>, ke
: <math>\forall a, b, c \in A: \ ( a * b ) * c = a * ( b * c )</math>
Alivorte, semigrupo estas laŭdifine [[Asocieco|asocia]] [[Magmo (matematiko)|magmo]].