A complex subgroup definition

This page is being updated from a version on the original website.

You can find an earlier version of this page on my original website.