added doctest to generators_of_subgroups_of_unit_group