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

{{NoteTA
|G1 = Math
|G2 = PP
|1 = zh-hans:么; zh-hant:麽;
|2 = zh-cn:莱布尼茨;zh-hk:萊布尼茨;zh-tw:萊布尼茲;
}}
[[File:Quadratic formula.svg|thumb|上圖為二次方程式<math>ax^2+bx+c=0</math>以代數式表達公式解，方程中各項係數為<math>a</math>, <math>b</math>和<math>c</math>而<math>a</math>不為0。]]
'''代數'''是一個較為基礎的[[數學]]分支。它的研究對象有許多。諸如[[數 (數學)|數]]、[[數量]]、[[代數式]]、[[關係 (數學)|關係]]、[[方程理論]]、[[代數結構]]等等都是代數學的研究對象。

[[初等代數]]一般在[[中學]]時講授，介紹代數的基本思想：研究當我們對[[數|數字]]作[[加法]]或[[乘法]]時会發生什麼，以及了解[[變數]]的概念和如何建立[[多項式]]並找出它們的[[根 (數學)|根]]。

代數的研究對象不僅是數字，还有各種[[抽象]]化的[[結構]]。例如整數集作為一個帶有加法、乘法和序關係的[[集合 (数学)|集合]]就是一個代數結構。在其中我們只關心各種關係及其性質，而對於「數本身是甚麼」這樣的問題並不關心。常見的代數結構類型有[[群]]、[[环_(代数)|環]]、[[域 (數學)|域]]、[[模]]、[[線性空間]]等。

== 历史 ==

[[File:Artgate Fondazione Cariplo - Cifrondi Antonio, Euclide.jpg|thumb|175px|希臘數學家[[歐幾里得]]在其著作《[[幾何原本]]》中詳述[[幾何]]性的代數。]]

代數的起源可以追溯到古[[巴比倫數學|巴比倫]]的時代<ref>Struik, Dirk J. (1987). ''A Concise History of Mathematics''. New York: Dover Publications.</ref>，當時的人們發展出了較之前更進步的[[算術|算術系統]]，使其能以代數的方法來做計算。經由此系統的被使用，他們能夠列出含有未知數的方程並求解，這些問題在今日一般是使用[[線性方程]]、[[二次方程]]和[[不定方程|不定線性方程]]等方法來解答的。相對地，這一時期大多數的[[古埃及數學|埃及人]]及西元前1世紀大多數的[[印度數學|印度]]、[[希臘數學|希臘]]和[[中國數學史|中國]]等數學家則一般是以[[幾何]]方法來解答此類問題的，如在《[[萊因德數學紙草書]]》、《[[繩法經]]》、《[[幾何原本]]》及《[[九章算術]]》等書中所描述的一般。希臘在幾何上的工作，以''幾何原本''為其經典，提供了一個將解特定問題解答的公式廣義化成描述及解答方程之更一般的系統之架構。

代數的英語為 algebra ，源於[[阿拉伯語]]單字「''al-jabr''」，出自《[[代数学_(花拉子米)|代數學]]》（阿拉伯語：{{Unicode|al-Kitāb al-muḫtaṣar fī ḥisāb al-ğabr wa-l-muqābala}}）這本書的書名上，意指''移項和合並同類項之計算的摘要''，其為[[波斯人|波斯]][[回教數學|回教數學家]][[花拉子米]]於820年所著。''Al-Jabr''此詞的意思為「''重聚''」。傳統上，希臘數學家[[丟番圖]]被認為是「代數之父」，但現在則有些爭論，是否[[花拉子米]]比丟番圖更適合此稱號。<ref>Carl B. Boyer, ''A History of Mathematics, Second Edition'' (Wiley, 1991), pages 178, 181</ref>支持[[花拉子米]]的人指出其對於[[約化]]的成果到今日都還有用途，且他更給出了一個解答二次方程的一詳盡說明。而支持丟番圖的人則主張在''Al-Jabr''裡出現的代數比在''Arithmetica''裡出現的更為基本，且''Arithmetica''是簡字的而''Al-Jabr''卻完全是文辭的。<ref>Carl B. Boyer, ''A History of Mathematics, Second Edition'' (Wiley, 1991), page 228</ref>另一位[[波斯人|波斯]]數學家[[歐瑪爾·海亞姆]]發展出[[代數幾何]]，且找出了[[三次方程]]的一般幾何解法。印度數學家[[摩訶吠羅]]和[[婆什迦羅]]與中國數學家[[朱世杰]]解出了許多三次、[[四次方程|四次]]、[[五次方程|五次]]及更高次[[多項式]]方程的解了。

