Intereting Posts

Example of a function $f$ which is nowhere continuous but $|f|$ should be continuous at all points
How are the pigeonholes calculated in this pigeon-hole problem?
How long will it take Marie to saw another board into 3 pieces?
Equivalent condition for non-orientability of a manifold
Lebesgue Spaces and Integration by parts
Every infinite Hausdorff space has an infinite discrete subspace
Why did no student get the correct answer?
Is $\lor$ definable in intuitionistic logic?
Is ${\mathbb Z} \times {\mathbb Z}$ cyclic?
Integration of Gaussian process
Probability in multiple choice exams
Can a polynomial size CFG over large alphabet describe a language, where each terminal appears even number of times?
Evaluate $\lim_{x→0}\left(\frac{1+\tan x}{1+\sin x}\right)^{1/x^2} $
Rounding to nearest
very simple conditional probability question

Wikipedia says

“The coproduct in the category of sets is simply the disjoint union with the maps ij being the inclusion maps. Unlike direct products, coproducts in other categories are not all obviously based on the notion for sets, because unions don’t behave well with respect to preserving operations (e.g. the union of two groups need not be a group), and so coproducts in different categories can be dramatically different from each other. For example, the coproduct in the category of groups, called the free product, is quite complicated.”

I am wondering, is it correct to say that the free product of groups is the group generated by the disjoint union of the summands with no relation? Therefore it is similar to the coproduct in the category of sets, where the coproduct is the set generated by the disjoint unions of the summands (the disjoint union itself). And in the category of abelian groups, is it correct to say the coproduct (the weak direct sum) is the abelian group generated by the disjoint union of the groups?

- What is special about simplices, circles, paths and cubes?
- Is duality an exact functor on Banach spaces or Hilbert spaces?
- Uncountable product in the category of metric spaces.
- What is the class of topological spaces $X$ such that the functors $\times X:\mathbf{Top}\to\mathbf{Top}$ have right adjoints?
- what is a faithfully exact functor?
- Co/counter variancy of the Yoneda functor

- Finding the minimal $n$ such that a given finite group $G$ is a subgroup of $S_n$
- Relationship between the cardinality of a group and the cardinality of the collection of subgroups
- What are the epimorphisms in the category of Hausdorff spaces?
- On the commutator subgroup of a group
- $\frac{SU(2)}{N}= U(1) \times Z_2$. Find $N$?
- Normal products of groups with maximal nilpotency class
- How different can equivalent categories be?
- What is the order of $(\mathbb{Z} \oplus \mathbb{Z})/ \langle (2,2) \rangle$ and is it cyclic?
- A semigroup with identity having exactly one idempotent is a group
- What does **Ens** stand for?

The union of the two groups involved in a free product is not quite disjoint $-$ they have to share the same identity element. But otherwise yes, $G*H$ is the free group on $G\cup H$ modulo $1_G=1_H$ and the multiplication tables already in place for $G$ and $H$. Indeed if $G=\langle X|R\rangle$ and $H=\langle Y|S\rangle$ are presentations with $X,Y$ disjoint (by fiat) then $G*H=\langle X\cup Y|R\cup S\rangle$.

In the category of abelian groups the coproduct is the direct sum. This can be obtained from the free product by imposing commutativity: (assuming $G,H$ commutative) we can interpret $G,H$ themselves as subgroups of $G*H$, and we have $G\oplus H= (G*H)/[G,H]$. This is indeed the most free abelian group generated by $G\cup H$ (modulo $1_G=1_H$).

- Calculate $x$, if $y = a \cdot \sin{}+d$
- Lebesgue Dominated Convergence example
- A number $N$ is a $k$-nacci number if and only if …
- Inverse of elliptic integral of second kind
- $a+b\sqrt{-3}$ and $a-b\sqrt{-3}$ are coprime in $\mathbb{Z}+ \omega \mathbb{Z}$
- Problem of Graph connectivity with degree sequences
- On the proof $\tan 70°-\tan 20° -2 \tan 40°=4\tan 10°$
- Sum of odd prime and odd semiprime as sum of two odd primes?
- Basic Question about notation in the space of continuous functions
- The set of lines in $\mathbb{R}^2$ is a Möbius band?
- Solving recurrence relation?
- Given $d \equiv 5 \pmod {10}$, prove $\mathcal{O}_{\mathbb{Q}(\sqrt{d})}$ never has unique factorization
- Unprovable statements in ZF
- Pairs of points exactly $1$ unit apart in the plane
- Bounded variation, difference of two increasing functions