群、环、域的公理为什么是这些？

初学抽象代数时，我们往往先遇到一串定义：群满足结合律、有单位元和逆元；环有加法和乘法，满足分配律；域要求每个非零元素都可逆。 但这些条件为什么这样选择？它们是人为规定的，还是有具体的历史动机？ 答案是：这些公理来自具体数学对象的共同规律。数学家先研究方程、置换、整数和多项式，再逐渐提炼出抽象结构。