Félcsoport

1. Sablon:Label Az $(A,\circ )$ algebrát félcsoportnak hívjuk, ha a $\circ$ kétváltozós művelet asszociatív. A matematikában az asszociatív grupoidokat félcsoportoknak nevezzük. Részletesebben ez azt jelenti, hogy a félcsoport egy olyan egyműveletes $(S;*)$ algebrai struktúra, amelyben a $*$ kétváltozós művelet asszociatív. Ha a $*$ művelet kommutatív is, akkor kommutatív félcsoportról beszélünk.
   • (${ℝ}^n$, +) kommutatı́v félcsoport.
   • (${ℝ}^{n\times m}$, +) kommutatı́v félcsoport.
   • (${ℝ}^{n\times n}$, ·) félcsoport, de nem kommutatı́v félcsoport.

• Sablon:En: Sablon:T
• Sablon:De: Sablon:T
• Sablon:Ru: Sablon:T

• kommutatív félcsoport
• csoport