
_START_ARTICLE_
代数
_START_PARAGRAPH_
代数是一个较为基础的数学分支。它的研究对象有许多。诸如数、数量、代数式、关系、方程理论、代数结构等等都是代数学的研究对象。_NEWLINE_初等代数一般在中学时讲授，介绍代数的基本思想：研究当我们对数字作加法或乘法时会发生什么，以及了解变量的概念和如何建立多项式并找出它们的根。_NEWLINE_代数的研究对象不仅是数字，还有各种抽象化的结构。例如整数集作为一个带有加法、乘法和序关系的集合就是一个代数结构。在其中我们只关心各种关系及其性质，而对于“数本身是什么”这样的问题并不关心。常见的代数结构类型有群、环、域、模、线性空间等。并且,代数是几何的总称，代数是还可以用任何字母代替的。
_START_SECTION_
历史
_START_PARAGRAPH_
代数的起源可以追溯到古巴比伦的时代，当时的人们发展出了较之前更进步的算术系统，使其能以代数的方法来做计算。经由此系统的被使用，他们能够列出含有未知数的方程并求解，这些问题在今日一般是使用线性方程、二次方程和不定线性方程等方法来解答的。相对地，这一时期大多数的埃及人及公元前1世纪大多数的印度、希腊和中国等数学家则一般是以几何方法来解答此类问题的，如在莱因德数学纸草书、绳法经、几何原本及九章算术等书中所描述的一般。希腊在几何上的工作，以几何原本为其经典，提供了一个将解特定问题解答的公式广义化成描述及解答方程之更一般的系统之架构。_NEWLINE_代数（algebra）导源于阿拉伯语单字“al-jabr”，其出自 al-Kitāb al-muḫtaṣar fī ḥisāb al-ğabr wa-l-muqābala这本书的书名上，意指移项和合并同类项之计算的摘要，其为波斯回教数学家花拉子米于820年所著。Al-Jabr此词的意思为“重聚”。传统上，希腊数学家丢番图被认为是“代数之父”，但现在则有着花拉子米是否应该从丢番图中取得此称号的争议。支持花拉子米的人指出其对于约化的成果到今日都还有用途，且他更给出了一个解答二次方程的一详尽说明。而支持丢番图的人则主张在Al-Jabr里出现的代数比在Arithmetica里出现的更为基本，且Arithmetica是简字的而Al-Jabr却完全是文辞的。另一位波斯数学家欧玛尔·海亚姆发展出代数几何出，且找出了三次方程的一般几何解法。印度数学家摩诃吠罗和婆什迦罗与中国数学家朱世杰解出了许多三次、四次、五次及更高次多项式方程的解了。_NEWLINE_代数更进一步发展的另一个关键事件在于三次及四次方程的一般代数解，其发展于16世纪中叶。行列式的概念发展于17世纪的日本数学家关孝和手中，并于十年后由莱布尼茨继续发展着，其目的是为了以矩阵来解出线性方程组的答案来。加布里尔·克拉默也在18世纪时在矩阵和行列式上做了一样的工作。抽象代数的发展始于19世纪，一开始专注在今日称为伽罗瓦理论及规矩数的问题上。
_START_SECTION_
抽象代数
_START_PARAGRAPH_
抽象代数将基本代数和数的算术中的一些相似概念延广成更一般的概念。_NEWLINE_集合：不单只考量数的不同类型，抽象代数处理更为一般的概念－集合：一群称为元素之对象的聚集。所有相似类型的数都是一种集合。另一些集合的例子有所有两阶方阵组成之集合、所有两次多项式组成的集合、所有平面的二维向量所组之集合、及如如整数同余的群之循环群等各种有限群。集合论是逻辑的一个分支且技术上不属于代数的一种分支。_NEWLINE_二元运算：加法的概念被抽象化成了一种二元运算，称之为*。对于在集合内的两个元素和会给出集合内的另一个元素（技术上，此条件称之为封闭性）。加法、减法、乘法和除法都是二元运算，且矩阵、向量及多项式等之加法和乘法也是二元运算。_NEWLINE_单位元：零和一两个数被抽象化成单位元的概念。零是加法的单位元而一则是乘法的单位元。对于一任意的二元运算*，单位元必须得满足和两个条件。其在加法中为和，而在乘法中则为和。但若取正自然数和加法，则其不存在有单位元。_NEWLINE_逆元素：负数导致出了逆元素的概念。对加法而言，的逆元素为，而对乘法而言，其逆元素则为。一通常之逆元素必须满足和之性质。_NEWLINE_结合律：整数的加法有一称为结合律的性质。亦即，数相加的顺序不影响其总和。例如：。一般化地，其可以被写成。此一性质在大多数的二元运算中存在着，但不包括减法和除法。_NEWLINE_交换律：整数的加法有一称为交换律的性质。亦即，数被加的顺序不影响其总和。例如：。一般化地，其可以被写成。只有一些二元运算拥有此一性质。其在整数的加法和乘法上成立，但在矩阵乘法上则不成立。
_START_SECTION_
环和体－具两个二元运算的结构
_START_PARAGRAPH_
群只有一个二元运算。但为了完整说明不同类型的数之行为，具两个运算子的结构是需要的。其中最重要的为环和体。_NEWLINE_分配律广义化了数中的分配律，且要求其运算子运算时应采之顺序（称为优先权）。对于整数而言，且，而且称之此于+上是可分配的。_NEWLINE_环有两个二元运算和，其中于上是可分配的。在第一个运算下，它会形成一个阿贝尔群。而在第二个运算下，其为结合的，但不需要有一单位元或逆元素，所以除法是不被允许的。其加法单位元写成，而其的加法逆元则写成。_NEWLINE_整数是环的一个例子。其有使其为一整环的额外性质。_NEWLINE_体是一具有在运算下，除了的所有元素会形成一阿贝尔群之额外性质的环。其乘法单位元写成，而其的乘法逆元则写成。_NEWLINE_有理数、实数和复数都是体的例子。