Factorization in Non-Commutative Power Series Rings
Paul M. Cohn · Mathematical Proceedings of the Cambridge Philosophical Society · 1962
The study of the divisibility of polynomials in a single variable over a field is essentially based on the division algorithm, which may be stated as follows: (A) Given polynomials a, b such that there exist polynomials q and a1, such that† .