アベリアン群の決定と性質