Extremal ideals and their form rings