Rank-complement subgroup existence

82 Views Asked by At

Let $G$ be a finitely generated Abelian group. For each subgroup $H$ of $G$, does there exist another subgroup $K$ of $G$ such that $\text{rank}(G)=\text{rank}(H)+\text{rank}(K)$ and $\text{rank}(H\cap K) = 0$?


Edit: For background, given two subgroups $H$ and $K$ of $G$, we say that $K$ is a complement of $H$ in $G$ if $G=H+K$ and $H\cap K = \{ 0 \}$; generally, given $H$, a complement of $H$ in $G$ may not exist, e.g., take the subgroup $H=2\mathbb{Z}$ of the group $G=\mathbb{Z}$. My question concerns a weaker notion, a 'rank-complement'.

1

There are 1 best solutions below

1
On

Yes.

The structure theory of finitely generated Abelian groups tells us that $G$ can be written as a sum of subgroups $G = M + T$, where $M$ is torsion-free and $T$ is finite; it follows that $\text{rank}(M)=\text{rank}(G)$. Now $U = H \cap M$ is also torsion-free with $\text{rank}(U)=\text{rank}(H)$ since the intersection only removes torsion elements. Thus, $U$ admits a basis $B_U$ which can be augmented to obtain a basis $B_V$ of some subgroup $V$ of $M$ with $\text{rank}(V)=\text{rank}(M)$; therefore, the subgroup $K$ spanned by $B_K = B_V \setminus B_U$ is a complement of $U$ in $V$, so $\text{rank}(K)=\text{rank}(V)-\text{rank}(U)$. Putting this all together, $\text{rank}(G) = \text{rank}(V)=\text{rank}(U)+\text{rank}(K)=\text{rank}(H)+\text{rank}(K)$, and $H\cap K = U \cap K = \{0\}$, so $\text{rank}(H \cap K)=0$.