単項式多項式環の定義と構造