索引 – N normal subgroups group number field class_number cyclotomic database discriminant integral basis
索引 – N normal subgroups group number field class_number cyclotomic database discriminant integral basis