查看“︁域上的代数”︁的源代码

{{Multiple issues|
{{Unreferenced|time=2021-01-19T04:39:13+00:00}}
{{Expand language|1=en|time=2021-01-19T04:40:54+00:00}}
}}
{{Algebraic structures |Algebra}}

'''[[体 (数学)|體]]上的代數'''（algebra over a field）或'''體代數'''，一般可簡稱為'''代數'''，是在[[向量空间|向量空間]]的基礎上定義了一個[[双线性映射|雙線性]]的乘法運算而構成的[[代数结构|代數結構]]。<ref>See also {{harvnb|Hazewinkel|Gubareni|Kirichenko|2004|p=[{{Google books|AibpdVNkFDYC|plainurl=y|page=3|text=an algebra over a field k}} 3] Proposition 1.1.1}}</ref>根據此乘法是否具有結合律，可以進一步地分成結合代數以及非結合代數兩類。如果乘法單位元包含在此代數裡，則稱為單位代數。

若沒有特別指明，通常假設此代數為結合代數。而在一些代數幾何的討論框架下，會假設此代數是、單位結合且交換。在更一般的情況下，會討論將向量空間換成[[环 (数学)|環]]所形成的代數，稱為環上的代數（algebra over a ring）。

需要注意的是這裡的雙線性乘法運算跟向量空間上的[[雙線性形式]]是不一樣的。具體而言，雙線性乘法運算是一個在向量空間裡的向量，而雙線性形式所給出的是在體K上的純量。

== 定義 ==
===例子===
{| class="wikitable"
|+
!代數
!向量空間
!雙線性乘法
![[結合律]]
![[交換律]]
|-
|[[複數]]
|<math>\mathbb{R}^2</math>
|複數裡的乘法 <br><math>\left(a+ib \right) \cdot \left(c+id \right)</math>
|有
|有
|-
|三圍向量的[[外積]]
|<math>\mathbb{R}^3</math>
|[[外積]] <br><math>\vec{a} \times \vec{b}</math>
|無
|無
|-
|[[四元數]]s
|<math>\mathbb{R}^4</math> 
| Hamilton product <br><math>(a+\vec{v})(b+\vec{w})</math>
|有
|無
|-
|[[多項式]]
|<math>\mathbb{R}[X]</math> 
|多項式乘法
|有
|有
|-
| [[方块矩阵|方塊矩陣]]
| <math>\mathbb R^{n\times n}</math>
| [[矩陣乘法]]
| 有
| 無
|}

=== 定義 ===
令{{mvar|K}}為一個[[體]], {{mvar|A}}為 {{mvar|K}}上的向量空間，且有二元乘法，記為 <math>\cdot  : A \times A \to A \ ; \  (x,y) \mapsto A </math> 則{{mvar|A}} 是一個{{mvar|K}}-代數（{{mvar|K}}-algebra）如果滿足以下幾點：

對於所有 {{mvar|A}}中的向量 {{math|''x'', ''y'', ''z''}} ，所有{{mvar|K}}中的純量 {{mvar|a}},{{mvar|b}}，有
* 右分配律：{{math|1=(''x'' + ''y'') · ''z'' = ''x'' · ''z'' + ''y'' · ''z''}}
* 左分配律：{{math|1=''z'' · (''x'' + ''y'') = ''z'' · ''x'' + ''z'' · ''y''}}
* 與純量相容：{{math|1=(''ax'') · (''by'') = (''ab'') (''x'' · ''y'')}}

此時的{{mvar|K}}稱為{{mvar|A}}的基體（base field）。此外，當{{mvar|A}}有交換律時，左分配律等價於右分配律。

== 基本概念 ==

=== 代數上的同態 ===
給定 {{math|''K''}}-代數 {{math|''A''}} 以及 {{math|''B''}},兩個 {{math|''K''}}-algebras 上的[[同態映射|同態]]（ {{math|''K''}}-algebra homomorphism）是一個{{math|''K''}}-線性映射 {{math|''f'': ''A'' → ''B''}} 使得對於所有  {{math|''A''}} 中的 {{math|''x'', ''y''}} ，都有 {{math|1=''f''(''xy'') = ''f''(''x'') ''f''(''y'')}}。若 {{math|''A''}} 、{{math|''B''}} 都是單位代數，則滿足{{math|1=''f''(1{{sub|''A''}}) = 1{{sub|''B''}}}} 的同態稱為單位同態（unital homomorphism）。所有{{math|''K''}}-algebras 上的[[同態映射|同態]]所構成的空間通常寫成：
:<math>\mathbf{Hom}_{K\text{-alg}} (A,B).</math>
{{math|''K''}}-algebras 上的[[同構]]（ {{math|''K''}}-algebra isomorphism）是雙射的{{math|''K''}}-algebras 上的[[同態映射|同態]]。

