代数

代数是研究数、数量、關係与结构的数学分支。基本代数一般在中學時讲授，介紹代数的基本思想：研究当我们对数字作加法或乘法时会发生什么，以及了解變數的概念和如何建立多项式并找出它们的根。

代数可以说是对初等代数的推广，前者较之后者要广泛得多。代数的研究对象不是数字，而是可以有丰富内涵的符号、變數和集合元素。加法与乘法被看成是一般的運算，对它们加以准确定义，方可引出结構，如：群、环、域。

代数、幾何、分析和數論是数学的主要分支。

分类

代数大致分为以下几类：

基本代数：學習以位置標誌符(place holders)標記常數和變數的符號，與掌控包含這些符號的表示式及方程式的法則，來記錄實數的運算性質。(通常也會涉及到中等代數和大學代數的部分範圍。)
抽象代数：讨论代数结构的性质，例如群、环、域等。这些代数结构是在集合上定义运算而来，而集合上的运算则适合某些公理。
线性代数：专門讨论矢量空间，包括矩阵的理论。
泛代数, 讨论所有代数结构的共有性质。
计算代数：讨论在电脑上進行数学的符號运算的演算法。

在一些高深的研究裡，像是群、環、體和多元環等公理化代數系統裡都會有一和其代數結構相合的自然幾何結構(拓撲空間)，以下列出幾個泛函分析的領域：

基本代數

基本代數是代數中最基本的一種類型。其教導對象為假定不具有對算術基本原則之類的數學知識之學生。雖然在算術裡，只有數和其算術運算(如加減乘除)會出現，在代數，數則通常會以符號(如a、x、y等)來標記。這是很有用的，因為：

它允許對算術定律之一般性公式的描述(如a+b=b+a∀a,b)，且此為對實數性質做系統性描述的第一步。
它允許指涉未知數、將方程公式化及學習如何去解答(如「找一數x，使其3x+1=10的方程成立)。
它允許將函數關係公式化(如「若你賣了x張票，則你將獲利3x-10元，亦即f(x)=3x-10，其中f為其函數，且x為此函數輸入的值。」)。

抽象代數

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

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

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

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

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

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

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

群

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

此運算是封閉的：若a和b為S之元素，則a*b也會是。

實際上，提及此性質是很多餘的，因為每一個二元運算都已經說過其運算為封閉了。但封閉性很常被重調其為群的一種性質。

存在單位元素e，使得對每個於S內的元素a，e*a和a*e都會等同於a。
每一元素都存在一逆元素：對每一於S內的元素a，存在一元素a^-1，使得a * a^-1和a^-1 * a都會等同於單位元素。
此運算是可結合的：若a、b和c為S的元素，則(a * b) * c會等同於a * (b * c)。

若一群亦為可交換的－即對任兩個於S內的元素a和b，a*b會等同於b*a－則此群稱為阿貝爾群。

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

非零有理數會形成一個於乘法下的群。在此，其單位元為1，當對於任一有理數a，1 × a = a × 1 = a。a的逆元素為1/a，當a × 1/a = 1。

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

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

例子
Set:	自然數 $\mathbb {N}$		整數 $\mathbb {Z}$		有理數 $\mathbb {Q}$ (實數 $\mathbb {R}$ 、複數 $\mathbb {C}$ )				整數同餘3: {0,1,2}
運算	+	× (不含零)	+	× (不含零)	+	−	× (不含零)	÷ (不含零)	+	× (不含零)
封閉性	是	是	是	是	是	是	是	是	是	是
單位元素	0	1	0	1	0	NA	1	NA	0	1
逆元素	NA	NA	-a	NA	-a	a	${\begin{matrix}{\frac {1}{a}}\end{matrix}}$	a	分別為0,2,1	分別為NA, 1, 2
結合律	是	是	是	是	是	否	是	否	是	是
交換律	是	是	是	是	是	否	是	否	是	是
結構	幺半群	么半群	阿貝爾群	么半群	阿貝爾群	擬群	阿貝爾群	擬群	阿貝爾群	阿貝爾群 ( $\mathbb {Z} _{2}$ )

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

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

環和體－具兩個二元運算的結構

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

'分配律廣義化了數中的分配律，且要求其運算子運算時應採之順序(稱為優先權)。對於整數而言，(a + b) × c = a×c+ b×c且c × (a + b) = c×a + c×b，而且×稱之此於+上是可分配的。

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

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

