A finite semigroup is aperiodic if and only if it contains no nontrivial subgroups .
A synonym used ( only ? ) in such contexts is group - free semigroup .
A finite semigroup is aperiodic if and only if it contains no nontrivial subgroups , so a synonym used ( only ? ) in such contexts is group - free semigroup .