пианистЯ не знаю теорию групп((
Я думаю она не нужна при решении этой задачи, а то что Вы написали наверное можно выразить более простым языком для неподготовленного разума (меня)
Цитата:
Про движения, извиняюсь, не понял.
Насчет движений, давайте с другой стороны зайдем. 4-вектор это не просто 4 ничем не связанные числа, а такие, которые преобразуются при переходе от одной системе отсчета к другой (повороте в плоскости

) по заданному закону. Мы где-то используем этот факт ?
У этой задачи есть обобщение: Доказать что по отношению к чисто пространственным поворотам девять компонент

составляют трехмерный тензор. Три компоненты

и

составляют трехмерные векторы, а компонента

это трехмерный скаляр