Prime Divisors and Noncommutative Valuation Theory