代數更進一步發展的另一個關鍵事件在於三次及四次方程的一般代數解，其發展於16世紀中葉。[[行列式]]的概念發展於17世紀的日本數學家[[關孝和]]手中，並於十年後由[[萊布尼茨]]繼續發展著，其目的是為了以[[矩陣]]來解出線性方程組的答案來。[[加布里爾·克拉默]]也在18世紀時在矩陣和行列式上做了一樣的工作。[[抽象代數]]的發展始於19世紀，一開始專注在今日稱為[[伽羅瓦理論]]及[[規矩數]]的問題上。

=== 發展歷程 ===
符号代数的发展历程漫长而曲折，大致可分为四个阶段。最初的文辞代数，兴起于巴比伦时期，并一直延续到16世纪。它完全依靠文字来表述和解决代数问题。随后，几何建构代数逐渐兴起，在[[吠陀时期]]和古希腊数学家那里得到重视，他们利用几何图形来解决代数问题。第三个阶段是简字代数，由[[丢番图]]在其著作[[巴赫沙里手稿]]中发展而来，引入了缩写和符号来表示未知数和运算。最终，在[[戈特弗里德·威廉·莱布尼茨|莱布尼茨]]时期，符号代数发展到顶峰，成为了人们今天所熟知的代数形式。

[[File:Diophantus-cover.jpg|right|thumb|200px|丢番图著的''Arithmetica''1621年版的封面，由[[梅齊里亞克]]翻成[[拉丁文]]。]]

追溯代数发展的历史，最早可以追溯到公元前1800年左右，[[旧巴比伦]]的斯特拉斯堡泥板书中就记载了人们对二次椭圆方程解法的探索。公元前1600年左右，''[[普林顿322号泥板书]]''中以[[巴比伦]][[楔形文字]]记录了[[勾股数]]列表。公元前800年左右，印度数学家[[包德哈亚那]]在其著作''包德哈尔那[[绳法经]]''中使用代数方法找到了[[勾股数]]，并给出了线性方程和二次方程的几何解法。约公元前600年，[[阿帕斯檀跋]]在其著作中提出了一次方程的一般解法和包含至多五个未知数的丢番图方程组的解法。

古希腊数学家[[欧几里德]]在其著作《几何原本》中，使用[[尺规作图]]的方法，基于毕达哥拉斯学派的几何学，给出了二次方程的解法。同一时期，[[倍立方]]问题的几何解法也被提出，然而，后人证明该问题无法使用[[尺规作图]]方法求解。公元前100年左右，中国数学家在《[[九章算术]]》中对代数方程进行了深入研究，其中包括使用[[试位法]]求解线性方程、二次方程的几何解法以及类似于现代[[高斯消元法|消元法]]的方法求解线性方程组，并应用了一次内插法。与此同时，在[[中王国时代|古印度]]，[[巴赫沙里手稿]]中出现了使用字母和其他符号的代数标记法，其中包含三次和四次方程、多达五个未知数的[[线性方程]]的代数解、二次方程的一般代数公式以及不定二次方程和方程组的解法。

公元150年左右，[[希腊化]][[古埃及|埃及]]数学家[[希罗]]在其三卷数学著作中论述了代数方程。大约200年后，被誉为“代数之父”的[[丢番图]]在其著作''[[算术]]''中系统地论述了代数方程的解法和数论问题。

之后，印度数学家[[阿耶波多]]和[[婆罗摩笈多]]在5世纪和7世纪分别对线性方程、不定方程和二次方程做出了重要贡献。[[婆罗摩笈多]]甚至认识到了二次方程的负数根和无理数根。同一时期，中国数学家[[王孝通]]找到了三次方程的数值解，[[僧一行]]则将不等间距内插法应用于《大衍历》的计算中。

