Skip to main content
deleted 73 characters in body
Source Link
abx
  • 38k
  • 3
  • 86
  • 146

Yes, if $F$ is infinite. The set of symmetric matrices $Q$ such that $AQ=QB$ is a vector space $V$ over $F$. We know that $V\otimes _FK\neq 0$, hence $V\neq 0$. The invertible matrices form a Zariski open subset $U$ of $V$ (defined by $\det\neq 0$). Again we know that $U\otimes _FK$ is a nonempty Zariski open subset of $V\otimes _FK$; sincepolynomial $V$$\det_{|F}$ is Zariski densenot identically zero in $V\otimes _FK$, hence in $U$$V$ since $F$ is nonemptyinfinite. Thus there exists $Q\in V$ invertible.

Yes. The set of symmetric matrices $Q$ such that $AQ=QB$ is a vector space $V$ over $F$. We know that $V\otimes _FK\neq 0$, hence $V\neq 0$. The invertible matrices form a Zariski open subset $U$ of $V$ (defined by $\det\neq 0$). Again we know that $U\otimes _FK$ is a nonempty Zariski open subset of $V\otimes _FK$; since $V$ is Zariski dense in $V\otimes _FK$, $U$ is nonempty.

Yes, if $F$ is infinite. The set of symmetric matrices $Q$ such that $AQ=QB$ is a vector space $V$ over $F$. We know that $V\otimes _FK\neq 0$, hence $V\neq 0$. The polynomial $\det_{|F}$ is not identically zero in $V\otimes _FK$, hence in $V$ since $F$ is infinite. Thus there exists $Q\in V$ invertible.

added 243 characters in body
Source Link
abx
  • 38k
  • 3
  • 86
  • 146

Yes. The set of symmetric matrices $Q$ such that $AQ=QB$ is a vector space $V$ over $F$. We know that $V\otimes _FK\neq 0$, hence $V\neq 0$. The invertible matrices form a Zariski open subset $U$ of $V$ (defined by $\det\neq 0$). Again we know that $U\otimes _FK$ is a nonempty Zariski open subset of $V\otimes _FK$; since $V$ is Zariski dense in $V\otimes _FK$, $U$ is nonempty.

Yes. The set of symmetric matrices $Q$ such that $AQ=QB$ is a vector space $V$ over $F$. We know that $V\otimes _FK\neq 0$, hence $V\neq 0$.

Yes. The set of symmetric matrices $Q$ such that $AQ=QB$ is a vector space $V$ over $F$. We know that $V\otimes _FK\neq 0$, hence $V\neq 0$. The invertible matrices form a Zariski open subset $U$ of $V$ (defined by $\det\neq 0$). Again we know that $U\otimes _FK$ is a nonempty Zariski open subset of $V\otimes _FK$; since $V$ is Zariski dense in $V\otimes _FK$, $U$ is nonempty.

Source Link
abx
  • 38k
  • 3
  • 86
  • 146

Yes. The set of symmetric matrices $Q$ such that $AQ=QB$ is a vector space $V$ over $F$. We know that $V\otimes _FK\neq 0$, hence $V\neq 0$.