Change of Base for Commutative Algebras

Abstract

In this paper we examine on a pair of adjoint functors $(ϕ^{\ast},ϕ_{\ast})$ for a subcategory of the category of crossed modules over commutative algebras where $ϕ^{\ast}:\mathbf{XMod}$\textbf{/}$% Q\rightarrow $ $\mathbf{XMod/}P$, pullback, which enables us to move from crossed $Q$-modules to crossed $P$-modules by an algebra morphism $ϕ:P\rightarrow Q$ and $ϕ_{\ast}:\mathbf{XMod}$\textbf{/}$P\rightarrow $ $\mathbf{XMod/}Q$, induced. We note that this adjoint functor pair $(ϕ^{\ast},ϕ_{\ast})$ makes $p:\mathbf{XMod}\rightarrow $ $k$\textbf{-Alg}into a bifibred category over $k$\textbf{-Alg}, the category of commutative algebras, where $p$ is given by $p(C,R,\partial)=R.$ Also, some examples and results on induced crossed modules are given.