# A double Sylvester determinant

## TL;DR

This paper investigates the properties of a matrix constructed from minors of two matrices and proves divisibility relations for its determinant under specific conditions, extending previous results.

## Contribution

It generalizes a known result by establishing new divisibility properties of the determinant of a matrix formed from minors of two matrices, under certain zero-entry conditions.

## Key findings

- Determinant of W is divisible by det A if the (n+1,n+1) entry of B is zero.
- If both A and B have zero at (n+1,n+1), then det W is divisible by (det A)(det B).
- Extends previous work by Olver and the author on Sylvester determinants.

## Abstract

Given two $\left( n+1\right) \times\left( n+1\right)$-matrices $A$ and $B$ over a commutative ring, and some $k\in\left\{ 0,1,\ldots,n\right\}$, we consider the $\dbinom{n}{k}\times\dbinom{n}{k}$-matrix $W$ whose entries are $\left( k+1\right) \times\left( k+1\right)$-minors of $A$ multiplied by corresponding $\left( k+1\right) \times\left( k+1\right)$-minors of $B$. Here we require the minors to use the last row and the last column (which is why we obtain an $\dbinom{n}{k}\times\dbinom{n}{k}$-matrix, not an $\dbinom{n+1}{k+1}\times\dbinom{n+1}{k+1}$-matrix). We prove that the determinant $\det W$ is a multiple of $\det A$ if the $\left( n+1,n+1\right)$-th entry of $B$ is $0$. Furthermore, if the $\left( n+1,n+1\right)$-th entries of both $A$ and $B$ are $0$, then $\det W$ is a multiple of $\left( \det A\right) \left( \det B\right)$. This extends a previous result of Olver and the author ( arXiv:1802.02900 ).