代数

title: 历史.
content: 代数的起源可以追溯到古巴比伦的时代,当时的人们发展出了较之前更进步的算术系统,使其能以代数的方法来做计算。经由此系统的被使用,他们能够列出含有未知数的方程并求解,这些问题在今日一般是使用线性方程、二次方程和不定线性方程等方法来解答的。相对地,这一时期大多数的埃及人及公元前1世纪大多数的印度、希腊和中国等数学家则一般是以几何方法来解答此类问题的,如在"莱因德数学纸草书"、"绳法经"、"几何原本"及"九章算术"等书中所描述的一般。希腊在几何上的工作,以"几何原本"为其经典,提供了一个将解特定问题解答的公式广义化成描述及解答方程之更一般的系统之架构。  代数(algebra)导源于阿拉伯语单字「"al-jabr"」,其出自""这本书的书名上,意指"移项和合并同类项之计算的摘要",其为波斯回教数学家花拉子米于820年所著。"Al-Jabr"此词的意思为「"重聚"」。传统上,希腊数学家丢番图被认为是「代数之父」,但现在则有着花拉子米是否应该从丢番图中取得此称号的争议。支持花拉子米的人指出其对于约化的成果到今日都还有用途,且他更给出了一个解答二次方程的一详尽说明。而支持丢番图的人则主张在"Al-Jabr"里出现的代数比在"Arithmetica"里出现的更为基本,且"Arithmetica"是简字的而"Al-Jabr"却完全是文辞的。另一位波斯数学家欧玛尔·海亚姆发展出代数几何出,且找出了三次方程的一般几何解法。印度数学家摩诃吠罗和婆什迦罗与中国数学家朱世杰解出了许多三次、四次、五次及更高次多项式方程的解了。  代数更进一步发展的另一个关键事件在于三次及四次方程的一般代数解,其发展于16世纪中叶。行列式的概念发展于17世纪的日本数学家关孝和手中,并于十年后由莱布尼茨继续发展着,其目的是为了以矩阵来解出线性方程组的答案来。加布里尔·克拉默也在18世纪时在矩阵和行列式上做了一样的工作。抽象代数的发展始于19世纪,一开始专注在今日称为伽罗瓦理论及规矩数的问题上。
title: 发展历程.
content: 符号代数发展的阶段可大致区分如下:  代数数个关键的发展的时间轴,表述如下:
title: 初等代数.
content: 初等代数是代数中最基本的一种类型。其教导对象为假定不具有对算术基本原则之类的数学知识之学生。虽然在算术里,只有数和其算术运算(如加减乘除)会出现,在代数,数则通常会以符号(如formula_9、formula_3、formula_11等)来标记。这是很有用的,因为:
title: 抽象代数.
content: 抽象代数将基本代数和数的算术中的一些相似概念延广成更一般的概念。  集合:不单只考量数的不同类型,抽象代数处理更为一般的概念-"集合":一群称为元素之物件的聚集。所有相似类型的数都是一种集合。另一些集合的例子有所有两阶方阵组成之集合、所有两次多项式组成的集合、所有平面的二维向量所组之集合、及如如整数同余formula_20的群之循环群等各种有限群。集合论是逻辑的一个分支且技术上不属于代数的一种分支。  二元运算:加法formula_21的概念被抽象化成了一种"二元运算",称之为*。对于在集合formula_22内的两个元素formula_9和formula_24会给出集合内的另一个元素(技术上,此条件称之为封闭性)。加法formula_21、减法formula_26、乘法formula_27和除法formula_28都是二元运算,且矩阵、向量及多项式等之加法和乘法也是二元运算。  单位元素:零和一两个数被抽象化成单位元素的概念。零是加法的单位元素而一则是乘法的单位元素。对于一任意的二元运算*,单位元素formula_29必须得满足formula_30和formula_31两个条件。其在加法中为formula_32和formula_33,而在乘法中则为formula_34和formula_35。但若取正自然数和加法,则其不存在有单位元素。  逆元素:负数导致出了"逆元素"的概念。对加法而言,formula_9的逆元素为formula_37,而对乘法而言,其逆元素则为formula_38。一通常之逆元素formula_39必须满足formula_40和formula_41之性质。  结合律:整数的加法有一称为结合律的性质。亦即,数相加的顺序不影响其总和。例如:formula_42。一般化地,其可以被写成formula_43。此一性质在大多数的二元运算中存在着,但不包括减法和除法。  交换律:整数的加法有一称为交换律的性质。亦即,数被加的顺序不影响其总和。例如:formula_44。一般化地,其可以被写成formula_45。只有一些二元运算拥有此一性质。其在整数的加法和乘法上成立,但在矩阵乘法上则不成立。
title: 群.
content: 结合上面的概念可给出在数学中最重要的结构之一:群。群为一个集合formula_22和一二元运算*之结合,使其可有如下性质:  若一群亦为可交换的-即对任两个于formula_22内的元素formula_9和formula_24会等同于b*a-则此群称为阿贝尔群。  例如,加法的运算下之整数集合为一个群。在此一群中,其单位元素是formula_70且其任一元素formula_9的逆元素为其负数formula_37。其有关结合律的要求亦是吻合的,因为对任何整数formula_9、b和formula_63,formula_75。  非零有理数会形成一个于乘法下的群。在此,其单位元为formula_76,当对于任一有理数formula_9,formula_78。formula_9的逆元素为formula_38,当formula_81。  但无论如何,于乘法运算下的整数不会形成一个群。这是因此一整数的乘法逆元通常不会是一个整数。例如,formula_82是一个整数,但其乘法逆元为formula_83,不为一个整数。  群的理论被学习于群论中。此一理论的一主要成果为有限简单群分类,主要发表于formula_84年至formula_85年之间,其目的在于将所有的有限简单群分类至约formula_86种的基本类型中。  半群、拟群和幺半群是类似于群的结构,但更具一般性。它们由一个集合和一个封闭二元运算所组成,但不必然满足其他条件。半群有一"结合"二元运算,但没有单位元素。幺半群是一有单位元素但可能没有每个元素之逆元素的半群。拟群满足任一元素皆以一唯一的前或后运算转换成另一元素,但此一二元运算可能不具结合律。  所有的群都是幺半群,且所有的幺半群都是半群。
title: 环和体-具两个二元运算的结构.
content: 群只有一个二元运算。但为了完整说明不同类型的数之行为,具两个运算子的结构是需要的。其中最重要的为环和体。  分配律广义化了数中的"分配律",且要求其运算子运算时应采之顺序(称为优先权)。对于整数而言,formula_87且formula_88,而且formula_89称之此于+上是"可分配"的。  环有两个二元运算formula_21和formula_27,其中formula_89于formula_21上是可分配的。在第一个运算formula_21下,它会形成一个"阿贝尔群"。而在第二个运算formula_27下,其为结合的,但不需要有一单位元素或逆元素,所以除法是不被允许的。其加法formula_21单位元写成formula_70,而其formula_9的加法逆元则写成formula_37。  整数是环的一个例子。其有使其为一整环的额外性质。  体是一具有在运算formula_27下,除了formula_70的所有元素会形成一"阿贝尔群"之额外性质的环。其乘法formula_27单位元素写成formula_76,而其formula_9的乘法逆元则写成formula_39。  有理数、实数和复数都是体的例子。
title: 代数.
content: 代数一词亦可用来称呼不同的代数结构,包含有:

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

Algebra: Die Algebra (von „das Zusammenfügen gebrochener Teile“) ist eines der grundlegenden Teilgebiete der Mathematik; es befasst sich mit den Eigenschaften von Rechenoperationen. Im Volksmund wird Algebra häufig als das Rechnen mit Unbekannten in Gleichungen bezeichnet (zum Beispiel formula_1); die Unbekannte wird (bzw. die Unbekannten werden) mit Buchstaben dargestellt. Als Begründer der Algebra gilt der Grieche Diophantos von Alexandria, der wahrscheinlich zwischen 100 v. Chr. und 350 n. Chr. lebte. Sein 13 Bände umfassendes Werk Arithmetica ist das älteste bis heute erhaltene, in dem die algebraische Methode (also das Rechnen mit Buchstaben) verwendet wird.