公元820年，[[波斯]]数学家[[花拉子米]]的著作[[完成和平衡计算法概要]]标志着现代代数学的诞生。他系统地论述了[[线性方程]]与[[二次方程]]的求解方法，被后世誉为“代数之父”。之后，[[波斯人|波斯]]和印度数学家在高次方程和不定方程的研究方面取得了突破性进展。[[阿爾卡拉吉]]将[[花拉子米]]的代数方法进一步扩展，引入了未知数的整数次方和整数开方运算。印度数学家[[摩訶吠羅]]解出了许多高次方程和不定方程。中国数学家[[贾宪]]使用[[贾宪三角形]]找到了多项式方程的数值解，而[[朱世杰]]则在多项式代数和多元高次方程组的求解方面做出了重要贡献。

从16世纪开始，欧洲数学家在代数领域取得了重大突破。[[费罗]]、[[塔尔塔利亚]]和[[卡尔达诺]]等人先后解决了三次方程的求解问题。[[弗朗索瓦·韦达]]和[[托马斯·哈里奥特]]在改进代数符号系统方面做出了重要贡献。[[莱布尼茨]]在17世纪发展了形式规则的符号操作概念，为现代代数奠定了基础。与此同时，日本数学家[[关孝和]]在行列式和高次方程求解方面也取得了重要成果。

18世纪，[[加布里爾·克拉默]]提出了[[克萊姆法則]]，并对[[代数曲线]]、矩阵和行列式进行了研究。最后，在19世纪，[[埃瓦里斯特·伽罗瓦]]的工作发展出了[[伽罗瓦理论]]，标志着抽象代数的诞生。

== 分类 ==

[[File:Math lecture at TKK.JPG|thumb|350px|教導[[行列式]]和[[逆矩陣]]的[[線性代數]]課程]]

* [[初等代数]]：學習以位置標誌符(place holders)標記[[常數]]和[[變數]]的符號，與掌控包含這些符號的[[表示式]]及[[方程式]]的法則，來記錄[[實數]]的運算性質。（通常也會涉及到''中等代數''和''大學代數''的部分範圍。）
* [[抽象代數]]：討論[[代數結構]]的性質，例如[[群]]、環、[[体 (数学)|域]]等。這些代數結構是在集合上定義運算而來，而集合上的運算則適合某些公理。
* [[線性代數]]：專門討論[[矢量空間]]，包括[[矩陣]]的理論。
* [[泛代數]]，討論所有代數結構的共有性質。
* [[計算代數]]：討論在電腦上進行數學的符號運算的[[演算法]]。

== 初等代數 ==
{{main|初等代數}}

'''初等代數'''是代數中最基本的一種類型。其教導對象為假定不具有對[[算術]]基本原則之類的[[數學]]知識之學生。雖然在算術裡，只有[[數]]和其算術運算（如加、減、乘、除）會出現；而在代數，數則通常會以 <math>a</math>、<math>b</math>、<math>m</math>、<math>n</math>、<math>x</math>、<math>y</math> 等符号來標記，表达式则会以 <math>f(x)</math>、<math>g(x)</math>、<math>f(g(x))</math>、<math>f(x_1, x_2)</math> 等符号来标记。這是很有用的，因為：
* 它允許對算術定理之一般性公式的描述（如<math>\forall a\in \R, b \in \R, a+b=b+a</math> ），且此為對[[實數]]性質做系統性描述的第一步。
* 它允許指涉未知數、將[[方程]]公式化及學習如何去解答（如「找一數 <math>x</math>，使其 <math>3x+1=10</math> 的方程成立）。
* 它允許將[[函數]]關係公式化（如「若你賣了 <math>x</math> 張票，則你將獲利 <math>(3x-10)</math> 元，亦即 <math>f(x)=3x-10</math>，其中 <math>f</math> 為其函數，且 <math>x</math> 為此函數輸入的值。」）。

== 抽象代數 ==
{{main|抽象代數}}
{{see also|代數結構}}

'''抽象代數'''將基本代數和[[數]]的[[算術]]中的一些相似概念延廣成更一般的概念。

'''[[集合 (数学)|集合]]'''：不單只考量[[數]]的不同類型，抽象代數處理更為一般的概念－''集合''：一群稱為[[元素]]之物件的聚集。所有相似類型的數都是一種集合。另一些集合的例子有所有兩階[[方块矩阵|方陣]]組成之集合、所有兩次[[多項式]]組成的集合、所有平面的二維[[向量]]所組之集合、及如如整數[[同餘]] <math>n</math> 的群之[[循環群]]等各種[[有限群]]。[[集合論]]是[[邏輯]]的一個分支且技術上不屬於代數的一種分支。

