Tag Info

Accepted

(renamed) Torsion free group has finite commutator subgroup iff abelian

As Ycor points out this question is easy: A torsion free group (Wang or otherwise) is abelian if and only if its commutator subgroup is finite. For the first direction, abelian implies trivial ...
• 4,138
1 vote
Accepted

S.E.S.'s in an Abelian Category

First of all, note that $(k \circ \ell) \circ f = k \circ h = 0$. Therefore, by $g$ being a cokernel of $f$, there exists a unique morphism $s : X \to Y$ such that $s \circ g = k \circ \ell$. ...
• 16.3k
1 vote

• 25.5k
1 vote

In a 3x3 diagram of modules, if the first two rows are split exact, is the third row also split?

I think for your first question, that square always commutes. Since $L$ is a coproduct in an abelian category, we can use its universal property. The map $L' \to L$ in your diagram and the section map ...
• 16.4k

Top 50 recent answers are included