algebraic theory / 2-algebraic theory / (?,1)-algebraic theory?
?-algebra over an (?,1)-monad?
algebra over an algebraic theory
?-algebra over an (?,1)-algebraic theory?
?-algebra over an (?,1)-operad?
representation, ?-representation?
associated bundle, associated ?-bundle?
monoidal (?,1)-category?
symmetric monoidal (∞,1)-category of spectra
A-? algebra?
C-? algebra?
L-? algebra?
Given a commutative ring $R$ and an $R$-algebra $A$, this algebra is finitely generated over $R$ if it is a quotient of a polynomial ring $R[x_1, \cdots, x_n]$ on finitely many variables.
If moreover $A = R[x_1, \cdots, x_n]/(f_1, \cdots, f_k)$ for a finite number of polynomials $f_i$, then $A$ is called finiteley presented.
A morphism of finite presentation between schemes is one which is dually locally given by finitely presented algebras.
A ring is an associative algebra over the integers, hence a $\mathbb{Z}$-ring. Accordingly a finitely generated ring is a finitely generated $\mathbb{Z}$-algebra, and similarly for finitely presented ring.
For rings every finitely generated ring is already also finitely presented.
Finite generation of algebras plays a role in the choice of geometry (for structured (infinity,1)-toposes) in