Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-sol)audited 2026-09-27
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.

Sylvester resultant of two positive-degree binary forms

Definition

Let R be a commutative ring (The polynomial ring over a commutative ring as finitely supported coefficient sequences with convolution) and let d,e≥1. For m≥0 let R[X,Y]m={∑i=0mciXm−iYi:ci∈R} be the R-module of homogeneous polynomials of total degree m in X,Y, with the ordered basis Xm, Xm−1Y, …, XYm−1, Ym.

Fix homogeneous elements F∈R[X,Y]d and G∈R[X,Y]e of the nominated degrees d and e; the zero polynomial is allowed, and it is homogeneous of every degree. The Sylvester resultant Res⁡d,e(F,G)∈R is the determinant (For n≥1, the determinant over a commutative ring by the Leibniz formula, and ∣det⁡A∣ for a real matrix) of the R-linear map ΦF,G ⁣:R[X,Y]e−1⊕R[X,Y]d−1⟶R[X,Y]d+e−1,(A,B)⟼AF+BG, in the ordered bases above: the e basis vectors of the F-block R[X,Y]e−1 are listed first, then the d basis vectors of the G-block R[X,Y]d−1. The target has d+e basis vectors, so the matrix is square.

Since F and G have no constant term when they are nonzero and positive degree, the map is well defined and R-linear, and no hypothesis on the leading coefficients of F or G is imposed. For two linear forms F=aX+bY and G=cX+dY the definition gives Res⁡1,1(F,G)=ad−bc, because ΦF,G(1,0)=aX+bY and ΦF,G(0,1)=cX+dY are the two matrix columns.

The degrees d,e belong to the data: if the coefficient of Xd in F vanishes, then Res⁡d,e(F,G) is still read off the degree-d Sylvester matrix. In particular dehomogenising to f(T)=F(T,1) and g(T)=G(T,1) never replaces d or e by the actual degrees of f or g.

Depends on

Used by

Dependency tree · two levels

12 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