PeterDonis said:
No. You left out a minus sign. Since the rank of ##d \omega## is one greater than the rank of ##\omega##, we have that one of ##p, q## is even and one is odd, so their product is odd and ##-1^{pq} = -1##, not ##+1##.
Even times odd is always even, so it would be what I said it was. ##\omega## is one form, ##d\omega## is a two form, thus ##\omega \wedge d\omega = (-1)^{1*2} d\omega \wedge \omega = d\omega \wedge \omega##, but that's besides the point, I didn't think this problem through.
I was sloppy with my one form, as I thought it was trivial, but you're right, it isn't trivial. I looked into my notes, and you can find a discussion on this in full detail in "Lectures on differential geometry" by Shlomo Steinberg which my notes have a mixing between calling ##\omega \wedge d\omega = 0## an integrability condition, then diving into "Darboux's theorem" starting at page 130 in this book (or i guess, just go to wiki:
https://en.wikipedia.org/wiki/Darboux's_theorem ,
https://en.wikipedia.org/wiki/Integrability_conditions_for_differential_systems)
So yes, my conclusion was wrong, sorry OP, I should have thought it through more!
An example that may be helpful for OP since you're looking into integrable systems:
Suppose you wanted find the necessary and sufficient conditions for a scalar function ##e^\phi## to be a integrating for some one form ##\omega##. This means you're looking for ##d(e^\phi \omega) = 0## using our integrability condition ##\omega \wedge d\omega = 0##, and expanding ##d(e^\phi \omega) = d\omega + d\phi \wedge \omega = 0## If we put ##\omega## in "normal form" which looks like ##\omega = x^1dx^2+x^3dx^4+...+dx^n##. We can conclude that there can't be a ##dx^n## term because then ##\omega \wedge d\omega## would have random terms like ##dx^n \wedge dx^1 \wedge dx^2##. We also conclude that it can't have more than a single monomial because we'd have random terms like ##x^1 dx^2 \wedge dx^3 \wedge dx^4##
So, we can say that ##\omega = x^1 dx^2## and find the integrating factor to be ##\frac{1}{x^1}##
(I believe this example comes from "Applied differential geometry" by Burke)