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.
For a finite-dimensional algebra, the module radical is exactly the action of the Jacobson radical
Statement
Let be a finite-dimensional algebra with Jacobson radical , and let be a finite-dimensional left -module. If
then
Facts & Assumptions
Given: A finite-dimensional algebra , its Jacobson radical , and a finite-dimensional left -module .
The Jacobson radical is the intersection of maximal left ideals (The Jacobson radical of a finite-dimensional algebra is the intersection of its maximal left ideals).
The algebra radical is nilpotent and is semisimple (For a finite-dimensional algebra, the Jacobson radical is nilpotent and the quotient by it is semisimple).
A simple module is a nonzero module with no proper nonzero submodule (Simple module: a nonzero module with no proper nonzero submodule).
Over a semisimple ring every module is semisimple (Equivalent module-theoretic characterizations of semisimple rings).
Proof
If , then and , so the claim is immediate. Assume from now on that . Let be a maximal submodule of . Then has no proper nonzero submodule, so it is simple by [L2]. Fix . If , then every already satisfies . If , then the nonzero coset generates the simple module , so the -linear map is surjective. Its kernel is therefore a maximal left ideal of . By [F1], is contained in every maximal left ideal, so and hence for every . Thus . Since was arbitrary, .
Consider the quotient module . Because acts trivially on it, is naturally a module over the semisimple ring from [L1]. Therefore [L3] makes semisimple, so the intersection of its maximal submodules is . Maximal submodules of correspond exactly to maximal submodules of containing , and their intersection is . Hence .
Step 1.1 gives and step 2.1 gives the reverse inclusion. Therefore .
Depends on
- The Jacobson radical of a finite-dimensional algebra is the intersection of its maximal left ideals
- For a finite-dimensional algebra, the Jacobson radical is nilpotent and the quotient by it is semisimple
- Simple module: a nonzero module with no proper nonzero submodule
- Equivalent module-theoretic characterizations of semisimple rings
Used by
Dependency tree · two levels
17 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
- Peter Webb, A Course in Finite Group Representation Theory (23 Feb 2016 draft) (standard reference, not scraped)