Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-sol)audited 2026-09-30
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Bidegree completion of two symmetric-function rings

Definition

Let Λ(x) and Λ(y) be two copies of the graded ring The stable graded ring of symmetric functions, with degree pieces Λa(x) and Λb(y). Define the bidegree-completed tensor product by Λ(x)⊗^Λ(y):=∏a,b≥0(Λa(x)⊗ZΛb(y)).

Addition is componentwise. If u=(ua,b) and v=(va,b), their product has component (uv)a,b:=∑i=0a∑j=0bui,jva−i,b−j, where multiplication in each tensor factor is the graded multiplication of Λ. This is a finite sum for each fixed (a,b), so it defines a commutative ring; the unit has component 1⊗1 at (0,0) and zero elsewhere.

The Cauchy kernel is the element Ω(x,y):=∏r,s≥1(1−xrys)−1 interpreted bidegree by bidegree: its degree-(d,d) component is the stable degree-d coefficient of the finite products, and all components (a,b) with a≠b are zero. Thus Ω belongs to the diagonal bidegrees of this completion, not to the finite-support graded ring Λ itself.

Depends on

Used by

Dependency tree · two levels

3 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources