公元 820 年 - 至今 | 方程理论·抽象代数·符号系统 | 从算术到抽象的数学革命
| 阶段 | 时间 | 特点 | 代表 |
|---|---|---|---|
| 修辞代数 | 古代 -9 世纪 | 用文字叙述问题，无符号 | 丢番图《算术》 |
| 缩略代数 | 9-15 世纪 | 部分使用缩写符号 | 花拉子米《代数学》 |
| 符号代数 | 16-18 世纪 | 完整符号系统建立 | 韦达、笛卡尔 |
| 抽象代数 | 19 世纪 - 至今 | 研究代数结构 | 伽罗瓦、诺特 |
代数学基本方程示例
定义：具有一个二元运算的集合，满足封闭性、结合律、单位元、逆元
应用：对称性研究、密码学
创始人：伽罗瓦
定义：具有加法和乘法两种运算的集合
应用：数论、代数几何
代表：整数环、多项式环
定义：可进行加减乘除（除零外）的集合
应用：方程可解性、编码理论
代表：有理数域、实数域
定义：研究向量空间和线性映射
应用：计算机图形学、机器学习
核心：矩阵、行列式、特征值
| 方程次数 | 求解公式 | 发现时间 | 发现者 |
|---|---|---|---|
| 一次方程 | x = -b/a | 古代 | 古埃及、巴比伦 |
| 二次方程 | 求根公式 | 公元 7 世纪 | 婆罗摩笈多 |
| 三次方程 | 卡尔达诺公式 | 1545 年 | 塔尔塔利亚、卡尔达诺 |
| 四次方程 | 费拉里公式 | 1545 年 | 费拉里 |
| 五次及以上 | 无一般根式解 | 1824 年证明 | 阿贝尔、伽罗瓦 |
巴比伦泥板记录二次方程解法，使用几何方法求解代数问题
希腊数学家丢番图著《算术》，首次使用符号表示未知数，研究不定方程
印度数学家婆罗摩笈多给出二次方程求根公式，首次承认负数
花拉子米著《代数学》，系统阐述一次和二次方程解法，"代数"一词由此而来
卡尔达诺《大术》发表三次方程求根公式，费拉里给出四次方程解法
韦达《分析方法入门》建立符号代数系统，用字母表示已知数和未知数
笛卡尔《几何学》建立解析几何，引入现代代数符号，代数与几何统一
高斯证明代数基本定理：n 次方程有 n 个复数根
阿贝尔证明五次及以上方程无一般根式解，结束 300 年探索
伽罗瓦创立群论，用群论解决方程可解性问题，开创抽象代数
布尔《思维规律》创立布尔代数，为计算机逻辑奠定基础
诺特、范德瓦尔登等建立现代抽象代数体系，群环域理论成熟
计算机代数系统发展，符号计算成为可能
人工智能应用于代数研究，辅助定理证明和符号计算
时间：公元 9 世纪
地点：巴格达
贡献：花拉子米创立代数学
时间：公元 12-16 世纪
地点：意大利、法国
贡献：翻译、发展符号代数
时间：公元 17-20 世纪
地点：全世界
贡献：成为科学通用语言
| 领域 | 影响 | 说明 |
|---|---|---|
| 物理学 | 数学语言 | 牛顿力学、电磁学、量子力学都用代数表达 |
| 工程学 | 设计计算 | 结构分析、电路设计依赖代数 |
| 计算机科学 | 布尔代数 | 逻辑运算、算法设计的基础 |
| 经济学 | 数学模型 | 经济模型、优化问题用代数表达 |
| 密码学 | 群论应用 | 现代加密算法基于抽象代数 |
"数学是科学的皇后，数论是数学的皇后，而代数是数论的工具"
"宇宙这本书是用数学语言写成的"
"布尔代数是计算机逻辑的数学基础"
| 方向 | 内容 | 目标 |
|---|---|---|
| 计算机代数 | 符号计算系统、自动证明 | 辅助数学研究 |
| AI 与代数 | 机器学习辅助定理证明 | 加速数学发现 |
| 代数密码 | 椭圆曲线、格密码 | 后量子密码学 |
| 代数几何 | 代数簇、概形理论 | 统一代数与几何 |
| 表示论 | 群表示、代数表示 | 理解代数结构 |