Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
|
| gptkbp:definedIn |
gptkb:Grothendieck
|
| gptkbp:example |
ring of symmetric functions
Grothendieck ring of vector bundles representation ring of a group |
| gptkbp:field |
gptkb:mathematics
|
| gptkbp:generalizes |
gptkb:King
|
| gptkbp:hasAxiom |
lambda^m(lambda^n(x)) = Q_{m,n}(lambda^1(x),...,lambda^{mn}(x))
lambda operations are ring homomorphisms lambda^0(x) = 1 lambda^1(x) = x lambda^n(1) = 0 for n > 1 lambda^n(x+y) = sum_{i=0}^n lambda^i(x) lambda^{n-i}(y) lambda^n(xy) = P_n(lambda^1(x),...,lambda^n(x),lambda^1(y),...,lambda^n(y)) |
| gptkbp:operator |
lambda operations
|
| gptkbp:relatedTo |
gptkb:K-theory
symmetric functions |
| gptkbp:usedIn |
gptkb:algebraic_geometry
gptkb:topology representation theory |
| gptkbp:bfsParent |
gptkb:Uranus_ring_system
gptkb:Uranus's_rings gptkb:rings_of_Uranus |
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lambda ring
|