2. (a) Seja G um grupo abeliano e considere O subconjunto T(G) = {a E G : o(a) < ∞}. Mostre que T(G) é um subgrupo de G. (b) Seja G O grupo multiplicativo das matrizes 2 x 2 invertíveis com entradas racionais. Mostre que a= (i⁻¹) -1 tem ordem 4, b = ( -1 0 -1 1 ) tem ordem 3, e ab tem ordem infinita. Por que este exemplo não contradiz O item (a)?