群是描述“对称变换”的语言，用于物理、化学、密码学；域是提供“四则运算”的算术系统，用于编码、加密、解决方程可解性等经典难题。两者在伽罗瓦理论中完美结合：域的对称性（自同构）构成一个群。