代数
上圖為二次方程式ax2 + bx + c = 0以代數表達公式解，方程中各項係數為a, b和c而a不為0。
代数是一个较为基础的数学分支。它的研究对象有许多。诸如数、数量、代数式、關係、方程理论、代数结构等等都是代数学的研究对象。
初等代数一般在中學時讲授，介紹代数的基本思想：研究当我们对数字作加法或乘法时会发生什么，以及了解變數的概念和如何建立多项式并找出它们的根。
代数的研究對象不僅是數字，还有各種抽象化的結構。例如整數集作為一個帶有加法、乘法和序關係的集合就是一個代數結構。在其中我們只關心各種關係及其性質，而對於「數本身是甚麼」這樣的問題並不關心。常見的代數結構類型有群、环、域、模、線性空間等。并且,代数是几何的总称，代数是还可以用任何字母代替的。
目录
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{displaystyle ax^{2}=c}
與ax2+bx=c{displaystyle ax^{2}+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中更進一步地以擴展花拉子米的方法論來發展代數，加入了未知數的整數次方及整數開方。他將代數的幾何運算以現代的算術運算代替，且定義了單項式x{displaystyle x}
、x2{displaystyle x^{2}}
、x3{displaystyle x^{3}}
、…和1/x{displaystyle 1/x}
、1/x2{displaystyle 1/x^{2}}
、1/x3{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）標記常數和變數的符號，與掌控包含這些符號的表示式及方程式的法則，來記錄實數的運算性質。（通常也會涉及到中等代數和大學代數的部分範圍。）
抽象代数：讨论代数结构的性质，例如群、环、域等。这些代数结构是在集合上定义运算而来，而集合上的运算则适合某些公理。
线性代数：专門讨论矢量空间，包括矩阵的理论。
泛代数，讨论所有代数结构的共有性质。
计算代数：讨论在电脑上進行数学的符號运算的演算法。
初等代數
初等代數是代數中最基本的一種類型。其教導對象為假定不具有對算術基本原則之類的數學知識之學生。雖然在算術裡，只有數和其算術運算（如加減乘除）會出現，在代數，數則通常會以符號（如a{displaystyle a}
- 它允許對算術定律之一般性公式的描述（如∀a,b∈R,a+b=b+a{displaystyle forall a,bin mathbb {R} ,a+b=b+a}
），且此為對實數性質做系統性描述的第一步。
- 它允許指涉未知數、將方程公式化及學習如何去解答（如「找一數x{displaystyle x}
的方程成立）。
- 它允許將函數關係公式化（如「若你賣了x{displaystyle x}
元，亦即f(x)=3x−10{displaystyle f(x)=3x-10}
，其中f{displaystyle f}
為其函數，且x{displaystyle x}
抽象代數
抽象代數將基本代數和數的算術中的一些相似概念延廣成更一般的概念。
集合：不單只考量數的不同類型，抽象代數處理更為一般的概念－集合：一群稱為元素之物件的聚集。所有相似類型的數都是一種集合。另一些集合的例子有所有兩階方陣組成之集合、所有兩次多項式組成的集合、所有平面的二維向量所組之集合、及如如整數同餘n{displaystyle n}
二元運算：加法+{displaystyle +}
單位元素：零和一兩個數被抽象化成單位元素的概念。零是加法的單位元素而一則是乘法的單位元素。對於一任意的二元運算*，單位元素e{displaystyle e}
逆元素：負數導致出了逆元素的概念。對加法而言，a{displaystyle a}
結合律：整數的加法有一稱為結合律的性質。亦即，數相加的順序不影響其總和。例如：(2+3)+4=2+(3+4){displaystyle left(2+3right)+4=2+left(3+4right)}
交換律：整數的加法有一稱為交換律的性質。亦即，數被加的順序不影響其總和。例如：2+3=3+2{displaystyle 2+3=3+2}
群
結合上面的概念可給出在數學中最重要的結構之一：群。群為一個集合S{displaystyle S}
- 此運算是封閉的：若a{displaystyle a}
為S{displaystyle S}
也會是。
- 實際上，提及此性質是很多餘的，因為每一個二元運算都已經說過其運算為封閉了。但封閉性经常被强調為群的一種性質。
- 存在單位元素e{displaystyle e}
和a∗e{displaystyle a*e}
都會等同於a{displaystyle a}
- 每一元素都存在一逆元素：對每一於S{displaystyle S}
和a−1∗a{displaystyle a^{-1}*a}
都會等同於單位元素。
- 此運算是可結合的：若a{displaystyle a}
為S{displaystyle S}
會等同於a∗(b∗c){displaystyle a*(b*c)}
。
若一群亦為可交換的－即對任兩個於S{displaystyle S}
例如，加法的運算下之整數集合為一個群。在此一群中，其單位元素是0{displaystyle 0}
非零有理數會形成一個於乘法下的群。在此，其單位元為1{displaystyle 1}
但無論如何，於乘法運算下的整數不會形成一個群。這是因此一整數的乘法逆元通常不會是一個整數。例如，4{displaystyle 4}
群的理論被學習於群論中。此一理論的一主要成果為有限簡單群分類，主要發表於1955{displaystyle 1955}
| 例子 | ||||||||||
| 集合: | 自然數N{displaystyle mathbb {N} }  | 整數Z{displaystyle mathbb {Z} }  | 有理數Q{displaystyle mathbb {Q} }  （實數R{displaystyle mathbb {R} } 、複數C{displaystyle mathbb {C} } ） | 整數同餘3{displaystyle 3} : {0,1,2}{displaystyle {0,1,2}} | ||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 運算 | +{displaystyle +} | ×{displaystyle times } （不含零） | +{displaystyle +} | ×{displaystyle times } （不含零） | +{displaystyle +} | −{displaystyle -} | ×{displaystyle times } （不含零） | ÷{displaystyle div } （不含零） | +{displaystyle +} | ×{displaystyle times } （不含零） |
| 封閉性 | 是 | 是 | 是 | 是 | 是 | 是 | 是 | 是 | 是 | 是 |
| 單位元素 | 0{displaystyle 0} | 1{displaystyle 1} | 0{displaystyle 0} | 1{displaystyle 1} | 0{displaystyle 0} | NA | 1{displaystyle 1} | NA | 0{displaystyle 0} | 1{displaystyle 1} |
| 逆元素 | NA | NA | −a{displaystyle -a} | NA | −a{displaystyle -a} | a{displaystyle a} | 1a{displaystyle {begin{matrix}{frac {1}{a}}end{matrix}}}  | a{displaystyle a} | 0,2,1{displaystyle 0,2,1}  | 分別為NA,1,2{displaystyle 1,2} |
| 結合律 | 是 | 是 | 是 | 是 | 是 | 否 | 是 | 否 | 是 | 是 |
| 交換律 | 是 | 是 | 是 | 是 | 是 | 否 | 是 | 否 | 是 | 是 |
| 結構 | 幺半群 | 幺半群 | 阿貝爾群 | 幺半群 | 阿貝爾群 | 擬群 | 阿貝爾群 | 擬群 | 阿貝爾群 | 阿貝爾群（Z2{displaystyle mathbb {Z} _{2}} ） |
半群、擬群和幺半群是類似於群的結構，但更具一般性。它們由一個集合和一個封閉二元運算所組成，但不必然滿足其他條件。半群有一結合二元運算，但沒有單位元素。幺半群是一有單位元素但可能沒有每個元素之逆元素的半群。擬群滿足任一元素皆以一唯一的前或後運算轉換成另一元素，但此一二元運算可能不具結合律。
所有的群都是幺半群，且所有的幺半群都是半群。
環和體－具兩個二元運算的結構
群只有一個二元運算。但為了完整說明不同類型的數之行為，具兩個運算子的結構是需要的。其中最重要的為環和體。
分配律廣義化了數中的分配律，且要求其運算子運算時應採之順序（稱為優先權）。對於整數而言，(a+b)×c=a×c+b×c{displaystyle (a+b)times c=atimes c+btimes c}
環有兩個二元運算+{displaystyle +}
整數是環的一個例子。其有使其為一整環的額外性質。
體是一具有在運算×{displaystyle times }
有理數、實數和複數都是體的例子。
代數
代數一詞亦可用來稱呼不同的代數結構，包含有：
- 交換環上的代數
- 集合上的代數
- 布尔代數
範疇論內的F-代數和F-對偶代數
- Σ代數
參見
 | 維基教科書中的相關電子教程：代数 |
- 代數基本定理
- 電腦代數系統
參考文獻
^ 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
外部連結
- 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
| ||||||||||||||||||
分类
主题
共享资源
专题
