Intereting Posts

limit of a sequence with $\pi $ and $ e $
Topologist's Sine Curve not a regular submanifold of $\mathbb{R^2}$?
Prove a square is homeomorphic to a circle
How to find the order of a group generated by two elements?
Kähler differential over a field
$|\mathbb{Q}(e^{2\pi i/n}) : \mathbb{Q}(\cos(2\pi/n)| = 1 \text{ or } 2$
Integrate $\int_0^1\mathrm{d} u_1 \cdots \int_0^1\mathrm{d} u_n \frac{\delta(1-u_1-\cdots-u_n)}{(u_1+u_2)(u_2+u_3)\cdots(u_{n-1}+u_n)(u_n+u_1)}$
Is there a sequence of 5 consecutive positive integers such that none are square free?
prove $x \mapsto x^2$ is continuous
Uncountable product in the category of metric spaces.
Am I fit for higher studies/teaching in mathematics?
Applications of the fact that a group is never the union of two of its proper subgroups
Can we found mathematics without evaluation or membership?
Solving the differential equation $\frac{dy}{dx}=\frac{3x+4y+7}{x-2y-11}$
Why does this ratio of sums of square roots equal $1+\sqrt2+\sqrt{4+2\sqrt2}=\cot\frac\pi{16}$ for any natural number $n$?

Given the category of commutative R- or k-Algebras, it is often mentioned that the coproduct is the same as the tensor product. I’m interested in the proof of this statement.

One idea would be to proof some unique property, but I’m not sure how to do this (or if this is actually the right way). An elaborative explanation would be much appreciated.

- Spectrum of $\mathbb{Z}^\mathbb{N}$
- $R\subset A\subset R$, $A$ is Noetherian. Is $R$ Noetherian?
- What is the kernel of $K \to K$, defined by $T \mapsto x$?
- Examples of prime ideals that are not maximal
- Is it true that $p\mid $?
- $GL_n(k)$ (General linear group over a algebraically closed field) as a affine variety?

- Galois Group of $\sqrt{1+\sqrt{2}}$
- Prime elements of ring $\mathbb{Z}$
- Polynomial with infinitely many zeros.
- Existence of normal subgroups for a group of order $36$
- Let $\phi:G_1\to G_2$ be a group homomorphism. Show $\phi(g^{-1})=(\phi(g))^{-1}$.
- Why is “glide symmetry” its own type?
- Group $G$ of order $p^2$: $\;G\cong \mathbb Z_{p^2}$ or $G\cong \mathbb Z_p \times \mathbb Z_p$
- Unique factorization domain that is not a Principal ideal domain
- Generating the symmetric group $S_n$
- Showing that $X^2$ and $X^3$ are irreducible but not prime in $K$

Proving the tensor product of commutative $R$-algebras satisfies the universal property of the coproduct is straightforward, but it might be more illuminating to figure out the more general universal property of the tensor product of non-necessarily commutative $R$-algebras.

Let $A$, $B$ and $C$ be $R$-algebras, not necessarily commutative. Let’s compute $\mathrm{Hom}(A \otimes_R B, C)$, where $\mathrm{Hom}$ means morphisms of $R$-algebras. An $R$-algebra homomorphism $f : A \otimes_R B \to C$ is an $R$-linear map such that $$f(a_1 a_2 \otimes b_1 b_2) = f(a_1 \otimes b_1) f(a_2 \otimes b_2).$$

Let $g : A \to C$ and $h:B \to C$ be given by $g(a) = f(a \otimes 1)$ and $h(b) = f(1 \otimes b)$. Plugging in $b_1 = b_2 = 1$ to the displayed equation, we see that $g$ is an $R$-algebra homomorphism. Similarly $h$ is also an $R$-algebra homomorphism and $f$ is determined by $f(a \otimes b) = f((a \otimes 1)(1 \otimes b)) = g(a) h(b)$. But we can’t fully go backwards: if you start with $R$-algebras maps $g$ and $h$ and try to use this last formula to define an $f$, you find it is only well defined if $g(a)$ and $h(b)$ commute for any $a \in A$ and $b\in B$. Indeed, that is necessary because $(a \otimes 1)(1 \otimes b) = a \otimes b = (1 \otimes b) (a \otimes 1)$, so, applying $f$, we’d find $g(a) h(b) = f(a \otimes b) = h(b) g(a)$.

You can easily check that that commutativity is enough to make $f$ well defined when starting from $g$ and $h$ and thus we get the universal property of the tensor product:

$$ \mathrm{Hom}(A \otimes_R B, C) = \{ (g,h) \in \mathrm{Hom}(A,C) \times \mathrm{Hom}(B,C) : \forall a \in A, b \in B, g(a) \text{ and } h(b) \text{ commute}\}.$$

Clearly, if we restrict to the subcategory of *commutative* $R$-algebras, the commutation condition is automatic and this reduces to the universal property of the coproduct.

Notice that the situation in the category of groups is quite similar: the direct product of groups has a universal property analogous to this one for the tensor product, i.e., group homorphisms from $G \times H$ into $K$ are given by pairs of homomorphisms $G \to K$ and $H \to K$ whose images commute in $K$. The direct product of groups is also not the coproduct (that would be the free product of groups), but is the coproduct when you restrict to Abelian groups. (One place where this analogy breaks down is that the direct product of groups *is* the product of groups, but the tensor product of $R$-algebras is not the product.)

- Sum of the series $\sum_{n\geq1} \frac{P(n) \bmod Q(n)} {n^2}$
- If $a,b,c$ are positive integers, with $a^2+b^2-ab=c^2$ prove that $(a-b)(b-c)\le0$.
- decimal representation of $2^m$ starts with a particular finite sequence of decimal digits
- In the change-of-variables theorem, must $ϕ$ be globally injective?
- How to divide the money based on the below conditions?
- $W_1^\perp + W_2^\perp = (W_1 \cap W_2 )^\perp$: Can a set be a function? Can two such “functions” be composed?
- Theorem 6.12 (b) in Baby Rudin: If $f_1 \leq f_2$ on $$, then $\int_a^b f_1 d\alpha \leq \int_a^b f_2 d\alpha$
- What is finite in a finite model
- Sum of averages vs average of sums
- What is an efficient nesting of mathematical theorems?
- Degree of splitting field less than n!
- Finite-dimensional space naturally isomorphic to its double dual?
- Which statements are equivalent to the parallel postulate?
- How many arrangements of $\{a,2b,3c,4d, 5e\}$ have no identical consecutive letters?
- The Hexagonal Property of Pascal's Triangle