=== 子代數 ===
一個{{math|''K''}}-代數的子代數是一個線性子空間，且具有乘法封閉性（任何兩個元素的乘積仍然在這個子空間內）。換句話說，代數的一個子代數是一個在加法、乘法和純量乘法下閉合的非空子集。

形式上，給定 {{math|''K''}}-代數 {{math|''A''}} ，<math>L \subseteq A </math> 為一子集，且滿足以下條件

<math>\forall x,y \in L \ , \ \forall c \in K \quad   x \cdot y, \ y \cdot x , \ cx \in L </math>，則稱L 是一個子代數。一個例子是考慮 <math>\mathbb{C} = \mathbb{R}^2</math>，則<math>\mathbb{R}</math>形成一個子代數。

=== 理想 ===
一個 {{math|''K''}} 代數的左理想是一個線性子空間，滿足以下性質：子空間中的任何元素與代數中的任何元素在左側相乘後仍在這個子空間內（左乘的封閉性）。用符號來表示， {{math|''K''}}-代數 A 的一個子集 L 是一個左理想，如果對於 L 中的所有元素 x 和 y，代數 A 中的元素 z 和 K 中的純量 c，滿足以下三點：

# x+y 在 L 中（L 在加法下閉合），
# cx 在 L 中（L 在純量乘法下閉合），
# z⋅x 在 L 中（L 在左乘任意元素下閉合）。

若將（3）替換為 x⋅z 在 L 中，則得到右理想。雙邊理想是同時是左理想和右理想的子集。理想這個術語通常指雙邊理想，而當代數是交換代數時，左理想、右理想、雙邊理想三者等價。條件（1）和（2）一起等價於 L 是 A 的線性子空間。根據條件（3），每個左理想或右理想都是子代數。這個定義與環的理想的定義不同，因為在這裡我們要求條件（2），包含了額外的純量。當然，如果代數是帶單位元的，則條件（3）蘊含條件（2）。

=== 純量體的體擴張 ===
假設現在有一個體擴張''F''/''K''，意即有一個較大的體''F'' ，其中包含著''K''，則對於一個向量空間V，透過張量積可以自然的構造<math> V_F:=V \otimes_K F </math>，其中<math> V_F </math>是F上的向量空間。對於一個{{math|''K''}}-代數 {{math|''A''}} ，同樣可以構造出<math>A_F = A \otimes_K F </math>，其中<math>A_F </math>是一個F上的代數。

== 分類及例子 ==

=== 單位代數 ===

若存在單位元''I'' 使得對於所有x，都有''Ix'' = ''x'' = ''xI，''則稱此代數為單位代數(unital /unitary)。

=== 零代數 ===
給定一個代數A，若對所有''u'', ''v'' ，皆有{{nowrap|1=''uv'' = 0}}，則稱此代數為零代數(zero algebra)。<ref>{{cite book |first=João B. |last=Prolla |title=Approximation of Vector Valued Functions |chapter=Lemma 4.10 |chapter-url=https://books.google.com/books?id=utTS4nTd-IsC |date=2011 |publisher=Elsevier |isbn=978-0-08-087136-3 |orig-year=1977 |page=65}}</ref>需要注意的是此陳述不保證A只有一個元素。透過此定義可以得到零代數不含單位元、且有結合律、交換律。

=== [[結合代數]] ===
為有結合律的代數。以下給出幾個例子:

* 所有 n×n [[矩阵|矩陣]]在體（或交換環）K 上的代數，其中的乘法是[[矩陣乘法]]。
* [[群]]代數，其中的群被視為[[向量空间|向量空間]]的[[基 (線性代數)|基底]]，而乘法則是透過群乘法的擴張所定義。
* 多項式交換代數 K[x]，即所有在 K 上的多項式（見[[多项式环|多項式環]]）。
* 函數代數，例如在區間 [0,1] 上定義的所有實連續函數的 R-代數，或者在複平面中某個固定開集上定義的所有全純函數的 C-代數。
* 依附代數（Incidence algebras），構建於某些[[偏序关系|偏序集]]上。
* 線性算子代數，例如在[[希尔伯特空间|希爾伯特空間]]上的線性算子代數。這裡的代數乘法是由算子的合成(composition)給出的。這些代數也帶有拓撲結構；其中許多定義在巴拿赫空間上，為巴拿赫代數。若給定一個共軛操作，我們就得到了 B∗-代數和 C∗-代數。

==註解==
{{reflist}}

==References==
* {{cite book |first1=Michiel |last1=Hazewinkel |author-link=Michiel Hazewinkel |first2=Nadiya |last2=Gubareni |first3=Vladimir V. |last3=Kirichenko |title=Algebras, rings and modules |volume=1 |year=2004 |publisher=Springer |isbn=1-4020-2690-0 }}



[[Category:代数]]