'''[[二元運算]]'''：[[加法]]<math>+</math>的概念被抽象化成了一種''二元運算''，稱之為*。對於在集合 <math>S</math> 內的兩個元素 <math>a</math> 和 <math>b</math>， <math>a*b</math> 會給出集合內的另一個元素（技術上，此條件稱之為[[封閉性]]）。[[加法]]<math>+</math>、[[減法]]<math>-</math>、[[乘法]]<math>\times </math>、[[除法]]<math>\div </math>都是二元運算，且矩陣、向量及多項式等之加法和乘法也是二元運算。

'''[[單位元素]]'''：零和一兩個數被抽象化成'''單位元素'''的概念。零是加法的單位元素而一則是乘法的單位元素。對於一任意的二元運算*，單位元素<math>e</math>必須得滿足<math>a*e=a</math>和<math>e*a=a</math>兩個條件。其在加法中為<math>a+0=a</math>和<math>0+a=a</math>，而在乘法中則為<math>a\times 1=a</math>和<math>1\times a=a</math>。但若取正自然數和加法，則其不存在有單位元素。

'''[[逆元素]]'''：負數導致出了''逆元素''的概念。對加法而言，<math>a</math>的逆元素為<math>-a</math>，而對乘法而言，其逆元素則為<math>1/a</math>。一通常之逆元素<math>a^{-1}</math>必須滿足<math>a*a^{-1}=e</math>和<math>a^{-1}*a=e</math>之性質。

'''[[結合律]]'''：整數的加法有一稱為結合律的性質。亦即，數相加的順序不影響其總和。例如：<math>\left ( 2+3 \right )+4=2+\left ( 3+4 \right )</math>。一般化地，其可以被寫成<math>(a * b)* c = a *(b * c)</math>。此一性質在大多數的二元運算中存在著，但不包括減法和除法。

'''[[交換律]]'''：整數的加法有一稱為交換律的性質。亦即，數被加的順序不影響其總和。例如：<math>2+3=3+2</math>。一般化地，其可以被寫成<math>a * b = b * a</math>。只有一些二元運算擁有此一性質。其在整數的加法和乘法上成立，但在[[矩陣乘法]]上則不成立。

=== 群 ===
{{main|群}}
{{see also|群論}}

結合上面的概念可給出在數學中最重要的結構之一：[[群]]。群為一個集合<math>S</math>和一[[二元運算]]*之結合，使其可有如下性質：

* 此運算是封閉的：若<math>a</math>和<math>b</math>為<math>S</math>之元素，則<math>a*b</math>也會是。
::實際上，提及此性質是很多餘的，因為每一個二元運算都已經說過其運算為封閉了。但[[封閉性]]经常被强調為群的一種性質。
* 存在單位元素<math>e</math>，使得對每個於<math>S</math>內的元素<math>a,e*a</math>和<math>a*e</math>都會等同於<math>a</math>。
* 每一元素都存在一逆元素：對每一於<math>S</math>內的元素<math>a</math>，存在一元素<math>a^{-1}</math>，使得<math>a * a^{-1}</math>和<math>a^{-1} * a</math>都會等同於單位元素。
* 此運算是可結合的：若<math>a</math>、<math>b</math>和<math>c</math>為<math>S</math>的元素，則<math>(a * b)* c</math>會等同於<math>a *(b * c)</math>。

若一群亦為[[交換律|可交換的]]－即對任兩個於<math>S</math>內的元素<math>a</math>和<math>b,a*b</math>會等同於<math>b*a</math>－則此群稱為[[阿貝爾群]]。

例如，加法的運算下之整數集合為一個群。在此一群中，其單位元素是 <math>0</math> 且其任一元素 <math>a</math> 的逆元素為其負數 <math>-a</math>。其有關結合律的要求亦是吻合的，因為對任何整數 <math>a</math>、<math>b</math>、<math>c</math>，<math>\left ( a+b \right )+c=a+\left ( b+c \right )</math>。

