isNonAbelian
P26393
predicate
Indicates that the operation or structure in question does not satisfy commutativity, so the order of applying the operation matters.
All labels observed (5)
| Label | Occurrences |
|---|---|
| isNonAbelian canonical | 24 |
| isAbelian | 4 |
| isNonAbelianFor | 3 |
| isNonabelian | 1 |
| isNoncommutative | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: isNonAbelian
Generated description
Indicates that the operation or structure in question does not satisfy commutativity, so the order of applying the operation matters.
Sample triples (33)
| Subject | Object |
|---|---|
| SU(2)_L | true ⓘ |
| E(n) | true via predicate surface "isNonabelian" ⓘ |
| Co1 | true ⓘ |
| Co2 | true ⓘ |
|
PSL(2,ℤ)
linked to:
modular group PSL(2,Z)
|
true ⓘ |
| Co3 | true ⓘ |
| SU(3) | true ⓘ |
| SL(2,C) | true ⓘ |
| PSL(2,7) | true ⓘ |
|
SU(2)
linked to:
rotation group SU(2)
|
true ⓘ |
| affine group of R^n | n ≥ 1 via predicate surface "isNonAbelianFor" ⓘ |
|
SO(n)
linked to:
special orthogonal group SO(n)
|
true for n ≥ 3 ⓘ |
|
SO(n)
linked to:
special orthogonal group SO(n)
|
true for n ≤ 2 via predicate surface "isAbelian" ⓘ |
|
SO(2)
linked to:
special orthogonal group SO(n)
|
true via predicate surface "isAbelian" ⓘ |
| U(1) | true via predicate surface "isAbelian" ⓘ |
|
GL(n,ℝ)
linked to:
general linear group GL(n,R)
|
n ≥ 2 via predicate surface "isNonAbelianFor" ⓘ |
| Spin(2,d) | true ⓘ |
|
GL(n,ℂ)
linked to:
general linear group GL(n,C)
|
true ⓘ |
| Hurwitz quaternions | true via predicate surface "isNoncommutative" ⓘ |
| Harada–Norton group | true ⓘ |
| Fischer–Griess Monster | true ⓘ |
| M | true ⓘ |
| Held group | true ⓘ |
| Thompson group Th | true ⓘ |
| Janko group J4 | true ⓘ |
| PSL(2,ℤ/Nℤ) | true for N ≥ 3 ⓘ |
| McL | true ⓘ |
| Pauli group | false via predicate surface "isAbelian" ⓘ |
|
PSL(2,ℂ)
linked to:
PSL(2,\mathbb{C})
|
true ⓘ |
| SL(2,7) | true ⓘ |
| S5 | n ≥ 3 via predicate surface "isNonAbelianFor" ⓘ |
| S5 | true ⓘ |
| symmetric group S5 | true ⓘ |