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.
A two-dimensional matrix model for the p equals two endpoint conventions
Pure mathematics; no physical premises or physical claim.
Example
Let . Define complex-linear endomorphisms by Put , and , and use the commutator . Then More explicitly, let mean the trace-zero complex matrices with commutator bracket, with basis , and . The linear map sending this basis to is a Lie algebra representation on . It is irreducible: its only invariant subspaces are and . Every nonzero vector of is cyclic under these operators, and also under , where cyclic means that the span of all finite operator words applied to that vector equals .
Example references
Facts & Assumptions
Given: The two-dimensional vector space and the displayed linear maps. An invariant subspace is a complex-linear subspace preserved by every representing operator; irreducibility means that no nonzero proper invariant subspace exists. Finite operator words include the empty word, which acts as the identity.
The vector space , the six displayed basis actions, the commutator convention, and the definition of cyclicity in the Example are the complete assumptions.
Verification
The normalized operators satisfy , , , , , . Hence and . Also and , while and . Equality on the basis proves the three operator identities. Direct matrix multiplication gives the same three brackets for . The bracket is bilinear and alternating, so checking all three distinct basis pairs proves that the stipulated linear map preserves every bracket. Thus it is a representation of the explicitly defined matrix Lie algebra.
Let be a nonzero invariant subspace and choose , . Since is invariant under and the identity, it contains and . At least one is nonzero. If , then ; if , then . In either case , proving irreducibility. This argument uses the two distinct diagonal eigenvalues and the explicitly nonzero connecting maps.
For any nonzero , let be the span of all finite words in applied to . It is a nonzero invariant subspace by prepending any of the three operators to each word. Step 2.1 gives . Since , and , multiplication by these nonzero scalars in either direction shows that the finite-word spans for the two operator triples coincide. Every nonzero vector is therefore cyclic for both triples.
Remarks
The normalization is motivated by the specialization of the endpoint top matrices in the triplet construction: . The example itself asserts only the finite-dimensional matrix representation proved above. These matrices alone supply no state fields, module Jacobi identity, all-grade lattice module, or identification with an actual triplet endpoint.
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.