Specialization of an algebra
= Specialization of an algebra
If an algebra is defined over a parameter <ring> $R$, a <ring homomorphism> $R\to k$ produces a specialized $k$-algebra by extension of scalars. Defining relations specialize by replacing every parameter by its image in $k$.