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, $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,\dots,A_n$ for a Noetherian ring $K$ such that the projection of $C$ onto any $A_i\times A_j$ has finite co-rank in $A_i\times A_j$. Then $C$ is finitely generated (resp. finitely presented) if and only if all $A_i$ are finitely generated (resp. finitely presented). Finally, examples of semigroups and lattices are provided which indicate further complications as one ventures beyond congruence permutable varieties.

On Varietal Capability of Infinite Direct Products of Groups

On Varietal Capability of Direct Products of Groups and Pair of Groups

Groups with infinite linearly ordered products

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Virtual homology of limit groups and profinite rigidity of direct products

Subdirect products of finitely presented metabelian groups

Generating subdirect products

Invariant sets and nilpotency of endomorphisms of algebraic sofic shifts

Capable groups of order

Equations in groups that are virtually direct products

The CI problem for infinite groups

Infinite dimensional Chevalley groups and Kac-Moody groups over ℤ

On direct product, semidirect product of groupoids and partial actions

Finite Autocapable Groups with the 2-Groups of Maximal Class

On the direct product of fields with an application

Comparing direct limit and inverse limit of even $K$-groups in multiple $\mathbb{Z}_p$-extensions

On the number of subdirect products involving semigroups of integers and natural numbers

Subgroups of the direct product of graphs of groups with free abelian vertex groups

Product of Sets on Varieties in Finite Fields

One-endedness of outer automorphism groups of free products of finite and cyclic groups

Generalisations of Thompson's group V arising from purely infinite groupoids