Generating subdirect products
Peter Mayr, Nik Ruskuc

TL;DR
This paper investigates conditions under which subdirect products of algebraic structures are finitely generated or presented, providing general results for various structures and highlighting complexities beyond congruence permutable varieties.
Contribution
It generalizes known results for groups to broader algebraic structures, establishing criteria for finite generation and presentation of subdirect products in diverse varieties.
Findings
Subdirect products of two factors are finitely generated if factors are finitely presented.
For multiple factors, finite generation depends on projections onto pairs and higher commutators.
In Noetherian K-algebras, finite generation and presentation of subdirect products are characterized by the properties of individual factors.
Abstract
We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties, which generalise previously known results for groups, and which apply to modules, rings, -algebras and loops. For instance, if is a fiber product of and over a common quotient , and if , and are finitely presented, then is finitely generated. For subdirect products of more than two factors we establish a general connection with projections on pairs of factors and higher commutators. More detailed results are provided for groups, loops, rings and -algebras. In particular, let be a subdirect product of -algebras for a Noetherian ring such that the projection of onto any has…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
