PYTHAGOREAN TRIPLES IN THE UNIFICATION THEORY OF ASSOCIATIVE AND COMMUTATIVE RINGS

DOI10.1081/AGB-120015645zbMath1016.16012MaRDI QIDQ4796288

No author found.

Publication date: 13 May 2003

Published in: Communications in Algebra (Search for Journal in Brave)

zbMATH Keywords

unification typesrelatively free ringsPythagorean equationsvarieties of nilpotent rings

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Nil and nilpotent radicals, sets, ideals, associative rings (16N40) Mechanization of proofs and logical operations (03B35) Computational aspects of associative rings (general theory) (16Z05) (T)-ideals, identities, varieties of associative rings and algebras (16R10)

Related Items (1)

The unification type of the Pythagorean equation in varieties of nilpotent rings

Cites Work

• Unnamed Item
• Varieties of algebras and algebraic varieties
• Hilbert's tenth problem is of unification type zero
• Unification in commutative rings is not finitary
• Boolean unification - the story so far
• Algorithms for the Solution of Systems of Linear Diophantine Equations

This page was built for publication: PYTHAGOREAN TRIPLES IN THE UNIFICATION THEORY OF ASSOCIATIVE AND COMMUTATIVE RINGS