查看“︁近域”︁的源代码

在[[代数结构]]中，'''近域'''在概念上类似[[除环]]，但两个分配律只满足一个。另外，近域和[[近环]]的区别为近域一定有一个[[乘法单位元]]，而且每一个非零元素都有[[乘法逆元]]。

==定义==
近域是一[[集合 (数学)|集合]] <math>Q</math>, ，任两个[[元素]]有两个[[二元运算]]，“+”（加号）和“·”（乘），满足下列公理：

:A1: <math>(Q, +)</math> 是 [[阿贝尔群]]。
:A2: <math>(a</math>·<math>b)</math>·<math>c</math> =  <math>a</math>·<math>(b</math>·<math>c)</math> 对所有元素 <math>a</math>, <math>b</math>, <math>c</math> of <math>Q</math> (乘法[[结合律]])。
:A3: <math>(a + b) </math>·<math> c = a </math>·<math>c  +  b </math>·<math> c</math>  对所有元素 <math>a</math>, <math>b</math>, <math>c</math> of <math>Q</math> (乘法右[[分配律]])。
:A4: <math>Q</math> 含单位元1 <math>1 </math>·<math> a = a </math>·<math> 1 = a</math> 对所有元素 <math>a</math> of <math>Q</math> ([[乘法]][[单位元]])。
:A5:对所有元素a  <math>Q</math> 存在元素 <math>a</math> <sup>&minus;1</sup> such that <math> a </math>·<math> a </math> <sup>&minus;1</sup> = 1 = <math> a </math> <sup>&minus;1</sup>·<math> a </math> (非零元素都有乘法[[逆元]])。

定义附注：
#上面定义严格说是一个右近域。將A3換為左[[分配律]]<math>c\cdot (a + b)=c\cdot a+c\cdot b</math>，就可得到左近域。通常「近域」是指「右近域」，但是这不是一个普遍定义。
#如果一個右近域也是右偽域（quasifield），則稱之為「平面的」，所有有限近域皆為平面，但無限近域則未必。
#其實並不須要指定[[加群]]是[[阿贝尔群]]，因为這可从其他[[公理]]推出，但推導过程相当困难<ref>J.L. Zemmer, "The additive group of an infinite near-field is abelian" in ''J. London Math. Soc.'' 44 (1969), 65-67.</ref><ref name="Zassenhaus">H Zassenhaus, Abh. Math. Sem. Hans. Univ. 11, pp 187-220.</ref><ref>B.H. Neumann, "On the commutativity of addition" in ''J. London Math. Soc.'' 15 (1940), 203-208.</ref>，將此結果做為公理可更快更方便的推導出近域的其它性質
#有的定义中A4和A5是由以下公理替换
#:A4*：非零元素在乘法下形成[[群]]。
#:但在此定義下，會有一個二階結構不滿足一些基本定理，如：對所有<math> x </math>，<math>x\cdot 0=0</math>。所以最好用原始定义。A4及A4*的差別在於，A4是要求1是對所有元素是單位元，A4*只要求非零元素。可經由在2阶加群定义一個額外的乘法來形成此例外：對所有<math>x</math>及<math>y</math>，<math>x\cdot y=x</math>。

== 例子 ==
# 所有[[除环]]都是近域，所有域都是近域。
# 下面定义一个九阶近域，它是最小的非域的近域：
#:设 <math>K</math> 为九阶[[有限域|伽罗华域]]，其乘法运算为「<math>*</math>」，現定义一个新乘法运算「·」：
*如果<math>b</math>是<math>K</math>中任意元素的平方，<math>a</math>是<math>K</math>中任意元素，则：<math>a\cdot b=a*b</math>。
*如果<math>b</math>不是一个元素平方，则：<math>a\cdot b=a^3*b</math>。

那麼域<math>K</math>與原加法及新乘法構成一近域。<ref>G. Pilz, Near-Rings, page 257.</ref>

==历史与应用==
近域的概念由[[迪克森]]（Leonard Eugene Dickson）在1905年首次引入。他修改[[除环]]的乘法，加法不變，由此产生了第一个非除环的近域。由此法產生的近域被称為迪克森近域，上述的9阶例子即為一迪克森近域。 [[扎斯豪斯]]（Hans Zassenhaus）证明，除了七個例外，所有有限近域要么是域要么是迪克森近域。[2]
近域最早是应用在[[几何]]研究，如[[投影几何]]<ref>O. Veblen and J. H. Wedderburn "Non-desarguesian and non-pascalian geometrie" in ''Trans. Amer. Math. Soc.'' 8 (1907), 379-388.</ref><ref>P. Dembrowski "Finite geometries" Springer, Berlin, (1968).</ref>。許多[[投影几何]]可經由[[坐标系]]上的[[除环]]來定義，但有些不能。
[[马歇尔·豪尔]]（Marshall Hall）利用上述的9阶近域產生出一豪爾平面，同時也是利用階數為質數平方的迪克森近域產生出的一系列平面的第一個。

近域尚有許多其它應用，大部份在几何方面<ref>H. Wahling "Theorie der Fastkörper", Thaïes Verlag, Essen, (1987).</ref>。最近的应用在為[[密碼學]]，如[[希尔密码]]<ref>M. Farag, "Hill Ciphers over Near-Fields" in ''Mathematics and Computer Education'' v41 n1 (2007) 46-54.</ref>。

== 参考文献 ==
{{reflist|2}}

==外部链接==
*[http://www.math.uni-kiel.de/geometrie/klein/math/geometry/nearfield.html Nearfields] {{Wayback|url=http://www.math.uni-kiel.de/geometrie/klein/math/geometry/nearfield.html |date=20210121053108 }} by Hauke Klein.

[[Category:代数结构]]
[[Category:射影几何]]