O espaço SL(2,R) é o conjunto das matrizes 2x2 reais com uma propriedade muito útil: têm determinante 1. Já neste milénio, descobriu-se uma forma sucinta de caracterizar qualquer par de matrizes comutativas deste grupo à custa de conjugações simultâneas com formas canónicas de Jordan. A pergunta impõe-se: será que podemos adaptar este critério para outros grupos de matrizes? Descubra a resposta no Seminário Diagonal!