All Questions
9 questions
28
votes
6
answers
5k
views
Expressing $-\operatorname{adj}(A)$ as a polynomial in $A$?
Suppose $A\in R^{n\times n}$, where $R$ is a commutative ring. Let $p_i \in R$ be the coefficients of the characteristic polynomial of $A$: $\operatorname{det}(A-xI) = p_0 + p_1x + \dots + p_n x^n$.
I ...
20
votes
2
answers
1k
views
a determinantal identity
Dusan Pokorny and Jan Rataj have just posted a paper (http://arxiv.org/abs/1209.2305) in which they prove the identity
$$
\det (A-B) = \frac 1{d!} \sum_{k=0}^d (-1)^k \binom dk \det((d-k)A + kB)
$$
...
14
votes
1
answer
2k
views
Why does this matrix have zero determinant?
This curious identity arose from studying reductions of the maximal ideal in certain monomial algebra. It can be proved "by hand", (i.e, using Macaulay 2), but I am seeking a more conceptual ...
8
votes
1
answer
641
views
Property of the trace on finitely generated projective modules
Let $A$ be a commutative ring with unit and let $P$ be a projective $A$-module finitely generated. By definition, there exists an $A$-module $P'$ such that $P\oplus P'$ is free of finite rank $r$. If $...
7
votes
1
answer
3k
views
When does the determinant distribute over addition?
When does $\det(A+B)=\det(A)+\det(B)$ hold?
I actually wonder if there is an easy answer for when $Per(A+B)=Per(A)+Per(B)$.
5
votes
2
answers
2k
views
Iterated calculation of determinants
Given a $4 \times 4$ matrix $S$ over a commutative ring $R$. I want to consider it as a $2\times 2$ matrix over $M_2(R)$. Lets say $S=\left(\begin{array}{cc} A&B \\\ C&D\end{array}\right)$ ...
2
votes
3
answers
755
views
On matrices in linear forms with vanishing determinant
This is a cross-post from my original question at math.se. I decided to post here because it seems more difficult than I originally thought.
Let $R=\mathbb C[x_1,\ldots,x_r]$ be a polynomial ring. ...
2
votes
1
answer
440
views
Coordinate free expression for the determinant of a $2 \times 2$ matrix
Let $E\rightarrow X$ be a rank two vector bundle on a variety $X$. How can one write an abstract map $Sym^2(E)\rightarrow (\wedge^2 E)^{\otimes 2}$ that in local coordinates, when we fix a frame of $E$...
1
vote
1
answer
228
views
Properties of the generic matrix - struggles with constructive proofs
Write $A=(x_{ij})$ for the generic matrix (comprised of indeterminates) defined over $\mathbb Z[x_{11},\dots,x_{nn}]$. In their constructive commutative algebra book, Lombardi and Quitte write that ...