體是一具有在運算×下，除了0的所有元素會形成一阿貝爾群之額外性質的環。其乘法(×)單位元素寫成1，而其a的乘法逆元則寫成a^-1。

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

代數

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

历史

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

代數(algebra)導源於阿拉伯語單字「al-jabr」，其出自 al-Kitāb al-muḫtaṣar fī ḥisāb al-ğabr wa-l-muqābala這本書的書名上，意指移項和合並同類項之計算的摘要，其為波斯回教數學家花拉子米於820年所著。Al-Jabr此詞的意思為「重聚」。傳統上，希臘數學家丟番圖被認為是「代數之父」，但現在則有著花拉子米是否應該從丟番圖中取得此稱號的爭議。^[2]支持花拉子米的人指出其對於約化的成果到今日都還有用途，且他更給出了一個解答二次方程的一詳盡說明。而支持丟番圖的人則主張在Al-Jabr裡出現的代數比在Arithmetica裡出現的更為基本，且Arithmetica是簡字的而Al-Jabr卻完全是文辭的。^[3]另一位波斯數學家歐瑪爾·海亞姆發展出代數幾何出，且找出了三次方程的一般幾何解法。印度數學家摩訶吠羅和婆什迦羅與中國數學家朱世杰解出了許多三次、四次、五次及更高次多項式方程的解了。

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

符號代數發展的階段可大致區分如下：

文辭代數，其發展於巴比倫時期，且直至16世紀都還維持著其主流的地位；
幾何建構代數，被吠陀時期和古典希臘數學家們所強調著；
簡字代數，由丟番圖所發展並寫於巴赫沙里手稿中；及
符號代數，於萊布尼茨的工作中達到其尖峰。

丟番圖著的*Arithmetica*1621年版的封面，由梅齊里亞克翻成拉丁文。

代數數個關鍵的發展的時間軸，表述如下：

