Finite groups

A finite group is a mathematical structure in the field of abstract algebra that consists of a set of elements equipped with a binary operation (often called group operation) that satisfies four key properties: closure, associativity, identity, and invertibility. Specifically, a group \( G \) is called finite if it contains a finite number of elements, which we denote as \( |G| \) (the order of the group).