Planar groups

Abstract

In abstract algebra courses, teachers are often confronted with the task of drawing subgroup lattices. For purposes of instruction, it is usually desirable that these lattices be planar graphs (with no crossings). We present a characterization of abelian groups with this property. We also resolve the following problem in the abelian case: if the subgroup lattice is required to be drawn hierarchically (that is, in monotonic order of index within the group), when is it possible to draw the lattice without crossings?