単位元

数学、とくに代数学において、二項演算 * を持つ集合 M について、M の * に関する単位元（たんいげん, ）とは、M のすべての元 a に対して を満たすような元 e のことである。単位元を表すのにアルファベットの e が良く用いられるが、数字の 1 を流用して、M の単位元が 1M あるいは単に 1 と記されることも多い。
Wikipedia.orgをもっと見ると…