0
$\begingroup$

$$\begin{array}{ccccccccc} &&0&&0&&0\\ &&\downarrow &&\downarrow && \downarrow\\ 0 & \to & \mathbb{Z}_2\{a\} & \to & \mathbb{Z}_2\{a\} & \to & 0 & \to & 0\\ & &\downarrow & & \downarrow &&\downarrow\\ 0&\to&\mathbb{Z}_2\{a\}\oplus\mathbb{Z}_2\{b\} & \xrightarrow{f} & G & \xrightarrow{g} & \mathbb{Z}_2\{c\} & \to & 0\\ &&\downarrow & &\downarrow & & \downarrow\\ 0 & \to & \mathbb{Z}_2\{b\} & \xrightarrow{h} & \mathbb{Z}_2\{y\}\oplus\mathbb{Z}_2\{z\} & \xrightarrow{i} & \mathbb{Z}_2\{c\} & \to &0\\ &&\downarrow && \downarrow &&\downarrow\\ &&0 && 0 && 0 \end{array}$$

where $\mathbb{Z}_2\{a\}$ means that $a$ generates $\mathbb{Z}_2$ and $y=h(b)$ and $i(z)=c$.

In the diagram, first and third rows are split and first and third columns are split.

Then second row($0 \to \mathbb{Z}_2 \oplus \mathbb{Z}_2 \to G \to \mathbb{Z}_2 \to 0$) or second column($0 \to \mathbb{Z}_2 \to G\to \mathbb{Z}_2 \oplus \mathbb{Z}_2 \to 0$) is split? Or $G$ is isomorphic to $\mathbb{Z}_4 \oplus \mathbb{Z}_2$?

  • 0
    I don't think xymatrix is supported by MathJax.2012-03-03
  • 1
    `xymatrix` doesn't work here at present. Some alternatives that do work are discussed in [this meta thread](http://meta.math.stackexchange.com/questions/2324/how-to-draw-a-commutative-diagram).2012-03-03
  • 2
    I think this is what the diagram was meant to be; if it is not, please correct it appropriately.2012-03-03
  • 1
    I think you *can* have $G$ be $\mathbb{Z}_2\oplus\mathbb{Z}_4$: let the maps in the first column be the embedding into the second component followed by the corresponding projection; the nontrivial map in the first row is the identity. The embedding in the middle column maps $\mathbb{Z}_2$ to the subgroup $\langle (0,2)\rangle$ of $\mathbb{Z}_2\oplus\mathbb{Z}_4$; the embedding in the middle row maps $(1,0)$ to $(1,0)$ and $(0,1)$ to $(0,2)$.2012-03-03
  • 0
    @user: Have you tried assuming $G \cong \mathbb{Z}_4 \oplus \mathbb{Z}_2$ directly solving for the maps? (And similarly for $G \cong \mathbb{Z}_2 \oplus \mathbb{Z}_2 \oplus \mathbb{Z}_2?$) In the first case, start by choosing a map $G \to \mathbb{Z_2}$ (there are only two possibilities), and the rest of the diagram pretty much fills itself in. I'm sure the latter is consistent too. (in particular, that this diagram doesn't uniquely determine $G$)2012-03-03
  • 0
    @Margidin: If $G\simeq \mathbb{Z}_2 \oplus \mathbb{Z}_2 \oplus \mathbb{Z}_2$, is there a contradiction??2012-03-03
  • 0
    @Hurkyl: Yes. But I don't have a contradiction.2012-03-03
  • 1
    Right, that's the point; both are possible. Your diagram doesn't determine $G$.2012-03-03
  • 0
    @user26170: Yes, both are possible; the direct sum is certainly possible, the question was whether the non-split case was possible. It is. And please don't e-mail me with questions that you are asking here.2012-03-03

1 Answers 1