On isomorphisms of modules over non-commutative PID

DOI10.1145/2608628.2608665zbMath1325.68282OpenAlexW2027415940MaRDI QIDQ3452396

Gabriel Navarro, F. J. Lobillo, José Gómez-Torrecillas

Publication date: 11 November 2015

Published in: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2608628.2608665

zbMATH Keywords

skew polynomial ringnon-commutative PIDsimilar polynomials

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Ordinary and skew polynomial rings and semigroup rings (16S36) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Computational aspects of associative rings (general theory) (16Z05)

Related Items (1)

An isomorphism test for modules over a non-commutative PID. Applications to similarity of Ore polynomials.

Uses Software

• Jordan

Cites Work

• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• The Jordan Curve Theorem, Formally and Informally
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Definability and decision problems in arithmetic
• Unnamed Item
• Unnamed Item

This page was built for publication: On isomorphisms of modules over non-commutative PID