「零元」の版間の差分

2007年5月17日 (木) 03:35時点における版

数学において、零元（れいげん、ぜろげん）とは、

1. 集合 S の二項演算 * に関して、S の任意の元 a に対し a * 0 = 0 * a = 0 を満たす S の元 0、
2. 加法的にかかれる可換群の単位元

のことである。環や体などにおいては、加法に関する単位元としての零元は、積に関して上に示した 1 の意味での零元の条件を満たすので、二つの意味の零元の概念は多くの場合には区別する必要がないが、場合によっては注意が必要である。その場合、どちらの意味の零元であるかは文脈上明らかとなっているはずである。以下、本項では 1 の意味の零元を基本的に扱う。

S の零元をあらわす記号には数字の 0 を流用して、0_S あるいは単に 0 などと記すのが普通である。

関連諸概念

左零・右零 

S の任意の元 x に対し、0_lx = 0_l を満たす元 0_l を左零元、x0_r = 0_r を満たす元 0_r を右零元という。左零かつ右零である元が零元である。

零元の添加 

二項演算 * を持つかってな集合 M が与えられたとき、M に新たな元 0 を付け加えた集合 M⁰ := M ∪ {0} を考える。このとき、

任意の a ∈ M⁰ に対して a * 0 = 0 * a = 0

と定めて、M の演算 * を M⁰ 上に延長することにより、元 0 を M⁰ の * に関する零元とすることができる。この M⁰ を M の 0-添加という。

もし、M がもともと * に関する零元を持っていたとしても、それはもはや M⁰ 上の * に関する零元ではない。

例

• 整数環 Z、実数体 R などにおいて、数 0 は通常の積に関する零元である。
• n × m 型の行列と m × l 型の行列の積において、n × m 型の零行列は左零元、m × l 型の零行列は右零元である。特に同じサイズの正方行列全体のなす環について、零行列は零元である。

関連項目

• 二項演算
• 単位元
• 半群

テンプレート:math-stub