polynomial algebra에서 미지수들은 따로 언급이 없으면 commutative라고 가정 하나영, 아니면 일반적으로 non-가환으로 가정 하나영?