[Paper Review] On the Equational Artinian Algebras

P. Modabberi, M. Shahryari|arXiv (Cornell University)|May 30, 2015

Advanced Algebra and Logic7 references3 citations

TL;DR

This paper establishes a duality between equational noetherian and equational Artinian algebras by introducing a radical topology on atomic formulas, proving that an algebra is equational Artinian if and only if this topology satisfies the descending chain condition on closed sets. Using König's lemma in graph theory, the authors show that ultrapowers of equational Artinian algebras are also equational Artinian, providing new examples of such algebras, particularly in group theory.

ABSTRACT

Equational Artinian algebras were introduced in our previous work: {\em Equational conditions in universal algebraic geometry, to appear in Algebra and Logic, 2015}. In this note, we define the notion of {\em radical topology with respect to an algebra $A$} and using the well-known König lemma in graph theory, we show that the algebra $A$ is equational Artinian iff this topology is noetherian. This completes the analogy between equational noetherian and equational Artinian algebras.

Motivation & Objective

• To complete the duality between equational noetherian and equational Artinian algebras by introducing a radical topology.
• To resolve the asymmetry in the characterization of equational Artinian algebras that remained unresolved in prior work.
• To establish that equational Artinian algebras are preserved under ultrapowers, generating new examples, especially in group theory.
• To unify the topological characterization of equational properties across universal algebraic geometry.

Proposed method

• Define a radical topology on the set of atomic formulas in the language of an algebra A, where closed sets are intersections of sets of formulas vanishing on points.
• Show that the closed sets in this radical topology correspond to radical ideals, and that the topology is Noetherian if and only if the algebra is equational Artinian.
• Apply König’s lemma from graph theory to prove that every infinite tree with finite degrees must have an infinite path, which is used to show that descending chains of closed sets terminate.
• Use elementary equivalence and Łoś’s theorem to prove that ultrapowers of equational Artinian algebras inherit the equational Artinian property.
• Demonstrate that the radical topology of an ultrapower is identical to that of the original algebra, preserving the chain condition.
• Use the topological characterization to prove closure of equational Artinian algebras under subalgebras, coordinate algebras, and other universal constructions.

Experimental results

Research questions

• RQ1 Is there a topological characterization of equational Artinian algebras dual to the known Zariski topology characterization of equational noetherian algebras?
• RQ2 Can the descending chain condition on closed sets in a radical topology be used to fully characterize equational Artinian algebras?
• RQ3 Does the property of being equational Artinian extend to ultrapowers of such algebras?
• RQ4 Are there natural classes of algebras, such as groups, that are equational Artinian, and how can they be systematically generated?
• RQ5 What is the relationship between the radical topology and the structure of algebraic sets in equational Artinian algebras?

Key findings

• An algebra A is equational Artinian if and only if the radical topology on its atomic formulas satisfies the descending chain condition on closed sets.
• The radical topology provides a dual characterization to the Zariski topology, completing the symmetry between equational noetherian and equational Artinian properties.
• Every ultrapower of an equational Artinian algebra is itself equational Artinian, which yields new examples, especially of equational Artinian groups.
• The radical topology of an ultrapower is identical to that of the original algebra, ensuring preservation of the chain condition.
• Equational Artinian algebras are closed under taking subalgebras, coordinate algebras, fully residually A-algebras, universally equivalent algebras, limit algebras, and finitely generated algebras defined by complete atomic types in the universal theory of A.
• Every algebraic set in an equational Artinian algebra is a finite intersection of large algebraic sets, which are those whose radical ideals are irreducible in the radical topology.