Specialization of an algebra
= Specialization of an algebra
{wiki=Specialization_(mathematics)}
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$.