Є одиничний елементE∈G такий, щоEA=AE=A для всіхA∈G. Для довільного елемента A скінченноїG форми послідовність:A,A2,A3⋯, нех...Є одиничний елементE∈G такий, щоEA=AE=A для всіхA∈G. Для довільного елемента A скінченноїG форми послідовність:A,A2,A3⋯, нехай числа різних елементів у послідовності будуть p Це легко показатиAp=E. Буває, що елементи двох груп, визначених в різних понятійних термінами, знаходяться в одному відношенні один до одного і підкоряються одним і тим же правилам множення.