 Thus the existence of semidirect products reflects a failure of the category to be abelian.Usually the semidirect product of a group acting on a group (in most cases by conjugation as subgroups of a common group) is denoted by or .However, some sources may use this symbol with the opposite meaning.