Idempotent subgroup-defining function

This article defines a property of subgroup-defining functions, viz., a property that any subgroup-defining function may either satisfy or not satisfy

Definition

Definition with symbols

A subgroup-defining function $f$ is said to be idempotent if for any group $G$, $f(f(G))=f(G)$ (that is, they both refer to the same subgroup of $G$).

Subgroup-defining functions satisfying this property

A full listing is available at: