Intereting Posts

how to be good at proving?
Show that an infinite number of triangles can be inscribed in either of the parabolas $y^2=4ax$ and $x^2=4by$ whose sides touch the other parabola.
question related with cauch'ys inequality
Prove that the identity map $(C,d_1) \rightarrow (C,d_\infty)$ is not continuous
how to define the composition of two dominant rational maps?
$2\mathbb Z$ is not a definable set in the structure $(\mathbb Z, 0, S,<)$
What do higher cohomologies mean concretely (in various cohomology theories)?
Does Riemann integrable imply Lebesgue integrable?
Reformulation of Goldbach's Conjecture as optimization problem correct?
What do cycle decompositions mean?
Find $\frac{d}{dx}\left(f_1(x)f_2(x)\cdots f_n(x)\right)$.
Calculating run times of programs with asymptotic notation
A set $A \subseteq \mathbb{R}$ is closed if and only if every convergent sequence in $\mathbb{R}$ completely contained in $A$ has its limit in $A$
How can I prove formally that the projective plane is a Hausdorff space?
Reflected rays /lines bouncing in a circle?

I just learned from Wikipedia that coproduct of two (commutative) rings is given by tensor product over integers, and that coproduct of a family of rings is given by a “construction analogous to the free product of groups.” Can the tensor product approach be generalized to an arbitrary family of rings? (Infinite tensor product?) I’m a little surprised that coproduct of commutative rings requires noncommutative structure (free group). Does someone have a reference which explicitly constructs the coproduct?

- if $\Omega=\{1,2,3,\cdots \}$ then $S_{\Omega}$ is an infinite group
- Find the subgroups of A4
- Field and Algebra
- Rotman's exercise 2.8 “$S_n$ cannot be imbedded in $A_{n+1}$”
- $W_1^\perp + W_2^\perp = (W_1 \cap W_2 )^\perp$: Can a set be a function? Can two such “functions” be composed?
- How many irreducible polynomials of degree $n$ exist over $\mathbb{F}_p$?
- Homomorphism from $\mathbb{Q}/ \mathbb{Z}\rightarrow \mathbb{Z}/n\mathbb{Z}$
- What Euclidean functions can the ring of integers be endowed with?
- If $$ and $$ are relatively prime, then $G=HK$
- Intuition for groups

Your question is mildly ambiguous, so let’s separate the statements for the categories of commutative rings and rings.

The infinite coproduct of commutative rings in $\text{CRing}$ is *not* given by an infinite tensor product, the reason being intuitively that you can only multiply finitely many elements of a ring at a time and infinite tensor products deal with attempting to multiply infinitely many things at a time. It is in fact given by a filtered colimit of finite tensor products. More precisely, let $A_i, i \in I$ be an indexed family of commutative rings, and for every finite subset $J$ of $I$ consider the tensor product $A_J = \bigotimes_{i \in J} A_i$. Then the infinite coproduct $\bigsqcup_i A_i$ is the filtered colimit of the $A_J$ equipped with all inclusion maps $A_{J_1} \to A_{J_2}$, where $J_1 \subset J_2$. The inclusion maps look like this:

$$a_{i_1} \otimes … \otimes a_{i_n} \to a_{i_1} \otimes … \otimes a_{i_n} \otimes 1_{A_{i_{n+1}}} \otimes … \otimes 1_{A_{i_m}}$$

where $|J_1| = n$ and $|J_2| = m$.

The infinite coproduct of rings in $\text{Ring}$ is an infinite free product. As an abelian group, it is constructed similarly to the above; for an indexed family $A_i, i \in I$ of rings it consists of a filtered colimit (of abelian groups!) of finite tensor products (as abelian groups!) of the $A_i$ where we can repeat factors (due to the fact that we cannot assume that the images of $A_i$ and $A_j$ commute in general). The multiplication is given by concatenation. I don’t know a reference for the construction but it consists more or less in following one’s nose. When in doubt, always refer back to the universal property.

In particular, the functor $\text{CRing} \to \text{Ring}$ does not preserve coproducts; the phrase “coproduct of commutative rings” has a different meaning depending on whether you want to take the coproduct in $\text{CRing}$ or in $\text{Ring}$ because the corresponding universal properties are different.

- Is trace of regular representation in Lie group a delta function?
- How to properly apply the Lie Series
- Quotient objects, their universal property and the isomorphism theorems
- Number of functions $f:\times\rightarrow$
- What is contour integration
- The unique loop $L$ (quasigroup with unit) of order $5$ satisfying $x^2 = 1$ for all $x \in L$
- Convex hull of extreme points
- Is there a Dihedral group of order 4?
- Diophantine equation $x^2+y^2+1=xyz$
- Why are they called “Isothermal” Coordinates?
- Integral equation solution: $y(x) = 1 + \lambda\int\limits_0^2\cos(x-t) y(t) \mathrm{d}t$
- Characterize the integers $a,b$ satisfying: $ab-1|a^2+b^2$
- “Classify $\mathbb{Z}_5 \times \mathbb{Z}_4 \times \mathbb{Z}_8 / \langle(1,1,1)\rangle$”
- Find the summation $\frac{1}{1!}+\frac{1+2}{2!}+\frac{1+2+3}{3!}+ \cdots$
- Applications of the formula expressing roots of a general cubic polynomial