I'm wondering about the question, "If we have a finitely presented __, is it necessarily finitely presented with respect to any finite generating set for it?" I
"If we have a finitely presented __, is it necessarily finitely presented with respect to any finite generating set for it?"
I know this is true for groups and for R$R$-modules. Does anyone know whether this is true for A$A$-algebras? Commutative A$A$-algebras? Other things people might happen to know about it for?