I am trying to prove the following basic property $$(M \otimes_A B) \otimes_B C \cong M \otimes_A (B \otimes_B C) \cong M \otimes_A C$$ where $M$ is $A$-module, $B$ is an $A$-algebra and $C$ is $B$-algebra. (All rings are commutative.) Note that this is isomorphism of $C$-modules. Intuitively, I understand the isomorphism as "transitivity of extension of scalars": to extend scalars of $M$ from $A$ to $C$ i.e. $M \otimes_A C$, we can extend scalars of $M$ from $A$ to $B$ to get a $B$-module $M \otimes_A B$ and then extend its scalar from $B$ to $C$. I want to do it using universal (adjunction) property of tensor product; namely $P \otimes_A N$ is the module such that for any $A$-module $Q$, one has $$Hom_A(P \otimes_A N, Q) \cong Hom_A(P, Hom_A(N, Q)).$$ Unfortunately, I can only prove associativity $$(M \otimes_A B) \otimes_A C \cong M \otimes_A (B \otimes_A C)$$ as $A$-modules. Is there a universal property for the case of tensoring $M \otimes_A B$ where $B$ is $A$-algebra?
2025-01-12 23:28:26.1736724506
Associativity of extension of scalar (tensor product)
886 Views Asked by An Hoa https://math.techqa.club/user/an-hoa/detail At
1
There are 1 best solutions below
Related Questions in ABSTRACT-ALGEBRA
- Projective Indecomposable modules of quiver algebra
- Binary relations for Cobb-Douglas
- Relations among these polynomials
- Number of necklaces of 16 beads with 8 red beads, 4 green beads and 4 yellow beads
- Page 99 of Hindry's Arithmetics, follows from exact sequence that $\text{N}(IJ) = \text{N}(J)\text{card}(J/IJ)$?
- How to write the identity permutation as a product of transpositions
- Is $H$ a subgroup?
- $x=(0,\overline{1})$ and $y=(0,\overline{2})$ generate the same ideal in $R=\mathbb{Z}\times\mathbb{Z}/5\mathbb{Z}$
- Having some problems with understanding conics and graphing (eccentricity)
- Is this Cayley Diagram contradictory?
Related Questions in TENSOR-PRODUCTS
- Tensor product of two fields
- Basis of a Tensor Product
- Coalgebra differential on reduced symmetric algebra
- Double dot product in index notation
- Tensor product isomorphism
- If $\{a_{1},\ldots,a_{n}\}$ is a $K$-basis of $F$, then $\{1\otimes a_{1},\ldots,1\otimes a_{n}\}$ is an $E$-basis of $E\otimes_{K} F$.
- Converting a general tensor element into an elementary tensor
- The $-1$-eigenspace of the exchange map is $V \wedge V$
- How does a Lie algebra act on a tensor product of L-modules?
- Show that $(2, 0)$ tensor is not a product of two vectors
Related Questions in UNIVERSAL-PROPERTY
- $L(\bigoplus_{i\in I} H_i)\cong \prod_{i\in I}L(H_i)$ as Banach spaces?
- Existence of unique homomorphism between free groups
- universal property in quotient topology
- Arrow From an Initial Object Does Not Disturb Commutativity of the Diagram
- Universal property of l^p-spaces
- proof that there is a unique isomorphism between two free modules
- $\{\alpha_i : A_i \to C_i \}$ family of maps $\implies \exists ! \alpha : \prod_i A_i \to \prod_i C_i$ such that $\pi_i^C \alpha \to \alpha_i \pi_i^A$
- universal properties of dependent types
- What does "4-universal hash function" mean?
- Grothendieck's definition of a universal problem
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
As a $B$-module, the tensor product $M\otimes_A B$ has the universal property that $\operatorname{Hom}_B(M\otimes_A B,N)\cong\operatorname{Hom}_A(M,N)$ naturally for any $B$-module $N$ (that is, $-\otimes_A B$ is left adjoint to the forgetful functor from $B$-modules to $A$-modules). Indeed, the $B$-module structure on $M\otimes_A B$ is defined by just multiplying on the second coordinate, so an $A$-bilinear map $\varphi:M\times B\to N$ induces a $B$-linear map $M\otimes_A B\to N$ iff $\varphi(m,b)=b\varphi(m,1)$ for all $b\in B$ and $m\in M$. It is then easy to check that such $\varphi$ are in bijection with $A$-linear maps $M\to N$, with $\varphi$ corresponding to the map $m\mapsto \varphi(m,1)$.
Armed with this universal property, it should be straightforward to prove the associativity statement you're trying to prove.