1
$\begingroup$

The exercise is: Let $G$ be an abelian group containing a subset $X = \left\{ x_1 , \ldots , x_n \right\}$ and suppose for every abelian group $H$ and every function $\gamma : X \rightarrow H$ there exists a unique homomorphism $\tilde{\gamma} : G \rightarrow H $ such that $\tilde{\gamma} \left(x_j\right) = \gamma \left(x_j \right)$ for every $j$. Show that $G$ is free abelian of rank $n$.

Now, it should be sufficient to show that $X$ is the basis, but how would I go about doing this? I tried using $X$ to generate $\sum_{x \in X} \mathbb{Z}$, a direct sum, and finding an isomorphism back to $G$, but without success. I'm sure that $\tilde{\gamma} \left(x_j\right) = \gamma \left(x_j \right)$ is quite important, though I don't see how it fits into the puzzle at all.

Any help at all is much appreciated. Thank you.

1 Answers 1

1

You can pretty much do what you described. Notice $\sum_{x \in X} \cong \mathbb{Z}^n$ (In fact, they're pretty much the same.)

Show that $\mathbb{Z}^n$ with $X'=\{e_1,\ldots,e_n\}$ has the same universal property: Every map into a group $H$ given only on the base $X'$ can be uniquely extended to a group homomorphism $\mathbb{Z}^n \to H$. Then try to show that any two such groups with this universal property are isomorphic, or maybe just do that very special case, to conclude $G \cong \mathbb{Z}^n$.

This you can indeed do by constructing a homomorphism $G \to \mathbb{Z}^n$ using the universal property with the obvious choice of an image of $X$. Then you can use the universal property of $\mathbb{Z}^n$ to find a morphism back.

Look at the compositions of these morphisms $G \to \mathbb{Z}^n \to G$ and $\mathbb{Z}^n \to G \to \mathbb{Z}^n$ and the images of $X$ and $X'$. Again you can work with the universal property to show that the morphisms you defined are inverse.

  • 0
    Ignore the previous question - it was written before your edit showed up. I'll give that a try and report back with any issues. Thank you very much.2012-10-10
  • 1
    You mean $X \to \mathbb{Z}^n$ since $X \subseteq G$, right? And yes, that would be a neat choice. Mapping a base to base. I mean, you have bases $X = \{x_1, \ldots, x_n\} \subseteq G$ and $X' = \{e_1, \ldots, e_n\} \subseteq \mathbb{Z}^n$. If you were to construct $\gamma\colon X \to \mathbb{Z}^n$ and $\delta \colon X' \to G$ to eventually get inverse group homomorphisms $\tilde\gamma$ and $\tilde\delta$ – what could you possibly do? Edit: Ok, I'll check later.2012-10-10
  • 0
    So am I constructing $\gamma$ and $\delta$ as homomorphisms? Say $\gamma(x_i) = z_i e_i$ for $z_i \in Z$ and $e_i \in X'$, and $\delta (e_i) = g_j x_j$ with $g_j \in G$ and $x_j \in X$? EDIT: Oh wait, I think I see. Even if $\gamma$ and $\delta$ are just functions, then there exist unique homomorphisms $f : G \rightarrow \mathbb{Z}^n$ and $g : \mathbb{Z}^n \rightarrow G$. So then I want to show that $g \circ f$ and $f \circ g$ are inverses?2012-10-10
  • 1
    I'm not sure, what you mean. Strictly speaking, $\gamma \colon X \to \mathbb{Z}^n$ and $\delta \colon X' \to G$ are no group homomorphisms, because $X$ and $X'$ are no groups. You construct them to get – by the universal property – _extensions_ to group homomorphisms $\tilde\gamma\colon G \to \mathbb{Z}^n$ and $\tilde\gamma\colon \mathbb{Z}^n \to G$ which are inverse and satisfy $\gamma (x_i) = \tilde\gamma (x_i)$ and $\delta (e_i) = \tilde\delta (e_i)$ $\forall i = 1, \ldots , n$. Edit: Yes, for $f = \tilde\gamma$ and $g = \tilde\delta$.2012-10-10
  • 1
    But, you have not given a definition of $\gamma$ and $\delta$, because: which $z_i$ and which $g_j$ would you use? They haven't been defined yet. But, I'd leave out them anyway. ; - )2012-10-10
  • 0
    Two more questions, and then I think I might have it. Did you mean to label both $G \rightarrow \mathbb{Z}^n$ and $\mathbb{Z}^n \rightarrow G$ as gammas in your second-to-last line? The second should be $\bar{\delta}$, right? This may be a set theory thing, but does $(f \circ g) = (g \circ f)^{-1}$ imply that $f = g^{-1}$?2012-10-10
  • 1
    EDIT: YES, I meant $\tilde\delta$, sorry. However, I used the tilde to denote the extension, just adepting your notation from your question. You want to show that $f \circ g = \mathrm{id}_{\mathbb{Z}^n}$ and $g \circ f = \mathrm{id}_G$. (But I wouldn't use $g$ for the map while there is a group $G$ on the scene, but instead the tilde versions of $\gamma$ and $\delta$.) And no, it doesn't, but you don't need that.2012-10-10
  • 0
    (Sorry, laptop battery died. I'm back). I wouldn't use f or g in my proof, I was just throwing out functions for the sake of the question. Thanks again for all of your help. Is there any way I can send you 23845274253523984 upvotes (or whatever we use here on SE) for putting up with me for the past hour?2012-10-10
  • 0
    Dude, no problem. I'm just procrastinating anyway. If not for you, I probably just would have watched some stupid youtube videos.2012-10-10