1
$\begingroup$

I want to prove the following:

Let $G$ be a finite abelian $p$-group that is not cyclic. Let $L \ne {1}$ be a subgroup of $G$ and $U$ be a maximal subgroup of L then there exists a maximal subgroup $M$ of $G$ such that $U \leq M$ and $L \nleq M$.

Proof. If $L=G$ then we are done. Suppose $L \ne G$ . Let $|G|=p^{n}$ then $|L|=p^{n-i}$ and $|U|=p^{n-i-1}$ for some $0. There is $x_{1} \in G$ such that $x_{1} \notin L$. Thus $|U\langle x_{1}\rangle|=p^{n-i}$ and does not contain L. There is $x_{2} \in G$ such that $x_{2} \notin L$ and $x_{2} \notin |U\langle x_{1}\rangle|$. Thus $|U\langle x_{1}\rangle\langle x_{2}\rangle|=p^{n-i+1}$. Continuing like this, we get $|U\langle x_{1}\rangle \langle x_{2}\rangle\cdots \langle x_{i}\rangle|=p^{n-1}$ is a maximal subgroup of $G$. The problem is, I am not sure that this subgroup does not contain $L $.

Thanks in advance.

  • 1
    Let $G=C_4$, $L=\langle 2\rangle$, $U=\langle 0\rangle$. What maximal subgroup of $G$ will you pick that does not contain $L$?2012-05-25
  • 3
    It's false even with $G$ non-cyclic. Take $G = \langle x \rangle \oplus \langle y \rangle$ with $2x=4y=0$, $L=\langle x,2y \rangle$, $U = \langle x \rangle$.2012-05-25
  • 0
    You need the condition $G/U$ *not* cyclic.2012-05-25

1 Answers 1