19
$\begingroup$

In this question, The Chaz asks whether $G\times G\cong H\times H$ implies that $G\cong H$, where $G$ and $H$ are finite abelian groups. The answer is to his question is yes, by the structure theorem for finite abelian groups, as noted in the answer by Anjan Gupta.

Even though I don't know the first thing about categories -- except for the things that I do know -- I'm wondering if and how such property could be expressed and proven in terms of universal properties, without actually manoevring inside the objects. For instance one may attempt to create a morphism $G\to H$ somehow appealing to the universal property of $\oplus$, and subsequently show this morphism is an isomorphism by chasing diagrams. But it seems likely that the existence of a structure theorem of some sort will be required.

This question may be considered trivial or weird for someone who's fluent with categories, I don't know. This topic contains quite a few references. I haven't really worked through any of them (yet) but I couldn't find anything helpful at first sight.

-- edit, So a more precise title would have been "Under what conditions that can be expressed in a universal way does $G\oplus G\cong H\oplus H$ imply $G\cong H$ ?" but I don't like long titles.

-- edit2, By the comment by Alexei Averchenko, maybe It's more natural to ask this question with the product instead of the coproduct. An answer to my question with the 'real' product would be appreciated too, obviously.

  • 0
    Why the coproduct?2011-03-18
  • 0
    @Alexei: Well that may actually be a very good question to begin with... I guess any product would do, if it helps to understand the case of finite abelian groups.2011-03-18
  • 0
    I mean, why not ask about product if that's what your example is about? :)2011-03-18
  • 0
    It's a just remark, but as far as I know both notions coincide in the category of abelian groups. The problem is that it feel it's not true for groups in general with the product (even though I'm having trouble finding a counterexample right now) whereas it seems less insane when thinking about the free product. It's more a guess, really.2011-03-18
  • 0
    @Jonas: Yes I am aware of the fact. But this has everything to do with these object not being finitely generated which is a necessary condition for that structure theorem to exist. Because one way to answer my question would be to explain what such a structure theorem would look like in a categorical definition (therefore the existence of such theorem would exclude those objects from the category), I didn't really mention it.2011-03-18
  • 0
    @Myself: OK. I deleted my comment because it was actually based on a misreading of the question.2011-03-18
  • 0
    @Myself: This thread would also be helpful: http://math.stackexchange.com/questions/2193/cancellation-of-direct-products2011-03-18
  • 0
    @Chandru1: Thanks, It's helpful indeed. Finding a general setting with conditions for 'cancellation' and 'roots' to hold seem quite related problems. The comment below Bill Dubuque's answer by G. Paseman especially talks about nth roots and refers to Lovász, but I can't find any other reference.2011-03-18
  • 0
    I think it is useful to first consider the case when there is a natural isomorphism $X \oplus X \cong X \times X$, this would provide more arrows to work with. So far my investigations failed, though :(2011-03-18
  • 0
    These questions do *not* belong to category theory, since your obviously want to forget the whole data and restrict your attention to some "naked isomorphism" between two objects. A more natural question would be: Let $f : G \to H$ be a morphism such that $f \oplus f : G \oplus G \to H \oplus H$ is an isomorphism. Does it follow that $f$ is an isomorphism? I don't want to answer this here, think for yourself.2011-03-18
  • 0
    @Myself: Asked on MO: http://mathoverflow.net/questions/22899/non-isomorphic-groups-with-isomorphic-nth-powers-and-similarly-in-other-categor?rq=12016-08-21

1 Answers 1

21

Even in the category of all abelian groups, $G\oplus G\cong H\oplus H$ does not imply $G\cong H$: there are countably generated torsion free abelian groups $G$ such that $G\not\cong G\oplus G$, but $G\cong G\oplus G\oplus G$. Setting $H=G\oplus G$ gives an example where the implication does not hold. (The first examples were constructed by A.L.S. Corner, On a conjecture of Pierce concerning direct decompositions of abelian groups, Proc. Colloq. Abelian Groups (Tihany, 1963), Akadémiai Kiadó, Budapest, 1964, pp. 43-48; he proves that for any positive integer $r$ there exists a countable torsion free abelian group $G$ such that the direct sum of $m$ copies of $G$ is isomorphic to the direct sum of $n$ copies of $G$ if and only if $m\equiv n\pmod{r}$.)

Of course, the analogous result for direct products fails for groups, though it holds for groups having both chain conditions (by the Krull-Schmidt theorem).

The fact that you have categories with arbitrary coproducts/products (like the category of all groups and the category of all abelian groups) in which the result fails means that no proof via universal properties alone can exist. A proof that depended only the universal properties would translate into any category in which products/coproducts exist, but the result is false in general even for very nice categories.

Whether the conditions for the implication to hold can be expressed via universal conditions also seems to me to be doubtful. Universal conditions don't lend themselves easily to statements of the form "If something happens for $A$ and $B$, then it happens for $f(A)$ and $f(B)$" (where by "$f(-)$" I just mean "this other object cooked up or related to $A$ in some way") unless the construction/relation happens to be categorical.

  • 0
    Can you give a reference (or explanation) for how to construct the $G$ for which $G\not\cong G\oplus G$ but $G\cong G\oplus G\oplus G$?2011-03-18
  • 2
    @Anton: A reference, at least; I've added it.2011-03-18
  • 0
    Thanks. Googling around, it looks like the OP's question is one of "Kaplansky's test problems" which people like to ask in various categories. Another one is, "If $G$ and $H$ are direct summands of each other, are they isomorphic?" The $G$ produced in Corner's paper obviously answers this problem in the negative for abelian groups.2011-03-18
  • 0
    @Anton: Yes, there's a "family" of related questions. Also, "does $G\oplus H\cong G\oplus K$ imply $H\cong K$?"2011-03-18
  • 0
    @Arturo: thanks for your answer. But of course it fails for _all_ abelian groups, one can just rip $\bigoplus_{i\in\mathbb Z} \mathbb Z$ into pieces, as was remarked by Jonas Meyer in a deleted comment. (Your example is a lot funnier, admitted.) And to the cancellation problem, consider $A\oplus B\oplus A\oplus B\oplus \dots$, which is isomorphic to itself, itself +A and itself +B, also see topic in the comment by Chandru1 beneath the question. However, your last paragraph is what really interests me: what is the $f$ that you have? And what is the precise meaning of 'not easily'?2011-03-19
  • 0
    @Myself: In this case, your "A" and "B" are $G\oplus G$ and $H\oplus H$, and by "$f(A)$" I just meant "something related to $A$ in some manner" (in this case, from $G\oplus G$ to $G$). The key here is that if going from $A$ to $f(A)$ can be described categorically, then you have a chance, but when the relation is more general it is very hard to state in terms of universal properties. Here, the "categorical direction" really goes the *wrong* way, from $G$ and $H$ to $G\oplus G$ and $H\oplus H$, where you are trying to go in the "noncategorical" direction (noncat since it doesn't work always).2011-03-19
  • 0
    @Arturo: Yes indeed, it does go the wrong way. Once you got from $G$ to $G\oplus G$ it seems like you're trapped :-) There is some sort of 'lack of arrows', which is why we would need 'natural' extra assumptions that allow us to reverse the arrow. For instance the assumption by Alexei Averchenko of a natural isomorphism between $G\oplus G$ and $G\times G$. Maybe we're just trapped. [Btw I like your answer but I'm waiting a while to accept, just to hear some more thoughts on the subject first maybe.]2011-03-19
  • 0
    @Myself: Unfortunately, the components of a product are not categorically defined either (there are, in general, automorphisms of $G\times G$ that "scramble" the coordinate subojects), so I even that will likely not help (and of course, the fact that it fails in abelian groups, where they agree, tells you there is something more-than-categorical going on).2011-03-19
  • 1
    It may be useful to note that Corner gives another proof of the result in a paper in BAMS that is freely available [here](http://www.ams.org/journals/bull/1969-75-01/S0002-9904-1969-12150-6/).2013-08-18
  • 0
    Could you please give a reference for a proof when $G$ satisfies both ACC and DCC?2014-05-03