Uma extensão de Ore é, essencialmente, uma estrutura de anel no módulo livre A[X], onde os elementos de A não necessariamente comutam com a indeterminada X e para a qual vale a regra do grau, deg(pq) ≤ deg(p) + deg(q). Uma ...