Definition:Group Relation on Set
Jump to navigation
Jump to search
Definition
Let $X$ be a set.
A group relation on $X$ is a pair $(u, v)$ where $u$ and $v$ are group words on $X$.
A group relation $(u, v)$ is also denoted $u=v$.
Also see
Sources
- 2000: Pierre A. Grillet: Abstract Algebra: $\S \text{I}.7$: Presentations