近世代数概论------有理数与域

域

在交换环中定义有乘法，但是其不能像加法一样保证对任意元素$a$都含有逆元$a^{-1}$，即元素与其逆元乘积为幺元$a\ast a^{-1}=1$。
域： 在交换环的基础上，满足乘法运算上的任意非零元素都含有逆元。
构成域的集合显然不能仅仅只是整数，应当扩大到有理数才能满足逆元的条件。对应的消去律也是满足的：

对于非零的c，$ca=cb$，$a=1\ast a=c^{-1}\ast c\ast a=c^{-1}\ast c\ast b=1\ast b=b$，消去律成立。
显然域满足整环的条件。

---

• 在域中，非零的除法是可以唯一确定的。

通过消去律可以得到，a不为0时，$ax=b$的解为$x=a^{-1}b$，显然这个解是唯一的：$ax=b,ay=b$，由消去律$x=a^{-1}b=y$，对应的$a^{-1}$使用$\frac{1}{a}$进行表示。

---

域中的商有如下定律：

• $\frac{a}{b}=\frac{c}{d}$，当且仅当$ad=bc$
• $\frac{a}{b}\pm \frac{c}{d}=\frac{ad\pm bc}{bd}$
• $\frac{a}{b}\ast \frac{c}{d}=\frac{ac}{bd}$
• $\frac{a}{b}+(-\frac{a}{b})=0$
• $\frac{a}{b}\ast \frac{b}{a}=1$，当$\frac{a}{b}\ne 0$

• 证1：$\frac{a}{b}=a\ast b^{-1}=d^{-1}\ast da\ast b^{-1}=d^{-1}\ast cb\ast b^{-1}=d^{-1}\ast c=\frac{c}{d}$，右边到左边证毕，$ad=a\ast b^{-1}\ast b\ast d=\frac{a}{b}\ast b\ast d=\frac{c}{d}\ast b\ast d=c\ast d^{-1}\ast d\ast b=bc$，左边到右边证毕。
• 证2：$bx=a,dy=c$，x与y分别为$x=\frac{a}{b},y=\frac{c}{d}$为其解，于是有$dbx=da,bdy=bc$，于是$bd(x\pm y)=ad\pm bc$，$x\pm y$为方程$bdx=ad\pm bc$的解，即$x=\frac{ad\pm bc}{bd}$证毕。
• 证3：$bx=a,dy=c$，x与y分别为$x=\frac{a}{b},y=\frac{c}{d}$为其解，于是有$dbxy=ac$，$xy$为方程$dbx=ac$的解，即$x=\frac{ac}{bd}$证毕。
• 证4：$\frac{a}{b}+(-\frac{a}{b})=\frac{ab-ba}{b^2}=0$证毕。
• 证5：$\frac{a}{b}\ast \frac{b}{a}=\frac{ab}{ba}$，其为$\frac{a}{b}\ne 0,abx=ba$的解，$x=1$满足方程证毕。

---

子域： 原域中的子集能够满足相应的加法与乘法运算，并满足消去律等条件，构成的新域为原域的子域。

• 子集中包含原域的零元域幺元
• 在加法与乘法之下是封闭的
• 子集中的每个元素对于加法与乘法都含有对应的逆元素(加法中也就是负元素)

例子： 有理数域$Q[\sqrt{2}]$乘法消去律对应为：
对于任意的$a+b\sqrt{2}$都存在$(a+b\sqrt{2}{)}^{-1}$使得$(a+b\sqrt{2})(a+b\sqrt{2}{)}^{-1}=1$，对于$(a+b\sqrt{2}{)}^{-1}=\frac{1}{a+b\sqrt{2}}$进行分母有理化有：
$\frac{1}{a+b\sqrt{2}}=a+b\sqrt{2}$