Egységelem

1. Sablon:Label Az $(A,\circ )$ félcsoport e elemét egységelemnek nevezzük, ha $a\circ e=e\circ a=a$ teljesül minden $a\in A$-ra. (=neutrális elem)

• Az (${ℝ}^{n\times n}$ , ·) félcsoportban az I egységmátrix egységelem, hiszen AI = IA = A teljesül minden $A\in {ℝ}^{n\times n}$ mátrixra.
• Az (${ℝ}^n$ , +) félcsoportban a $\mathrm{𝟎}$ zéróvektor egységelem.
• Az (${ℝ}^{n\times m}$ , +) félcsoportban a 0 zérómátrix egységelem.

• Sablon:En: Sablon:T, identity element
• Sablon:Ru: Sablon:T

• egységelemes félcsoport