Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
gptkb:Lie_group |
| gptkbp:antipode |
S(g) = g
S(x) = -g x |
| gptkbp:basisFor |
1
x g gx |
| gptkbp:citation |
gptkb:Moss_E._Sweedler,_Hopf_Algebras,_1969
|
| gptkbp:comultiplication |
Δ(g) = g ⊗ g
Δ(x) = x ⊗ 1 + g ⊗ x |
| gptkbp:counit |
ε(g) = 1
ε(x) = 0 |
| gptkbp:definedIn |
gptkb:Field
|
| gptkbp:dimensions |
4
|
| gptkbp:introduced |
gptkb:Moss_Sweedler
|
| gptkbp:introducedIn |
1969
|
| gptkbp:loveInterest |
g^2 = 1
x^2 = 0 xg = -gx |
| gptkbp:noncocommutative |
true
|
| gptkbp:noncommutative |
true
|
| gptkbp:usedFor |
counterexample in Hopf algebra theory
study of noncommutative Hopf algebras |
| gptkbp:bfsParent |
gptkb:Moses_E._Sweedler
|
| gptkbp:bfsLayer |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
Sweedler's Hopf algebra
|