I don't understand this proof, specifically the part in red, I don't understand. Please help me understand this step in the proof. Thanks!(adsbygoogle = window.adsbygoogle || []).push({});

Let Tors be the category whose objects are torsion abelian

groups; if [tex]A[/tex] and [tex]B[/tex] are torsion abelian groups, we deﬁne [tex]\text{Mor}_{\text{\textbf{Tors}}}(A, B)[/tex] to

be the set of all (group) homomorphisms [tex]\phi : A \rightarrow B[/tex]. Prove that direct

products exist in Tors; that is, show that given any indexed family [tex]{A_i}_{i \in I}[/tex]

where each [tex]A_i [/tex] is a torsion abelian group, there exists a torsion abelian group

which serves as a direct product for this family in Tors.

Proof- Let [tex]T[/tex] be the torsion subgroup (that is, the subgroup of elements of ﬁnite

order) of [tex]P = \prod_{i \in I} A_i = \{f : I \rightarrow A_i : f(i) \in A_i \text{ } \forall i\}[/tex]; here of course

[tex]P[/tex] is the direct product of [tex]\{A_i\}_{i \in I}[/tex] in the category Ab. Let [tex]j : T \rightarrow P[/tex] be

the inclusion and for each [tex]i \in I[/tex], let [tex]\pi_i : P \rightarrow A_i[/tex] denote the usual projection

map; that is, [tex]\pi_i(f) = f(i)[/tex]. (In coordinate notation, [tex]\pi_i(a_0, a_1, \ldots) = a_i[/tex].)

For each [tex]i \in I[/tex] deﬁne [tex]\tau_i : T \rightarrow A_i[/tex] by [tex]\tau_i = \pi_i * j[/tex]. I claim that the group

[tex] T[/tex] together with the maps [tex]\{\tau_i\}_{i \in I}[/tex] constitute a direct product for [tex]A_{i \in I}[/tex] in

Tors. Well, given a torsion group [tex]S[/tex] and maps [tex]\sigma_i : S \rightarrow A_i[/tex] for each [tex]i \in I[/tex],

one deﬁnes [tex]h : S \rightarrow T[/tex] as follows: given [tex]s \in S[/tex], let [tex]h(s) \in T[/tex] be the function

deﬁned by [tex]\color{red}{[h(s)](i) = \sigma_i(s)}[/tex]. Then clearly [tex]\tau_i * h = \sigma_i \text{ } \forall i \in I[/tex]. Moreover,

if [tex]h' : S \rightarrow T[/tex] is any other map such that [tex]\tau_i * h' = \sigma_i[/tex], then for any [tex]s \in S[/tex] and

[tex] i \in I[/tex], [tex]\color{red}{[h(s)](i) }= (\tau_i * h)(s) = \sigma_i(s) = (\tau_i * h')(s) = \color{red}{[h'(s)](i)}[/tex], so [tex]h = h'[/tex].

I don't understand what [tex]\color{red}{[h(s)](i) = \sigma_i(s)}[/tex] is.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Help w/ Proof in Category Theory

**Physics Forums | Science Articles, Homework Help, Discussion**