Добрый вечер! Помогите пожалуйста решить задачу
Дана алгебра

(невырожденные матрицы 2 на 2 над множеством действительных чисел с умножением)
Определить, будет ли следующее отношение конгруэнтностью в этой алгебре:

матрица

является ортогональной
Свойства эквивалентности я проверил, они выполняются. Но как проверить согласованность с умножением, не могу понять.