Structure theorem for finite abelian groups