多変数多項式環の構成と性質