非零[[有理數]]會形成一個於乘法下的群。在此，其單位元為 <math>1</math>，當對於任一有理數 <math>a</math>，<math>1 \times  a = a \times  1 = a</math>。<math>a</math> 的逆元素為 <math>\frac{1}{a}</math>，當 <math>a \times \frac{1}{a} = 1</math>。

但無論如何，於乘法運算下的整數不會形成一個群。這是因此一整數的乘法逆元通常不會是一個整數。例如，<math>4</math>是一個整數，但其乘法逆元為<math>1/4</math>，不為一個整數。

群的理論被學習於[[群論]]中。此一理論的一主要成果為[[有限簡單群分類]]，主要發表於1955年至1983年之間，其目的在於將所有的[[有限群|有限]][[簡單群]]分類至約30種的基本類型中。

{| class="wikitable"
|-
| colspan=11|例子
|-
!集合:
| colspan=2|[[自然數]]<math>\N</math>
| colspan=2|[[整數]]<math>\Z</math>
| colspan=4|[[有理數]]<math>\Q</math>（[[實數]]<math>\R</math>、[[复数 (数学)|複數]]<math>\Complex</math>）
| colspan=2|整數同餘<math>3</math>: <math>\{0,1,2\}</math>
|-
!運算
| <math>+</math>
| <math>\times </math> （不含零）
| <math>+</math>
| <math>\times </math> （不含零）
| <math>+</math>
| <math>-</math>
| <math>\times </math> （不含零）
| <math>\div </math>（不含零）
| <math>+</math>
| <math>\times </math> （不含零）
|-
!封閉性
| 是
| 是
| 是
| 是
| 是
| 是
| 是
| 是
| 是
| 是
|-
| 單位元素
| <math>0</math>
| <math>1</math>
| <math>0</math>
| <math>1</math>
| <math>0</math>
| NA
| <math>1</math>
| NA
| <math>0</math>
| <math>1</math>
|-
| 逆元素
| NA
| NA
| <math>-a</math>
| NA
| <math>-a</math>
| <math>a</math>
| <math>\frac{1}{a}</math>
| <math>a</math>
| 分別為| <math>0,2,1</math>
| 分別為NA,<math>1,2</math>
|-
| 結合律
| 是
| 是
| 是
| 是
| 是
| 否
| 是
| 否
| 是
| 是
|-
| 交換律
| 是
| 是
| 是
| 是
| 是
| 否
| 是
| 否
| 是
| 是
|-
| 結構
| [[幺半群]]
| [[幺半群]]
| 阿貝爾群
| [[幺半群]]
| 阿貝爾群
| [[擬群]]
| 阿貝爾群
| [[擬群]]
| 阿貝爾群
| 阿貝爾群（<math>\Z_2</math>）
|}

[[半群]]、[[擬群]]和[[幺半群]]是類似於群的結構，但更具一般性。它們由一個集合和一個封閉二元運算所組成，但不必然滿足其他條件。[[半群]]有一''結合''二元運算，但沒有單位元素。[[幺半群]]是一有單位元素但可能沒有每個元素之逆元素的半群。[[擬群]]滿足任一元素皆以一唯一的前或後運算轉換成另一元素，但此一二元運算可能不具結合律。

所有的群都是幺半群，且所有的幺半群都是半群。

=== 環和體－具兩個二元運算的結構 ===
{{main|环 (代数)|域 (數學)}} {{see also|環論|環論詞彙表|體論|體論詞彙表}}

群只有一個二元運算。但為了完整說明不同類型的數之行為，具兩個運算子的結構是需要的。其中最重要的為[[环 (代数)|環]]和[[域 (數學)|體]]。

'''[[分配律]]'''廣義化了數中的''分配律''，且要求其運算子運算時應採之順序（稱為[[運算順序|優先權]]）。對於整數而言，<math>(a + b) \times  c = a\times c+ b\times c</math>且<math>c \times  (a + b) = c\times a + c\times b</math>，而且<math>\times</math>稱之此於+上是''可分配''的。

'''[[环 (代数)|環]]'''有兩個二元運算<math>+</math>和<math>\times </math>，其中<math>\times</math>於<math>+</math>上是可分配的。在第一個運算<math>+</math>下，它會形成一個''阿貝爾群''。而在第二個運算<math>\times </math>下，其為結合的，但不需要有一單位元素或逆元素，所以除法是不被允許的。其加法<math>+</math>單位元寫成<math>0</math>，而其<math>a</math>的加法逆元則寫成<math>-a</math>。

