A ring $R$ is called to be 'Hopfian' if every ring homomorphism of $R$ onto $R$ is an automorphism of $R$
Question: Given $R$, $S$, $T$, Hopfian rings and $$R \times S \cong T \times S$$ implies that there exists an isomorphism $$R \cong T$$
Let $X1, X2, Y \in C$. According to product rule in Category theory for every object Y and pair of morphisms
$$f1 : Y \to X1, \space\space f2 : Y → X2$$
there exists a unique morphism $$f : Y → X1 × X2$$ where $f = <f_1, f_2>$
Given $f: R \times S \to T \times S$, therefore $f = <f_1, f_2>$ where $f_1: R \times S \to T$ and $f_2: R \times S \to S$. Since $S$ is Hopfian, therefore $f_2$ is an isomorphic function. I wonder if isomorphism of $f$ does implies isomorphism of $f_1$ and $f_2$. Also please let me know if this is the correct approach or should I look at it in some other way.
P.S: This is my first question on mathexchange, please help me correct any mistakes which I might have made over here.