抽象代数是数学的一个分支，研究配备了满足特定规则的运算的集合。其核心研究对象包括群、环、域和向量空间，以及保持这些对象结构的映射。初等代数主要发展变换表达式和求解方程的技巧，而抽象代数则探究整类数学系统所共有的性质。因此，数、置换、矩阵和几何对称性都可以用共同的定义和方法来研究。(people.hsc.edu)
结构化方法
一个代数结构由一个基础集合及其上的一种或多种运算组成，这些运算须满足相应的公理。二元运算将两个元素结合起来，得到同一集合中的另一个元素。常见的例子包括整数的加法和方阵的乘法。重要的条件包括结合律、交换律、单位元的存在性和逆元的存在性。这些条件的不同组合定义了不同的结构。(twjudson.github.io)
运算的选择与集合的选择同样重要。整数在加法下构成群，但在乘法下不构成群，因为大多数整数没有仍为整数的乘法逆元。抽象化将这类结构问题与元素的具体记号或含义分离开来。由群公理证明的定理适用于所有群，无论群中的元素是数还是变换。(twjudson.github.io)
群与对称性
群是一个配备了满足结合律的二元运算的集合，其中存在单位元，且每个元素都有逆元。如果运算还满足交换律，这个群就称为阿贝尔群。群论研究这些结构、它们的子群，以及它们在其他数学对象上的作用。例子包括加法下的整数、乘法下的非零实数，以及复合运算下的置换。(twjudson.github.io)
群为描述对称性提供了精确的语言。保持正方形不变的旋转和反射在复合运算下构成一个群。其中，仅由旋转组成的部分构成一个子群，而将反射与旋转复合则说明了群运算为何不一定满足交换律。子群和商群揭示了较大的结构如何包含或产生较小的结构。拉格朗日定理指出，有限群的任一子群的元素个数都整除整个群的元素个数。(math.libretexts.org)
环、域与线性结构
环（数学）具有加法和乘法两种运算。它在加法下构成阿贝尔群；乘法满足结合律，并且对加法满足分配律。乘法不一定满足交换律。不同的定义约定对于是否要求存在乘法单位元有所不同。整数、系数取自某个环的多项式，以及元素取自某个域的方矩阵，都是典型的例子。(twjudson.github.io)
域（数学）是一种交换环，其零元与单位元不同，且每个非零元素都有乘法逆元。有理数、实数和复数都构成域。有限域只有有限个元素，其元素个数总是某个素数的幂。在域中可以除以任意非零元素，而在一般的环中，这样的除法未必可行。(twjudson.github.io)
向量空间由向量构成的阿贝尔群与以某个域的元素为标量的数乘运算组成。这将线性代数纳入了更广泛的结构化框架。模（数学）允许标量取自环，从而推广了向量空间。由于环中的非零元素不一定可逆，模的性质可能与向量空间不同：模不一定有基。(people.hsc.edu)
保持结构的映射与商结构
同态是保持相应运算的映射。对于群，映射 (f:G\to H) 必须满足
[ f(ab)=f(a)f(b). ]
对于环，同态须同时保持加法和乘法。同构是可逆的、保持结构的映射；同构的结构即使元素看起来不同，也具有相同的代数组织方式。分类问题通常旨在将同构的结构视为同一类，从而识别不同的结构类型。(people.hsc.edu)
商结构的构造依据与运算相容的关系，将某些元素视为等同。对于群，这种构造使用正规子群；对于环，则使用理想。模 (n) 的整数，记作 (\mathbb Z/n\mathbb Z)，可以同时说明这两种构造。模算术将差能被 (n) 整除的整数视为等同，由此得到一个有限环。当 (n>1) 时，这个环是域，当且仅当 (n) 是素数。第一同构定理将同态的像与由其核构造的商结构联系起来。(twjudson.github.io)
历史发展与伽罗瓦理论
抽象代数源于对多项式方程、置换和算术的研究。十九世纪的研究将关注点从求根公式转向支配这些根的变换和结构。埃瓦里斯特·伽罗瓦将多项式方程与其根的置换群联系起来，奠定了伽罗瓦理论的基础。(twjudson.github.io)
现代形式的伽罗瓦理论通过自同构研究域扩张。对于有限伽罗瓦扩张，它建立了中间域与其伽罗瓦群的子群之间的对应关系。在特征为零的域上，一个多项式可用根式求解，当且仅当其伽罗瓦群是可解群。这解释了为什么一般五次方程不存在根式求解公式，尽管某些特定的五次方程可以用根式求解。(judsonbooks.org)
二十世纪初，埃米·诺特和埃米尔·阿廷推动了公理化、结构化方法的发展。巴特尔·范德瓦尔登的《现代代数》（Moderne Algebra）以他们的讲课内容为基础，于1930—1931年分两卷出版，对这一方法的系统整理和传播发挥了重要作用。(link.springer.com)
联系与应用
抽象代数为数论和代数几何提供了工具，用于研究因式分解、多项式方程及其解集等问题。其计算应用包括密码学和纠错码：在密码学中，模算术和有限代数结构为加密系统提供支持；在纠错码中，向量空间和多项式方法用于在编码中加入冗余信息。在编码理论中，代数约束使检测或纠正特定模式的传输错误成为可能。(people.hsc.edu)