西元前1800年左右：舊巴比倫斯特拉斯堡泥板書中記述其尋找著二次橢圓方程的解法。
西元前1600年左右：普林頓322號泥板書中記述了以巴比倫楔形文字寫成的勾股數列表。
西元前800年左右：印度數學家包德哈亞那在其著作包德哈爾那繩法經中以代數方法找到了勾股數，給出了線性方程和如ax² = c 與 ax² + bx = c 等形式之二次方程的幾何解法，且找出了兩組丟番圖方程組的正整數解。
西元前600年左右：印度數學家阿跋斯檀婆在其著作阿跋斯檀婆繩法經中給出了一次方程的一般解法和使用多達五個未知數的丟番圖方程組。
西元前300年左右：在幾何原本的第二卷裡，歐幾里德給出了有正實數根之二次方程的解法，使用尺規作圖的幾何方法。此一方法是基於幾何學中的畢達哥拉斯學派。
西元前300年左右：加倍立方體問題的幾何解法被提了出來。現已知道此問題無法使用尺規作圖求解。
西元前100年左右：中國數學書九章算術中處理了代數方程的問題，其包括用試位法解線性方程、二次方程的幾何解法及用相當於現今所用之矩陣來解線性方程組。
西元前100年左右：寫於古印度的巴赫沙里手稿中使用了以字母和其他符號寫成的代數標記法，且包含有三次與四次方程，多達五個未知道的線性方程之代數解，二次方程的一般代數公式，以及不定二次方程與方程組的解法。* 西元150年左右：希臘化埃及數學家希羅在其三卷數學著作中論述了代數方程。
200年左右：希臘化巴比倫數學人丟番圖，他居住於埃及且常被認為是「代數之父」，寫有一本著名的算術，此書為論述代數方程的解法及數論之作。
499年：印度數學家阿耶波多在其所著之阿耶波多書裡以和現代相同的方法求得了線性方程的自然數解，描述不定線性方程的一般整數解，給出不定線性方程組的整數解，而描述了微分方程。
625年左右：中國數學家王孝通找出了三次方程的數值解。
628年：印度數學家婆羅摩笈多在其所著之梵天斯普塔釋哈塔中，介紹了用來解不定二次方程的宇宙方法，且給出了解線性方程和二次方程的規則。他發現二次方程有兩個根，包括負數和無理數根。
820年：代數(algebra)導源於一個運算，其描述於波斯數學家花拉子米所著之Al-Kitab al-Jabr wa-l-Muqabala(意指移項和合並同類項之計算的摘要)中對於線性方程與二次方程系統性的求解方法。花拉子米常被認為是「代數之父」，其大多數的成果簡化後會被收錄在書籍之中，且成為現在代數所用的許多方法之一。
850年左右：波斯數學家al-Mahani相信可以將如加倍立方體問題等幾何問題變成代數上的問題。
850年左右：印度數學家摩訶吠羅解出了許多二次、三次、四次、五次及更高次方程，以及不定二次、三次和更高次方程的解。
990年左右：波斯阿爾卡拉吉在其所著之al-Fakhri中更進一步地以擴展花拉子米的方法論來發展代數，加入了未知數的整數次方及整數開方。他將代數的幾何運算以現代的算術運算代替，且定義了單項式x、x²、x³、…和1/x、1/x²、1/x³、…等並給出上述任兩個相乘的規則。
1050年左右：中國數學家賈憲找到了多項式方程的數值解。
1072年：波斯數學家歐瑪爾·海亞姆發展出來代數幾何，且在Treatise on Demonstration of Problems of Algebra中給出了可以以圓錐曲線相交來得到一般幾何解之三次方程的完整分類。
1114年：印度數學家婆什迦羅在其所著之代數學'中，認知到一正數會有正負兩個平方根，且解出一個以上未知數的二次方程、許多三次、四次及更高次多項式方程、佩爾方程、一般的不定二次方程，以及不定三次、四次及更高次方程。
1150年：婆什迦拉在其所著之Siddhanta Shiromani中解出了微分方程。
1202年：代數傳到了歐洲，斐波那契所著的計算之書對此有很大的貢獻。
1300年左右：中國數學家朱世杰處理了多項式代數，解答了二次方程、方程組和多達四個未知數的方程，以及數值解出了一些四次、五次和更高次多項式方程。
1400年左右：印度數學家瑪達瓦找到了以重複來求超越方程的解法，求非線性方程解的疊代法及微分方程的解法。
1515年：費羅求得了沒有兩次項之三次方程的解。
1535年：塔爾塔利亞求得了沒有一次項之三次方程的解。
1545年：卡爾達諾出版了大術一書，書中給出了各種三次方程的解法和其學生費拉里對一特定四次方程的解法。
1572年：拉斐羅·邦别利認知到三次方程中的複根並改進了當時流行的符號。
1591年：弗朗索瓦·韋達出版了分析方法入門一書，書中發展出了更為良好的符號標記，在未知數不同的次方上。並且使用母音來表示未知數而子音則用來表示常數。
1631年：湯馬斯·哈里奧特在其死後的出版品中使用了指數符號且首先以符號來表示「大於」和「小於」。
1682年：萊布尼茨發展出他稱做一般性特徵(characteristica generalis)之形式規則的符號操作概念。
1683年：日本數學家關孝和在其所著之Method of solving the dissimulated problems中發明了行列式、判別式及伯努利數。
1685年：關孝和解出了三次方程的通解，及一些四次與五次方程的解。
1693年：萊布尼茨使用矩陣和行列式解出了線性方程組的解。
1750年：加布里爾·克拉默在其所著之Introduction to the analysis of algebraic curves中描述了克萊姆法則且研究了代數曲線、矩陣和行列式。
1830年：伽羅瓦理論在埃瓦裡斯特·伽羅瓦對抽象代數的工作中得到發展。

註記

^ Struik, Dirk J. (1987). A Concise History of Mathematics. New York: Dover Publications.
^ Carl B. Boyer, A History of Mathematics, Second Edition (Wiley, 1991), pages 178, 181
^ Carl B. Boyer, A History of Mathematics, Second Edition (Wiley, 1991), page 228

另見

參考文獻

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).
Algebra Help Online algebra tutorials.
Highlights in the history of algebra
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

外部連結

Sparknotes' Review of Algebra I and II
ExampleProblems.com Example problems and solutions from basic and abstract algebra.
Purplemath.com "Your Algebra Resource"
What Is Algebra?
Online Algebra Graphing Calculator - WebGraphing.com
Step by step algebra problem solver - algebrasolver.com
Algebra Basics from kwizNET Learning System

Template:Algebra-footer

[1] Struik, Dirk J. (1987). A Concise History of Mathematics. New York: Dover Publications.

[2] Carl B. Boyer, A History of Mathematics, Second Edition (Wiley, 1991), pages 178, 181

[3] Carl B. Boyer, A History of Mathematics, Second Edition (Wiley, 1991), page 228

[1]

[2]

[3]