arXiv++ Combinatorics

Stickelberger proved that the discriminant of a number field is congruent to 0 or 1 modulo 4. We generalize this to an arbitrary (not necessarily commutative) ring of finite rank over the integers using techniques from linear algebra. Our proof, which relies only on elementary matrix identities, is new even in the classical case.

We prove that Fomin's generalization of Lindström's lemma for paths on acyclic directed graphs to walks on general directed graphs also generalizes a theorem of Stembridge in the same way. Moreover, we show that whenever a family of operations satisfies a Lindström-type determinant relation, a related family of operations satisfies a Stembridge-type Pfaffian relation. We give example applications to Kenyon and Wilson's work on groves and to Talaska's work on alternating flows.