代数

维基百科，自由的百科全书

上圖為二次方程式 ax2 + bx + c = 0 以代數表達公式解，方程中各項係數為 a, b 和 c 而 a 不為 0

代数是一个较为基础的数学分支。它的研究对象有许多。诸如数、数量、代数式、關係、方程理论、代数结构等
等都是代数学的研究对象。

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

代数的研究對象不僅是數字，还有各種抽象化的結構。例如整數集作為一個帶有加法、乘法和序關係的集合就是
一個代數結構。在其中我們只關心各種關係及其性質，而對於「數本身是甚麼」這樣的問題並不關心。常見的代
數結構類型有群、环、域、模、線性空間等。并且,代数是几何的总称，代数是还可以用任何字母代替的。

e.g.2-4+6-8+10-12+…-96+98-100+102

=2+（6-4）+（10-8）+（14-12）…（102-100）

=2x51

=102

目录
1 历史
1.1 發展歷程
2 分类
3 初等代數
4 抽象代數
4.1 群
4.2 環和體－具兩個二元運算的結構
5 代數
6 參見
7 參考文獻
8 外部連結
历史

希臘數學家歐幾里得在其著作幾何原本中詳述幾何性的代數。
代數的起源可以追溯到古巴比倫的時代[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 世紀，
一開始專注在今日稱為伽羅瓦理論及規矩數的問題上。
發展歷程

本条目可能使用了不合適的列表式记述。請協助将其改为散文式敘述以利讀者獲得更完整的訊息。（2011 年 3 月
25 日）
角色介紹應按時間或關聯性編排成數個較長的文章段落；作品列表適合項目列舉；年表介於二者之間，例如：化
学年表。此外的列舉資料應該編寫成散文體以符合維基百科質量標準。
符號代數發展的階段可大致區分如下：

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

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

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

西元前 1800 年左右，舊巴比倫斯特拉斯堡泥板書中記述其尋找著二次橢圓方程的解法。

西元前 1600 年左右，普林頓 322 號泥板書中記述了以巴比倫楔形文字寫成的勾股數列表。
西元前 800 年左右，印度數學家包德哈亞那在其著作包德哈爾那繩法經中以代數方法找到了勾股數，給出了線性
方程和如 ax2 = c 與 ax2 + bx = c 等形式之二次方程的幾何解法，且找出了兩組丟番圖方程組的正整數解。
西元前 600 年左右，印度數學家阿帕斯檀跋在其著作'阿帕斯檀跋繩法經中給出了一次方程的一般解法和使用多達
五個未知數的丟番圖方程組。
西元前 300 年左右，在幾何原本的第二卷裡，歐幾里德給出了有正實數根之二次方程的解法，使用尺規作圖的幾
何方法。此一方法是基於幾何學中的畢達哥拉斯學派。
西元前 300 年左右，加倍立方體問題的幾何解法被提了出來。現已知道此問題無法使用尺規作圖求解。
西元前 100 年左右，中國數學書《九章算術》中處理了代數方程的問題，其包括用試位法解線性方程、二次方程
的幾何解法及用相當於現今所用之消元法來解線性方程組。还应用一次内插法。
西元前 100 年左右，寫於古印度的巴赫沙里手稿中使用了以字母和其他符號寫成的代數標記法，且包含有三次與
四次方程，多達五個未知道的線性方程之代數解，二次方程的一般代數公式，以及不定二次方程與方程組的解法。

西元 150 年左右，希臘化埃及數學家希羅在其三卷數學著作中論述了代數方程。
200 年左右，希臘化巴比倫數學人丟番圖，他居住於埃及且常被認為是「代數之父」，寫有一本著名的算術，此
書為論述代數方程的解法及數論之作。
不晚于 473 年，《孙子算经》提出中国余数定理。
499 年，印度數學家阿耶波多在其所著之阿耶波多書裡以和現代相同的方法求得了線性方程的自然數解，描述不
定線性方程的一般整數解，給出不定線性方程組的整數解，而描述了微分方程。
600 年刘焯编制《皇极历》曾用等间距内插法。[4]
625 年左右，中國數學家王孝通在《緝古算經》找出了三次方程的數值解。
628 年，印度數學家婆羅摩笈多在其所著之梵天斯普塔釋哈塔中，介紹了用來解不定二次方程的宇宙方法，且給
出了解線性方程和二次方程的規則。他發現二次方程有兩個根，包括負數和無理數根。
724 年，僧一行用不等间距内插法计算《大衍历》[5]
820 年，代數（algebra）導源於一個運算，其描述於波斯數學家花拉子米所著之 Al-Kitab al-Jabr wa-l-
Muqabala（意指移項和合並同類項之計算的摘要）中對於線性方程與二次方程系統性的求解方法。花拉子米常被
認為是「代數之父」，其大多數的成果簡化後會被收錄在書籍之中，且成為現在代數所用的許多方法之一。
850 年左右，波斯數學家 al-Mahani 相信可以將如加倍立方體問題等幾何問題變成代數上的問題。
850 年左右，印度數學家摩訶吠羅解出了許多二次、三次、四次、五次及更高次方程，以及不定二次、三次和更
高次方程的解。
990 年左右，波斯阿爾卡拉吉在其所著之 al-Fakhri 中更進一步地以擴展花拉子米的方法論來發展代數，加入了
未知數的整數次方及整數開方。他將代數的幾何運算以現代的算術運算代替，且定義了單項式
{\displaystyle x} x、 {\displaystyle x^{2}} x^{2}、 {\displaystyle x^{3}}
{\displaystyle x^{3}}、…和 {\displaystyle 1/x} 1/x、 {\displaystyle 1/x^{2}}
{\displaystyle 1/x^{2}}、 {\displaystyle 1/x^{3}} {\displaystyle 1/x^{3}}、…等並給出
上述任兩個相乘的規則。
1050 年左右，中國數學家賈憲用贾宪三角形找到了多項式方程的數值解。
1072 年，波斯數學家歐瑪爾·海亞姆發展出來代數幾何，且在 Treatise on Demonstration of Problems
of Algebra 中給出了可以以圓錐曲線相交來得到一般幾何解之三次方程的完整分類。
1090 年左右，北宋科学家沈括在《梦溪笔谈》中给出高阶等差级数的和。|
1114 年，印度數學家婆什迦羅在其所著之代數學'中，認知到一正數會有正負兩個平方根，且解出一個以上未知
數的二次方程、許多三次、四次及更高次多項式方程、佩爾方程、一般的不定二次方程，以及不定三次、四次及
更高次方程。
1150 年，婆什迦拉在其所著之 Siddhanta Shiromani 中解出了微分方程。
1202 年，代數傳到了歐洲，斐波那契所著的計算之書對此有很大的貢獻。
1247 年南宋数学家秦九韶在《数书九章》中用秦九韶算法（即“霍纳法算法”）解一元高次方程。
1248 年，金朝数学家李治的《测圆海镜》利用天元术将大量几何问题化为一元多项式方程，是一部几何代数化的
代表作。
1300 年左右，中國數學家朱世杰處理了多項式代數，发明四元术解答了多達四個未知數的多项式方程组，发明非
线性多元方程的消元法，将相关多项式进行乘法、加法和减法运算，逐步消元，将多元非线性方程组化为单个未
知数的高次多项式方程；并以數值解出了 288 个四次、五次、六次、七次、八次、九次、十次、十一次、十二次、
和十四次次多項式方程[6]。朱世杰发展了垛积术，给出多种高阶等差级数求和公式。
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 年，伽羅瓦理論在埃瓦裡斯特·伽羅瓦對抽象代數的工作中得到發展。
分类

教導行列式和逆矩陣的線性代數課程
初等代数：學習以位置標誌符（place holders）標記常數和變數的符號，與掌控包含這些符號的表示式及方程
式的法則，來記錄實數的運算性質。（通常也會涉及到中等代數和大學代數的部分範圍。）
抽象代数：讨论代数结构的性质，例如群、环、域等。这些代数结构是在集合上定义运算而来，而集合上的运算
则适合某些公理。
线性代数：专門讨论矢量空间，包括矩阵的理论。
泛代数，讨论所有代数结构的共有性质。
计算代数：讨论在电脑上進行数学的符號运算的演算法。
初等代數
主条目：初等代數
初等代數是代數中最基本的一種類型。其教導對象為假定不具有對算術基本原則之類的數學知識之學生。雖然在
算術裡，只有數和其算術運算（如加減乘除）會出現，在代數，數則通常會以符號（如 {\displaystyle a}
a、 {\displaystyle x} x、 {\displaystyle y} y 等）來標記。這是很有用的，因為：

它允許對算術定律之一般性公式的描述（如 {\displaystyle \forall a,b\in \mathbb {R}

,a+b=b+a} {\displaystyle \forall a,b\in \mathbb {R} ,a+b=b+a} ），且此為對實數性質做系
統性描述的第一步。
它允許指涉未知數、將方程公式化及學習如何去解答（如「找一數 {\displaystyle x} x，使其
{\displaystyle 3x+1=10} {\displaystyle 3x+1=10}的方程成立）。
它允許將函數關係公式化（如「若你賣了 {\displaystyle x} x 張票，則你將獲利 {\displaystyle 3x-
10} {\displaystyle 3x-10}元，亦即 {\displaystyle f(x)=3x-10} {\displaystyle f(x)=3x-
10}，其中 {\displaystyle f} f 為其函數，且 {\displaystyle x} x 為此函數輸入的值。」）。
抽象代數
主条目：抽象代數
参见：代數結構
抽象代數將基本代數和數的算術中的一些相似概念延廣成更一般的概念。
集合：不單只考量數的不同類型，抽象代數處理更為一般的概念－集合：一群稱為元素之物件的聚集。所有相似
類型的數都是一種集合。另一些集合的例子有所有兩階方陣組成之集合、所有兩次多項式組成的集合、所有平面
的二維向量所組之集合、及如如整數同餘 {\displaystyle n} n 的群之循環群等各種有限群。集合論是邏輯
的一個分支且技術上不屬於代數的一種分支。

二元運算：加法 {\displaystyle +} +的概念被抽象化成了一種二元運算，稱之為*。對於在集合

{\displaystyle S} S 內的兩個元素 {\displaystyle a} a 和 {\displaystyle b,a*b}
{\displaystyle b,a*b}會給出集合內的另一個元素（技術上，此條件稱之為封閉性）。加法
{\displaystyle +} +、減法 {\displaystyle -} -、乘法 {\displaystyle \times }
{\displaystyle \times }和除法 {\displaystyle \div } {\displaystyle \div }都是二元運算，
且矩陣、向量及多項式等之加法和乘法也是二元運算。

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

逆元素：負數導致出了逆元素的概念。對加法而言， {\displaystyle a} a 的逆元素為-a，而對乘法而言，

其逆元素則為 {\displaystyle 1/a} {\displaystyle 1/a}。一通常之逆元素 {\displaystyle a^{-
1}} a^{{-1}}必須滿足 {\displaystyle a*a^{-1}=e} {\displaystyle a*a^{-1}=e}和
{\displaystyle a^{-1}*a=e} {\displaystyle a^{-1}*a=e}之性質。

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

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

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

此運算是封閉的：若 {\displaystyle a} a 和 {\displaystyle b} b 為 {\displaystyle S} S 之元

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

例如，加法的運算下之整數集合為一個群。在此一群中，其單位元素是 {\displaystyle 0}
{\displaystyle 0}且其任一元素 {\displaystyle a} a 的逆元素為其負數 {\displaystyle -a}
-a。其有關結合律的要求亦是吻合的，因為對任何整數 {\displaystyle a} a、b 和 {\displaystyle c}
c，(a + b) + c = a +（b + c）。
非零有理數會形成一個於乘法下的群。在此，其單位元為 {\displaystyle 1} 1，當對於任一有理數
{\displaystyle a} a， {\displaystyle 1\times a=a\times 1=a} {\displaystyle 1\times
a=a\times 1=a}。 {\displaystyle a} a 的逆元素為 {\displaystyle 1/a} {\displaystyle
1/a}，當 {\displaystyle a\times 1/a=1} {\displaystyle a\times 1/a=1}。

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

群的理論被學習於群論中。此一理論的一主要成果為有限簡單群分類，主要發表於 {\displaystyle 1955}

{\displaystyle 1955}年至 {\displaystyle 1983} {\displaystyle 1983}年之間，其目的在於將
所有的有限簡單群分類至約 {\displaystyle 30} 30 種的基本類型中。

例子
集合: 自然數 {\displaystyle \mathbb {N} } \mathbb{N} 整數 {\displaystyle \mathbb
{Z} } \mathbb {Z} 有理數 {\displaystyle \mathbb {Q} } {\displaystyle \mathbb
{Q} }（實數 {\displaystyle \mathbb {R} } \R、複數 {\displaystyle \mathbb {C} }
{\displaystyle \mathbb {C} }） 整數同餘 {\displaystyle 3} 3: {\displaystyle \
{0,1,2\}} {\displaystyle \{0,1,2\}}
運算 {\displaystyle +} + {\displaystyle \times } {\displaystyle \times } （不含
零） {\displaystyle +} + {\displaystyle \times } {\displaystyle \times } （不含
零） {\displaystyle +} + {\displaystyle -} - {\displaystyle \times }
{\displaystyle \times } （不含零） {\displaystyle \div } {\displaystyle \div }（不
含零） {\displaystyle +} + {\displaystyle \times } {\displaystyle \times } （不含
零）
封閉性 是 是 是 是 是 是 是 是 是 是
單位元素 {\displaystyle 0} {\displaystyle 0} {\displaystyle 1} 1
{\displaystyle 0} {\displaystyle 0} {\displaystyle 1} 1 {\displaystyle 0}
{\displaystyle 0} NA {\displaystyle 1} 1 NA {\displaystyle 0}
{\displaystyle 0} {\displaystyle 1} 1
逆元素 NA NA {\displaystyle -a} -a NA {\displaystyle -a} -a
{\displaystyle a} a {\displaystyle {\begin{matrix}{\frac {1}
{a}}\end{matrix}}} {\begin{matrix}{\frac {1}{a}}\end{matrix}} {\displaystyle a}
a {\displaystyle 0,2,1} {\displaystyle 0,2,1} 分別為 NA, {\displaystyle 1,2}
{\displaystyle 1,2}
結合律 是 是 是 是 是 否 是 否 是 是
交換律 是 是 是 是 是 否 是 否 是 是
結構 幺半群 幺半群 阿貝爾群 幺半群 阿貝爾群 擬群 阿貝爾群 擬群 阿貝爾群
阿貝爾群（ {\displaystyle \mathbb {Z} _{2}} {\displaystyle \mathbb {Z} _{2}}）
半群、擬群和幺半群是類似於群的結構，但更具一般性。它們由一個集合和一個封閉二元運算所組成，但不必然
滿足其他條件。半群有一結合二元運算，但沒有單位元素。幺半群是一有單位元素但可能沒有每個元素之逆元素
的半群。擬群滿足任一元素皆以一唯一的前或後運算轉換成另一元素，但此一二元運算可能不具結合律。

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

環和體－具兩個二元運算的結構
主条目：環和域 (數學)
参见：環論、環論詞彙表、體論和體論詞彙表
群只有一個二元運算。但為了完整說明不同類型的數之行為，具兩個運算子的結構是需要的。其中最重要的為環
和體。

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

環有兩個二元運算 {\displaystyle +} +和 {\displaystyle \times } {\displaystyle

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

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

體是一具有在運算 {\displaystyle \times } {\displaystyle \times }下，除了 {\displaystyle

0} {\displaystyle 0}的所有元素會形成一阿貝爾群之額外性質的環。其乘法 {\displaystyle
\times } {\displaystyle \times }單位元素寫成 {\displaystyle 1} 1，而其 {\displaystyle
a} a 的乘法逆元則寫成 {\displaystyle a^{-1}} a^{{-1}}。

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

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

交換環上的代數
集合上的代數
布尔代數
範疇論內的 F-代數和 F-對偶代數
Σ 代數
參見
数学 数学主题
Wikibooks-logo.svg
您可以在維基教科書中查找此百科条目的相關電子教程：
代数
代數基本定理
電腦代數系統
參考文獻
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
李俨 《刘焯的内插法计算》《李俨.钱宝琮科学史全集》卷 3 111-112 页
李俨《中算家的内插法研究》《李俨.钱宝琮科学史全集》卷 2 290 页
吴文俊主编《中国数学史大系》第六卷第四编《朱世杰的数学成就》246-247 页
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