All Questions
17 questions
1
vote
0
answers
60
views
Bounding the length in a module of evaluated skew polynomials
Let $R$ be a finite principal ideal ring, $S$ a Galois extension of $R$ of degree $m$ (so in particular $S$ is a free $R$-module of rank $m$, and we have an $R$-module isomorphism $S^n \cong \...
- 223
2
votes
0
answers
164
views
Can the equation $1+z^p+z^q+z^r=z^n$ have multiple complex roots $z$?
The math overflow post asks whether the equation $1+z^p+z^q=z^n$ can have multiple complex roots where $p<q<n$ (On the irreducibility of certain trinomials and quadrinomials).
Q. Let us ...
- 4,058
2
votes
0
answers
97
views
How to decompose a matrix over a ring $F[X_1,\ldots,X_k]$ as a product of two matrices
Let $F$ be a field. Assume any reasonable conditions if needed, such as $F=\mathbb R$, $F=\mathbb C$, $F$ is a finite field, or $F$ has a specific characteristic, etc. Let $C$ be an $n\times1$ matrix ...
- 131
1
vote
0
answers
45
views
Lifting module homomorphisms imposing conditions on characteristic polynomials
Suppose that we are in the setting described in the first two paragraphs of this MSE post. My question wants to deal with an instance of the study of the amount of freedom that the choice of the ...
- 573
0
votes
0
answers
44
views
Polynomial representation with shared root
Let $R$ be a polynomial quotient ring of the form $F_3[x_1,x_2,...,x_n]/\langle \{x_i^3-x_i\}_{1\le i\le n} \rangle$ and $\{f_i\}_{1\le i \le m}$ be elements of $R$, where $m > n$. We know that the ...
3
votes
1
answer
102
views
Multiplicative identity of determinant of multiplicative action of a polynomial on a quotient ring (companion matrices)
Let $A$ be a commutative ring with $f,g\in A[x]$ monics. Consider the $A$-linear endomorphism $\mu_g^{(f)}\in \mathrm{End}_A\tfrac{A[x]}{\langle f\rangle}$ given by multiplication by $g$.
For monics $...
- 10.5k
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 ...
- 10.5k
36
votes
3
answers
2k
views
Are large powers of polynomials linearly independent?
Let $P_1,\dots,P_k$ be polynomials over $\mathbf{C}$, no two of them being proportional.
Does there exist an integer $N$ such that $P_1^N,\dots,P_k^N$ are linearly independent?
- 4,653
1
vote
0
answers
33
views
Making a generating set of a section of a graded polynomial $R$-module coming from a quotient into a basis of a quotient by higher degree polynomial
Denote the graded rings $R:=\mathbb{R}[x_{1},\dots x_{n}]$ and $S:=R[x_{0}]$ adding the homogenizing variable $x_{0}.$ Consider $h\in S$ a homogenous polynomial of degree $d$ with leading coefficient $...
- 573
22
votes
3
answers
2k
views
Discriminant of characteristic polynomial as sum of squares
The characteristic polynomial of a real symmetric $n\times n$ matrix $H$ has $n$ real roots, counted with multiplicity.
Therefore the discriminant $D(H)$ of this polynomial is zero or positive.
It is ...
- 8,086
5
votes
3
answers
762
views
Does there exist another form of the derivative for polynomials?
Let $F : \mathbb{R}[X] \rightarrow \mathbb R[X]$ be a linear map and let $H \in \mathbb{R}[u,x,y,z]$ be a polynomial. Suppose that
$$ F(P \cdot Q) = H(F(P),F(Q),P,Q)$$
for all $P, Q \in \mathbb{R}[X]...
- 4,074
4
votes
1
answer
127
views
On the linear factors of a polynomial obtained from the determinant of a matrix whose entries are related to Binomial expansion
Consider the polynomial ring $R=\mathbb C[x,y]$.
Consider the matrix $A=\begin{pmatrix} x^5+y^5&5x^5&10x^5&10x^5&5x^5\\5y^5&x^5+y^5 &5x^5&10x^5&10x^5 \\10y^5&5y^5&...
- 1,209
8
votes
1
answer
506
views
The anti-symmetrization of a kind of polynomials in $\mathbb{Z}[x_1,x_2,\ldots,x_n]$
Let $n$ be a positive integer and $S_n$ be the symmetric group on $\{1,2,\ldots,n\}$. Let $\mathcal{A}_n$ be the anti-symmetrization operator on $\mathbb{Z}[x_1,x_2,\ldots,x_n]$ such that for any $f(...
- 1,997
1
vote
0
answers
95
views
Is it true that the generator of maximal ideal in $M_n(P[x])$ can be choosen to be monic?
Let $P$ be a finite field and $R=M_n(P[x])$ be a matrix polynomial ring.
I want to prove
that for every polynomial (not necessary with invertible leading term) $A(x)\in R$ such that $R\cdot A(x)$ is ...
2
votes
2
answers
3k
views
Solving a system of equations using Gröbner basis
In Sage (or any other package) when using Gröbner basis to solve a system of equations (some of which are non-linear equations) does computing the Gröbner basis for the ideal ID generated by the ...
- 23
1
vote
1
answer
367
views
Irreducibility of a resultant of real and imaginary parts of a characteristic polynomial
The following question is motivated by the study of a stability border for a robust linear time-invariant control system.
Let us we have an affine family of $n\times n$ matrices with indeterminate ($\...
- 413
1
vote
0
answers
1k
views
Algebraic Independence of Polynomials in n Variables with Real Coefficients
I am considering the problem of determining the algebraic independence of $n$ polynomials in $m$ variables with real coefficients, where $m \geq n$. The variables will be denoted by $a_{1}, a_{2}, ... ...
- 11