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.
The graded dual numbers have Cartan polynomial 1+v²
Statement
Let be any field and let with . Put in degree zero and , with and . Then and , and the graded Cartan map sends to .
Facts & Assumptions
Given: A field , the quotient algebra , and the grading with . The simple module is concentrated in degree zero.
The polynomial ring consists of finitely supported coefficient sequences with coefficientwise addition and convolution multiplication (The polynomial ring over a commutative ring as finitely supported coefficient sequences with convolution).
For a field , every and nonzero have unique with and either or (Division algorithm for polynomials over a field).
The coefficientwise operations make a commutative ring with its constants embedded as a unital subring (Polynomial convolution makes a commutative ring containing as its constant subring).
A two-sided ideal is an additive subgroup closed under multiplication on both sides; in a commutative ring the left, right and two-sided ideal conditions agree (Left, right and two-sided ideals).
The quotient ring is formed from additive cosets with multiplication (The quotient ring with ).
This quotient multiplication is well defined if and only if is a two-sided ideal (Multiplication of additive cosets is well defined if and only if the additive subgroup is a two-sided ideal).
When is a two-sided ideal, the cosets form a ring with identity (For a two-sided ideal , the additive cosets form a ring with identity ).
A -algebra is a unital ring with a unital map from whose image is central (Algebras over a commutative ring, central structure maps, and algebra homomorphisms).
A graded -algebra has a decomposition with and (Associative graded algebras, bimodules, and internal shifts).
The internal shift is and is invertible (Associative graded algebras, bimodules, and internal shifts).
A finite direct sum of shifts of the regular graded module is projective in (Finite graded projectives are finite shifted-free summands).
A finite graded projective cover is a degree-zero epimorphism whose kernel is superfluous among graded submodules (Finite-dimensional graded algebras have graded projective covers).
uses short-exact-sequence relations, uses split relations, and (Graded Grothendieck groups, shift action, and Cartan map).
A short exact sequence imposes in (Grothendieck group of an essentially small abelian category).
The Laurent action is and (Graded Grothendieck groups, shift action, and Cartan map).
A graded-simple module is a nonzero finite-dimensional graded module with no proper nonzero graded submodule (Shift-orbit bases for graded simple and projective classes).
Representatives of graded-simple shift orbits and their finite graded projective covers give Laurent bases for and (Shift-orbit bases for graded simple and projective classes).
Proof
Let denote the polynomial variable and . It is an additive subgroup, and multiplication by any polynomial sends to another multiple of on either side; thus it is a two-sided ideal by [F3, F4]. The coefficient of in is , so [F2] gives every a unique division remainder modulo . Hence each element of has a unique form , and is a -basis with . By [F5] and [F6] the coset multiplication is well defined, and [F7] makes a unital ring. The composite is unital and multiplicative: the first map is the constant-polynomial homomorphism [F3], and the quotient map preserves sums, products, and identity by the coset operations in [F5] and [F7]. The quotient is commutative because is commutative, so this map has central image. Thus [F8] makes a two-dimensional unital -algebra. Define , , and for . The multiplication rules , , and verify [F9]. The quotient is one-dimensional over and concentrated in degree zero.
Let be any nonzero finite-dimensional graded-simple left -module, with graded-simple as in [F16]. The submodule is graded since is homogeneous. If , simplicity gives , whence , a contradiction; thus . The action factors through , so each homogeneous component is a graded submodule. Simplicity forces exactly one component to be nonzero. That component has dimension one over , since if its dimension exceeded one, the span of any nonzero vector would be a proper nonzero graded submodule. Hence for its unique nonzero degree . This also proves is graded-simple. Distinct give distinct supports, so there is exactly one graded-simple shift orbit, represented by .
The regular graded module is a finite direct sum of shifts of itself, so [F11] makes it projective in . It is finite-dimensional by step 1.1, hence is a finite graded projective.
The quotient map is degree-zero and has kernel . If a graded submodule satisfies , then taking degree-zero components gives , since . Thus , so . By [F12], is a finite graded projective cover of . To verify indecomposability directly, suppose for nonzero graded submodules. Since is nonzero, one restriction, say , is nonzero; its image is a nonzero graded submodule of the graded-simple , hence is all of . Therefore every element of differs from an element of by an element of , so . Superfluity forces , contradicting . Thus is graded-indecomposable.
Apply [F17] to the unique simple shift orbit from step 2.1 and its cover from step 3.1. It gives as an -basis of and as an -basis of .
Identify with via the quotient map. Define by . It is degree-zero because the degree-zero element of lies in degree two after shifting, and has degree two. For and , the quotient action on gives , while because ; hence is -linear. It is injective since by the unique normal form, and its image is . Thus is exact. By [F14], in . Now [F10] and [F15] give , while [F13] says the graded Cartan map sends to this same class in . Therefore , as claimed.
Depends on
- Graded Grothendieck groups, shift action, and Cartan map
- Shift-orbit bases for graded simple and projective classes
- The polynomial ring over a commutative ring as finitely supported coefficient sequences with convolution
- The quotient ring $R/I$ with $(r+I)(s+I)=rs+I$
- Polynomial convolution makes $R[x]$ a commutative ring containing $R$ as its constant subring
- Left, right and two-sided ideals
- Multiplication of additive cosets is well defined if and only if the additive subgroup is a two-sided ideal
- For a two-sided ideal $I$, the additive cosets form a ring $R/I$ with identity $1+I$
- Division algorithm for polynomials over a field
- Algebras over a commutative ring, central structure maps, and algebra homomorphisms
- Associative graded algebras, bimodules, and internal shifts
- Grothendieck group of an essentially small abelian category
- Finite graded projectives are finite shifted-free summands
- Finite-dimensional graded algebras have graded projective covers
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
51 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
- Alexander Kleshchev, Representation Theory of Symmetric Groups and Related Hecke Algebras, §2.2 (standard reference, not scraped)