Linear and multilinear algebra; matrix theory Definition
Dodgson condensation
Builds on DeterminantMinorField
Definition
Let be a field, let , and let be an matrix over . Let be the matrix with all entries , and let . For , let be the matrix with entries This is defined when every divisor is nonzero. Dodgson condensation is the computation of the sequence . When it is defined, the single entry of equals the determinant of .
Remarks
The divisors in step are the interior entries of , that is, the entries not in its first or last row or column. For all divisors are , so is the matrix of connected minors of .
Example: for , the first step gives . The only divisor in the second step is the central entry of , so . Expansion along the first row also gives .
Non-example: for , the central entry is , so is not defined, although . In such a case one can first permute rows or columns, or use a different order of elimination. The correctness of the method follows from the Desnanot–Jacobi identity, a form of the case of Sylvester's determinant identity.
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Determinant concept
- Field concept
- Minor concept
- Dodgson condensation definition
Further reading
About this page
| Tag | F7D849A4RZ |
|---|---|
| URI | m2://F7D849A4RZ |
| Kind | definition |
| Writing | W0 stub |
| MSC | 15A15, 65F40 |
| Defines | Dodgson condensation |
| Uses | Determinant, Minor, Field |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.