Noncommutative polynomial ring