整數是環的一個例子。其有使其為一'''[[整環]]'''的額外性質。

'''[[域 (數學)|體]]'''是一具有在運算<math>\times </math>下，除了<math>0</math>的所有元素會形成一''阿貝爾群''之額外性質的環。其乘法<math>\times </math>單位元素寫成<math>1</math>，而其<math>a</math>的乘法逆元則寫成<math>a^{-1}</math>。

有理數、實數和複數都是體的例子。

== 代數 ==
'''代數'''一詞亦可用來稱呼不同的[[代數結構]]，包含有：

* [[交換環上的代數]]
* [[集合上的代數]]
* [[布尔代數]]
* [[範疇論]]內的[[F-代數]]和[[F-對偶代數]]
* [[Σ代數]]

== 參見 ==
{{mathportal}}
{{Wikibooks}}
* [[代數基本定理]]
* [[電腦代數系統]]

== 參考文獻 ==
<references/>
* Donald R. Hill, ''Islamic Science and Engineering'' (Edinburgh University Press, 1994).
* Ziauddin Sardar, Jerry Ravetz, and Borin Van Loon, ''Introducing Mathematics'' (Totem Books, 1999).
* George Gheverghese Joseph, ''The Crest of the Peacock: Non-European Roots of Mathematics'' ([[Penguin Books]], 2000).
* John J O'Connor and Edmund F Robertson, ''[[MacTutor History of Mathematics archive]]'' ([[University of St Andrews]], 2005).
* [http://www.helpalgebra.com ''Algebra Help'']{{Wayback|url=http://www.helpalgebra.com/ |date=20150525163547 }} Online algebra tutorials.
* [https://web.archive.org/web/20141009100628/http://www.ucs.louisiana.edu/~sxw8045/history.htm Highlights in the history of algebra]
* [https://web.archive.org/web/20061210143824/http://www.mathleague.com/help/algebra/algebra.htm Explanation of Basic Topics]
* I.N. Herstein: ''Topics in Algebra''. ISBN 0-471-02371-X
* R.B.J.T. Allenby: ''Rings, Fields and Groups''. ISBN 0-340-54440-6

== 外部連結 ==
* [http://www.sparknotes.com/math/#algebra1 Sparknotes' Review of Algebra I and II]{{Wayback|url=http://www.sparknotes.com/math/#algebra1 |date=20201106232549 }}
* [http://www.exampleproblems.com ExampleProblems.com]{{Wayback|url=http://www.exampleproblems.com/ |date=20200908224319 }} Example problems and solutions from [http://www.exampleproblems.com/wiki/index.php/Algebra basic]{{Wayback|url=http://www.exampleproblems.com/wiki/index.php/Algebra |date=20201106184613 }} and [http://www.exampleproblems.com/wiki/index.php/Abstract_Algebra abstract]{{Wayback|url=http://www.exampleproblems.com/wiki/index.php/Abstract_Algebra |date=20201106184620 }} algebra.
* [http://www.purplemath.com/ Purplemath.com "Your Algebra Resource"]{{Wayback|url=http://www.purplemath.com/ |date=20201212074049 }}
* [http://www.cut-the-knot.org/WhatIs/WhatIsAlgebra.shtml What Is Algebra?]{{Wayback|url=http://www.cut-the-knot.org/WhatIs/WhatIsAlgebra.shtml |date=20201130224858 }}
* [http://www.webgraphing.com/ Online Algebra Graphing Calculator - WebGraphing.com]{{Wayback|url=http://www.webgraphing.com/ |date=20061213162223 }}
* [http://www.algebrasolver.com/ Step by step algebra problem solver - algebrasolver.com]{{Wayback|url=http://www.algebrasolver.com/ |date=20201109001014 }}
* [http://www.kwiznet.com/p/showCurriculum.php?curriculumID=48#1 Algebra Basics from kwizNET Learning System]{{Wayback|url=http://www.kwiznet.com/p/showCurriculum.php?curriculumID=48#1 |date=20201106184642 }}


{{数学主要领域}}

[[Category:代数|*]]