0
$\begingroup$

Let $G$ be an abelian group which does not have a maximal subgroup. Does it follow that $G$ is a $\mathbb{Q}$-algebra?

It is easy to see that $\mathbb{Q}$-algebras do not admit any maximal subgroups. I am looking for an example which is not of this kind. If such an example does not exist, it would be nice to see a proof that $\mathbb{Q}$-algebras are the only ones with this property.

$\endgroup$
3
  • 4
    $\begingroup$ Maybe maximal subguroup means maximal proper subgroup and Q-algebra means Q-vector space? With these interpretations the answer is no: Q/Z has no maximal proper subgroup, and is not a Q-vector space. $\endgroup$
    – Emerton
    Jan 28, 2010 at 15:57
  • 1
    $\begingroup$ Thanks. Now perhaps it's time to close the question? $\endgroup$ Jan 28, 2010 at 16:01
  • $\begingroup$ What if one requires in addition that $G$ has no torsion? $\endgroup$
    – Anweshi
    Jan 28, 2010 at 16:09

1 Answer 1

7
$\begingroup$

Assuming that by a $\mathbb{Q}$ algebra you mean a $\mathbb{Q}$ vector space, the abelian groups that admit a $\mathbb{Q}$ - vector space structure are precisely the divisible torsion-free abelian groups, i.e. torsion-free abelian groups A such that $\forall$ $x\in A, n\in \mathbb{N}$, $\exists$ $y\in A$ s.t. $ny=x$. The condition is clearly necessary, and for sufficiency, consider the canonical mapping of $A$ into $\mathbb{Q}\otimes_{\mathbb{Z}}A$. This will be an isomorphism precisely when $A$ satisfies the above mentioned condition.

As for the question regarding maximal subgroups, one can show that an abelian group has no maximal subgroups if and only if it is divisible, in the sense mentioned above. If a group is not divisible, then there will exist a prime $p$ such that $pA$ is a proper subgroup of $A$; we can then use the fact that $A/pA$ is a vector space over $\mathbb{Z}/p\mathbb{Z}$ to pick out a maximal subgroup. On the other hand, maximal subgroups in abelian groups must always be of finite (in fact prime) index. Thus, if we have a maximal subgroup $B$ in $A$, of index $p$, then $pA\subseteq B$. However, by divisibility, $pA=A$, a contradiction.

$\endgroup$
1
  • $\begingroup$ Summing up: torsion-free abelian groups without maximal subgroups, and $\mathbb{Q}$-vector spaces are one and the same thing. Thanks a lot for the answer. This had me thinking for a long time. $\endgroup$
    – Anweshi
    Jan 28, 2010 at 21:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.