Normal subhypergroup
From Groupprops
ANALOGY: This is an analogue in hypergroup of a property encountered in group. Specifically, it is a subhypergroup property analogous to the subgroup property: normal subgroup
View other analogues of normal subgroup | View other analogues in hypergroups of subgroup properties (OR, View as a tabulated list)
Contents |
Definition
Symbol-free definition
A subhypergroup of a hypergroup is said to be normal if it commutes with every point measure.
Definition with symbols
A subhypergroup H of a hypergroup K is said to be normal if H * x = x * H for every point 
.
Analogy
The notion of normality for subhypergroup is analogous to the subgroup property of normality, when defined/viewed as follows:
A subgroup H of a group K is termed normal if Hx = xH for all elements .
