Ore扩张

非交换多项式环和Ore扩张

Ore 扩张是一种定义非交换的多项式环的方法, 最早由 Øystein