単位元 - Wikipediaこの記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2023年9月） 数学、とくに抽象代数学において、単位元（たんいげん, 英: identity element）あるいは中立元（ちゅうりつげん, 英: neutral element）は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。 定義[編集] (M, ∗) を集合 M とその上の二項演算 ∗ のなすマグマとする。 M の元 e が ∗ に関する（両側）単位元であるとは、M の全ての元 a に対して を満たすときにいう。 さらに細かく、M の任意の元 a に対して、 a ∗ e = a を満たすときに右単位元といい、e ∗ a = a を満たすときに左単位元という。 単位元は左
