さらに、有限アーベル群 "g" の部分群 "h" に対し、"g"^の部分群 "h"*を、