近世代数环的命题有哪些