어떤 군의 presentation이
generators : a,b,c
relation : a b^-1 a^-1 b^-1 c b^-1 c^-1이면

이 군의 abelianization은 ZxZxZ_3와 동형 맞나요?