Statements (24)
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)) |
https://www.w3.org/2000/01/rdf-schema#label |
Lambda ring
|
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:rings_of_Uranus |
gptkbp:bfsLayer |
7
|