A aperiodic semigroup is finite if and only if it contains no nontrivial subgroups , so a synonym used ( only ? )
A finite semigroup is aperiodic if and only if it contains no nontrivial subgroups , so a synonym used ( only ? )