Math 2.0

Commutative algebra Definition

Determinantal ideal

Builds on Commutative ringMatrixMinorIdealPolynomial ringRank of a matrixPrime idealHeight of a prime idealCohen–Macaulay ring

Definition

Let RR be a commutative ring, let MM be an m×nm \times n matrix with entries in RR, and let tt be an integer with 1≤t≤min⁡(m,n)1 \le t \le \min(m, n). The determinantal ideal It(M)I_t(M) is the ideal of RR generated by all t×tt \times t minors of MM. When kk is a field, R=k[xij:1≤i≤m,  1≤j≤n]R = k[x_{ij} : 1 \le i \le m, \; 1 \le j \le n] is the polynomial ring and X=(xij)X = (x_{ij}) is the generic matrix, It(X)I_t(X) is the generic determinantal ideal.

Remarks

When kk is algebraically closed, the zero set of It(X)I_t(X) in kmnk^{mn} is the set of m×nm \times n matrices of rank less than tt. For the generic matrix, It(X)I_t(X) is a prime ideal of height (m−t+1)(n−t+1)(m - t + 1)(n - t + 1), and R/It(X)R/I_t(X) is Cohen–Macaulay.

Example: for m=2m = 2, n=3n = 3 and t=2t = 2, the ideal I2(X)I_2(X) is generated by the three minors x11x22−x12x21x_{11} x_{22} - x_{12} x_{21}, x11x23−x13x21x_{11} x_{23} - x_{13} x_{21} and x12x23−x13x22x_{12} x_{23} - x_{13} x_{22}. Its height is (2−2+1)(3−2+1)=2(2 - 2 + 1)(3 - 2 + 1) = 2.

Non-example: in the same ring, the principal ideal (x11x22−x12x21)(x_{11} x_{22} - x_{12} x_{21}) is generated by one 2×22 \times 2 minor only. It has height 11 by Krull's principal ideal theorem, so it is not I2(X)I_2(X), which has height 22.

Reading path

To understand this page from the ground up, read these 10 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cohen–Macaulay ring concept
  2. Commutative ring concept
  3. Height of a prime ideal concept
  4. Ideal concept
  5. Matrix concept
  6. Minor concept
  7. Polynomial ring concept
  8. Prime ideal concept
  9. Rank of a matrix concept
  10. Determinantal ideal definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Determinantal_variety
About this page
TagM4606WJDYG
URIm2://M4606WJDYG
Kinddefinition
WritingW0 stub
MSC13C40, 14M12
DefinesDeterminantal ideal
UsesCommutative ring, Matrix, Minor, Ideal, Polynomial ring, Rank of a matrix, Prime ideal, Height of a prime ideal, Cohen–Macaulay ring
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • 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.