# Tagged Questions

43 views

287 views

### Is an ideal generated by multilinear polynomials of different degrees always radical?

Definition. A polynomial $f\in\Bbbk[x_0,\ldots,x_n]$ is called multilinear if $\deg_{x_i}(f)=1$ for each $0\le i \le n$. In other words, $f$ is linear in each variable. If $f$ is homogeneous of ...
69 views

### Symmetric and exterior powers of a projective (flat) module are projective (flat)

Assume that $R$ is a commutative ring with unity and $P$ a projective (flat) $R$-module. Why $\mathrm{Sym}^n(P)$ and $\Lambda^n(P)$ are projective (flat) for every $n$?
139 views

### Proof that the $d$-th powers generate the $d$-th symmetric power of a vector space

Let $V$ be a $\mathbb{C}$-vector space of finite dimension. Denote its $d$-th symmetric power by $V^{\odot d}$. I am looking for a proof that $V^{\odot d}$ is generated by the elements $v^{\odot d}$ ...
91 views

### How can one see that $\operatorname{tr}(f\otimes g)=\operatorname{tr}f\operatorname{ tr }g$?

Suppose you have two free modules $M$ and $N$ of finite rank over a commutative ring $R$. Let's also take some $f\in\operatorname{End}_R(M)$ and $g\in\operatorname{End}_R(N)$, which gives a ...
### Why is it that $\det(\phi-x\text{id})=\sum_{i=0}^n (-1)^ic_ix^i$?
I'm trying to understand a certain formula for the determinant in a more general setting. Say you have a free module $M$ of rank $n$ over a (commutative) ring $R$. Let ...
### Is $M\to M^{\vee\vee}$ injective when $M$ is free?
It's a common theorem that when $M$ is a finite-free $R$-module of rank $n$, there is a natural isomorphism $M\cong M^{\vee\vee}$, where $M^\vee$ denotes the dual. So $M^{\vee\vee}$ is also free of ...