Кто первым доказал, что группа Лжи неизменна при преобразовании? Это был бы математик по имени Герман Вейль, который доказал, что совокупность всех матриц, сохраняющих внутренний продукт двух векторов, является группой Лжи.