(cf.アーベル群のランク。