Supongamos que se nos da una operación∗ sobre un conjuntoG y que(G,∗) satisfaga ciertos requisitos -es decir, que se forma como grupo- que incluyen tener un elemento de identidad\(e...Supongamos que se nos da una operación∗ sobre un conjuntoG y que(G,∗) satisfaga ciertos requisitos -es decir, que se forma como grupo- que incluyen tener un elemento de identidade. El orden de un elementog es el entero positivo más pequeñok tal queg∗g⋯g, repetidosk veces y generalmente escritogk, es iguale.
