Normal subsemigroup

From Groupprops
Jump to: navigation, search
ANALOGY: This is an analogue in semigroup of a property encountered in group. Specifically, it is a subsemigroup property analogous to the subgroup property: normal subgroup
View other analogues of normal subgroup | View other analogues in semigroups of subgroup properties (OR, View as a tabulated list)

Definition

A subsemigroup N of a semigroup S is termed a normal subsemigroup if, for every g \in S, we have gN = Ng.

Relation with other properties

Weaker properties