File:V4latticeofsubgroups.png

Created using Graphviz with the following code:

digraph G{       rankdir = "BT"; Wholegroup[peripheries=2,label="{e,a,b,c}, whole group"]; Trivialsubgroup[peripheries=2,label="{e}, trivial"]; ea[label="{e,a}, cyclic of order 2"]; eb[label="{e,b}, cyclic of order 2"]; ec[label="{e,c}, cyclic of order 2"]; Trivialsubgroup -> ea -> Wholegroup; Trivialsubgroup -> eb -> Wholegroup; Trivialsubgroup -> ec -> Wholegroup; }