You might want to look at Ferrero, "Prime ideals in polynomial rings in several indeterminates". I think what he's doing there may be what you're trying to do.
Dave Benson
- 16.2k
- 2
- 42
- 95