Equations over direct powers of algebraic structures in relational languages

2020/08/05 by Shevlyakov, A.
#Algebraic Geometry (math.AG) #FOS: Mathematics

paper · doi:10.48550/arxiv.2008.02309

Abstract

We study equations over relational structures that approximate groups and semigroups. For such structures we proved the criteria, when a direct power of such algebraic structures is equationally Noetherian.

Related

• On equations over direct powers of algebraic structures
• Direct products, varieties, and compactness conditions
• On equationally Noetherian predicate structures
• Solving equations in the relational algebra
• Word equations, constraints, and formal languages