4
$\begingroup$

Suppose A is a commutative ring, $E$ is an $A$-module, $B$ is an $A$-algebra, ${S}$ is the symmetric $A$-algebra functor.

Is $S(E\otimes_AB)\cong S(E)\otimes_AB$?

I try to use universial property, where ${S}$ is the left adjoint of the forgetful functor from $A-alg$ to $A-mod$.

Suppose we have $E\otimes_AB\to C$, $C$ an $A-alg$, we have $E\to C$ thus $S(E)\to C$, but the map $B\to E\otimes_AB \to C$ may not be an algebra homomorphism, since the second one is only an $A-mod$ map. I don't know how to deal with it. Can anyone help me? Thanks

$\endgroup$
7
  • $\begingroup$ You have to begin with a commutative $B$-algebra $C$, not just $A$-algebra. After all you want to prove an isomorphism of commutative $B$-algebras. $\endgroup$ – Martin Brandenburg Jan 7 '14 at 15:53
  • $\begingroup$ Do you mean the isomorphism holds in B-alg? $\endgroup$ – Qixiao Jan 7 '14 at 15:57
  • $\begingroup$ Yes. $\phantom{ }$ $\endgroup$ – Martin Brandenburg Jan 7 '14 at 15:59
  • $\begingroup$ If we denote $S_A$ and $S_B$ the symmetric A/B algebra functor, so we have $S_B(E\otimes_AB)\cong S_A(E)\otimes_AB$? $\endgroup$ – Qixiao Jan 7 '14 at 16:03
  • $\begingroup$ Do we have $S_A(E\otimes_AB)\cong S_A(E)\otimes_AB$? $\endgroup$ – Qixiao Jan 7 '14 at 16:04
3
$\begingroup$

This is true by abstract nonsense, namely the general rule that the left adjoint of a composition is the composition (vice versa) of the left adjoints. Consider the composition of forgetful functors

$\mathsf{CAlg}(B) \to \mathsf{Mod}(B) \to \mathsf{Mod}(A).$

The left adjoint maps $E \in \mathsf{Mod}(A)$ to $S_B(E \otimes_A B)$.

But the composition can also be seen as

$\mathsf{CAlg}(B) \to \mathsf{CAlg}(A) \to \mathsf{Mod}(A).$

The left adjoint therefore maps $E \in \mathsf{Mod}(A)$ to $S_A(E) \otimes_A B$.

Left adjoints are unique, hence $S_B(E \otimes_A B) \cong S_A(E) \otimes_A B$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.