З цих умов слідує, що кожна група містить тотожне перетворення (ідемпотент) Наприклад, обертання твердого тіла навколо початку координат утворюють компатну групу Лі із двусторонньою інваріантною метрикою.