hasCommutationRelations
P62054
predicate
Indicates that there exist specific commutation relations governing how two operators or elements combine or reorder with respect to each other.
Observed surface forms (6)
| Surface form | Occurrences |
|---|---|
| hasCommutationRelation | 5 |
| LieBracketRelation | 3 |
| anticommutationProperty | 1 |
| anticommutationRelation | 1 |
| commutationRelation | 1 |
| commutatorBracketDefinition | 1 |
Sample triples (13)
| Subject | Object |
|---|---|
| Weyl algebra | canonical commutation relations ⓘ |
| Lie ring | [x,y]=xy−yx via predicate surface "commutatorBracketDefinition" ⓘ |
| Pauli matrices | {σ_i, σ_j} = 2 δ_ij I via predicate surface "anticommutationRelation" ⓘ |
| Pauli matrices | [σ_i, σ_j] = 2 i ε_ijk σ_k via predicate surface "commutationRelation" ⓘ |
| Heisenberg Lie algebra | [X_i,Y_j] = δ_{ij} Z via predicate surface "hasCommutationRelation" ⓘ |
| Heisenberg Lie algebra | [X_i,X_j] = 0 via predicate surface "hasCommutationRelation" ⓘ |
| Heisenberg Lie algebra | [Y_i,Y_j] = 0 via predicate surface "hasCommutationRelation" ⓘ |
| Heisenberg Lie algebra | [X_i,Z] = 0 via predicate surface "hasCommutationRelation" ⓘ |
| Heisenberg Lie algebra | [Y_i,Z] = 0 via predicate surface "hasCommutationRelation" ⓘ |
| sl(2,C) | [H,E] = 2E via predicate surface "LieBracketRelation" ⓘ |
| sl(2,C) | [H,F] = -2F via predicate surface "LieBracketRelation" ⓘ |
| sl(2,C) | [E,F] = H via predicate surface "LieBracketRelation" ⓘ |
| Faddeev–Popov ghosts | Grassmann-odd via predicate surface "anticommutationProperty" ⓘ |