Generating subdirect products
Peter Mayr, Nik Ruškuc · Journal of the London Mathematical Society · 2019
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 generalize previously known results for groups, and which apply to modules, rings, K-algebras and loops. For instance, if C is a fiber product of A and B over a common quotient D, and if A, B and D are finitely presented, then C 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 K-algebras. In particular, let C be a subdirect product of K-algebras A 1 , ⋯ , A n for a Noetherian ring K such that the projection of C onto any A i × A j has finite co-rank in A i × A j . Then, C is finitely generated (respectively, finitely presented) if and only if all A i are finitely generated (respectively, finitely presented). Finally, examples of semigroups and lattices are provided which indicate further complications as one ventures beyond congruence permutable varieties.