零元とはなんですか？

ページ名：零元とはなんですか？

A. 零元とは、二項演算 ∗ をもつマグマ M において、M の任意の元 x に対して x ∗ z = z ∗ x = z を満たす元 z のことです。