''r'' algebras also ''r'' algebra natural way see tensor product algebras details given commutative ring ''r'' ring ''a'' tensor product ''r'' nbsp sub '''z''' sub nbsp ''a'' given structure ''r'' algebra defining ''r'' nbsp nbsp ' 's'' nbsp nbsp ''a'' ''rs'' nbsp nbsp ''a'' functor sends ''a'' ''r'' nbsp sub '''z''' sub nbsp ''a'' left adjoint functor sends ''r'' algebra underlying ring forgetting module structure see also change rings separable algebra let ''a'' algebra commutative ring ''r'' algebra ''a'' right module math e op otimes r
Formal science Mathematics Pure mathematics Algebra Associative algebra