A group property is something that every group either satisfies or does not satisfy. Group properties must satisfy the condition of isomorphism invariance: if $G\_1$ and $G\_2$ are two groups, they either both have the property or both do not have the property.

Group theory