Выдержка из книги
Шевалле К.N.
Теория групп ли Ч.2
Ясно, что А - векторное подпространство алгебры А. Мы покажем, что А - подалгебра; так как, согласно нашему условию, Sa А, то из этого будет следовать, что А А, и предложение 11 будет тем самым доказано.