3
votes
1answer
131 views

Is the ideal membership problem solvable for differential ideals? Is there a good notion of a Gröbner basis?

Let $K$ be a field of characteristic zero. Let $\Omega = K[x_1, \dots, x_n, dx_1, \dots, dx_n]$ be the differential ring of algebraic differential forms over $K[X_1, \dots, X_n]$. Is there an ...
19
votes
6answers
3k views

Is there a preferable convention for defining the wedge product?

There are different conventions for defininig the wedge product $\wedge$. In Kobayashi-Nomizu, there is $\alpha\wedge\beta:=Alt(\alpha\otimes\beta)$, in Spivak, we find ...
1
vote
2answers
368 views

Homomorphism between exterior powers of a free module of finite rank

I´m looking for homomorphisms between exterior powers of a free module M of rank m ΛmR M → Λm-1R M Exactly, I´m looking for an explicit isomorphism M → Hom R (ΛmR M , Λm-1R M) I compare the ...