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 types; relatively free rings; Pythagorean equations; varieties of nilpotent rings

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

16N40: Nil and nilpotent radicals, sets, ideals, associative rings

03B35: Mechanization of proofs and logical operations

16Z05: Computational aspects of associative rings (general theory)

16R10: (T)-ideals, identities, varieties of associative rings and algebras

Related Items

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