The least positive integer n such that the n-fold product (or sum in additive notation) of an element in a group equals the identity; if no such positive integer exists the element is said to have infinite order.

Principle

The order measures the smallest positive period of iteration of an element under the group operation and generates a cyclic subgroup whose cardinality equals that order when finite.

Demonstration

In the additive group Z/12Z the residue class of 3 has order 4 because 4·3 ≡ 0 (mod 12); in the symmetric group S3 a transposition has order 2 and a 3-cycle has order 3.

Misapplication

Confusing order with index or with the order of the whole group; for example assuming every element's order divides the group order without first checking the group is finite and Lagrange's hypotheses are met, or misusing additive notation when the group is written multiplicatively.

Consequence

Knowing an element's order determines the structure of the cyclic subgroup it generates, constrains possible homomorphisms from cyclic groups, and underpins results such as if g has order n then g^k has order n/ gcd(n,k).

Reversal

The converse perspective views elements by their failure to return to identity: infinite-order elements never repeat, while torsion elements (finite order) eventually return; reversing highlights qualitative difference between torsion and torsion-free behavior.

Boundary

Defined within group theory for group elements; does not directly apply to non-group binary structures, to semigroup elements lacking inverses, or to transformations in contexts where iteration does not produce a periodic identity.

Semantic Tension

Tension exists between 'order of an element' and 'order of a group' or 'index of a subgroup'—these are related but distinct measures of size and periodicity and can be conflated by novices.

Synthesis

Order of an element is the minimal positive period under the group operation that produces the identity, giving the size of the cyclic subgroup generated and controlling exponentiation/iteration properties.