零元

提供: Yourpedia
移動: 案内検索

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

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

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

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

関連諸概念

左零・右零 
S の任意の元 x に対し、0lx = 0l を満たす元 0l左零元x0r = 0r を満たす元 0r右零元という。左零かつ右零である元が零元である。
零元の添加 
二項演算 * を持つかってな集合 M が与えられたとき、M に新たな元 0 を付け加えた集合 M0 := M ∪ {0} を考える。このとき、
任意の aM0 に対して a * 0 = 0 * a = 0
と定めて、M の演算 * を M0 上に延長することにより、元 0 を M0 の * に関する零元とすることができる。この M0M0-添加という。
もし、M がもともと * に関する零元を持っていたとしても、それはもはや M0 上の * に関する零元ではない。

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

関連項目

テンプレート:math-stub

Wikipedia-logo.svg このページはウィキペディア日本語版のコンテンツ・零元を利用して作成されています。変更履歴はこちらです。