Kommutative Ringtheorie/Z ist normal/Wurzeln aus ganzen Zahlen sind irrational/2/Fakt

Es sei die kanonische Primfaktorzerlegung der natürlichen Zahl . Es sei eine positive natürliche Zahl und sei vorausgesetzt, dass nicht alle Exponenten ein Vielfaches von sind. Dann gibt es keine rationale Zahl mit der Eigenschaft

d.h. innerhalb der rationalen Zahlen besitzt keine -te Wurzel.