TeXipedia

unrhd

Represents a binary relation indicating 'normal subgroup or equal to' in abstract algebra and group theory.

Overview

Serves as a specialized mathematical operator primarily used in advanced algebra to denote relationships between groups and subgroups. Common in theoretical mathematics and abstract algebra contexts where precise notation for group relationships is essential.

  • Frequently appears in group theory proofs and theorems
  • Used alongside other related operators like \unlhd and \trianglelefteq
  • Important in discussions of normal subgroups and quotient groups
  • Often found in advanced mathematics textbooks and research papers

Examples

Expressing a normal subgroup relation in group theory.

H⊵GH \unrhd G 
H \unrhd G

Showing a partial ordering relation in abstract algebra.

x⊵y⊵zx \unrhd y \unrhd z 
x \unrhd y \unrhd z

Representing dominance relation in game theory.

S1⊵S2⊵S3S_1 \unrhd S_2 \unrhd S_3 
S_1 \unrhd S_2 \unrhd S_3