"代数"的搜尋報告

代数是研究数、数量、關係与结构的数学分支。基本代数一般在中學時讲授，介紹代数的基本思想：研究当我们对数字作加法或乘法时会发生什么，以及了解變數的概念和如何建立多项式并找出它们的根。
代数可以说是对初等代数的推广，前者较之后者要广泛得多。代数的研究对象不是数字，而是可以有丰富内涵的符号、變數和集合元素。加法与乘法被看成是一般的运算，对它们加以准确定义，方可引出结构，如：群、环、域。
代数、几何、分析和數論是数学的主要分支。

分类



基本代數是代數中最基本的一種類型。其教導對象為假定不具有對算術基本原則之類的數學知識之學生。雖然在算術裡，只有數和其算術運算(如加減乘除)會出現，在代數，數則通常會以符號(如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*a=e之性質。
結合律：整數的加法有一稱為結合律的性質。亦即，數相加的順序不影響其總和。例如：(2+3)+4=2+(3+4)。一般化地，其可以被寫成(a * b) * c = a * (b * c)。此一性質在大多數的二元運算中存在著，但不包括減法和除法。
交換律：整數的加法有一稱為交換律的性質。亦即，數被加的順序不影響其總和。例如：2+3=3+2。一般化地，其可以被寫成a * b = b * a。只有一些二元運算擁有此一性質。其在整數的加法和乘法上成立，但在矩陣乘法上則不成立。

抽象代數



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

實際上，提及此性質是很多餘的，因為每一個二元運算都已經說過其運算為封閉了。但封閉性很常被重調其為群的一種性質。
若一群亦為可交換的－即對任兩個於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種的基本類型中。
半群、擬群和幺半群是類似於群的結構，但更具一般性。它們由一個集合和一個封閉二元運算所組成，但不必然滿足其他條件。半群有一結合二元運算，但沒有單位元素。幺半群是一有單位元素但可能沒有每個元素之逆元素的半群。擬群滿足任一元素皆以一唯一的前或後運算轉換成另一元素，但此一二元運算可能不具結合律。
所有的群都是幺半群，且所有的幺半群都是半群。

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

群




参见：環論、環論詞彙表、體論及體論詞彙表
群只有一個二元運算。但為了完整說明不同類型的數之行為，具兩個運算子的結構是需要的。其中最重要的為環和體。
'分配律廣義化了數中的分配律，且要求其運算子運算時應採之順序(稱為優先權)。對於整數而言，(a + b) × c = a×c+ b×c且c × (a + b) = c×a + c×b，而且×稱之此於+上是可分配的。
環有兩個二元運算(+)和(×)，其中×於+上是可分配的。在第一個運算(+)下，它會形成一個阿貝爾群。而在第二個運算(×)下，其為結合的，但不需要有一單位元素或逆元素，所以除法是不被允許的。其加法(+)單位元寫成0，而其a的加法逆元則寫成-a。
整數是環的一個例子。其有使其為一整環的額外性質。
體是一具有在運算×下，除了0的所有元素會形成一阿貝爾群之額外性質的環。其乘法(×)單位元素寫成1，而其a的乘法逆元則寫成a。
有理數、實數和複數都是體的例子。

環和體－具兩個二元運算的結構
代數一詞亦可用來稱呼不同的代數結構，包含有：

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

代數
代數的起源可以追溯到古巴比倫的時代、…等並給出上述任兩個相乘的規則。
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年：伽羅瓦定律發展於埃瓦裡斯特·伽羅瓦在其抽象代數的成果中。

註記

代數基本定理
電腦代數系統

另見

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

參考文獻


Template:Algebra-footer
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