抽象代数基础（1）

命题：Z_p，p是素数，则Z_p是域。