12번 (b) 마지막부분인 M1≈M2이면 M1과 M2는 같은 elementary divisor들의 집합을 갖는다는걸 증명하는중인데 감이 안잡히네..
일단 그전에 증명해야할건 다 증명은 한 상태임

M1을 분해해서 얻어진 elementary divisor form에서 임의로 prime p를 잡고 각 k>=0에 대해 a>=k인 a에 대한 p^a가 가 M1와 M2에서 같은 갯수만큼 나오는걸 이용하는거같은데 구체적으로 어떻게 풀어가야할지 모르겠음 구체적으로 설명가능한 사람 있음?

완전히 설명은 안해줘도 되니까 힌트라도 주면 좋겠네

- dc official App