zu a)
Sei \(a=p^m\cdot v\) mit \(m\in Z\) und \(v\in Z_p^*\).
Dann ist \(a^3=b\) genau dann, wenn
\((p^m)^3v^3=3^nu\), also \(3m=n\) und \(v^3=u\)
Zu b)
Da jede Gleichung in \(Z_p\) auch mod \(p\) gilt,
muss man nur zeigen:
wenn \(X^3\equiv u\) mod \(p\) eine Lösung hat, hat auch
\(X^3=u\) in \(Z_p\) eine Lösung (vorausgesetzt \(p\neq 3\)).
Nun benutzen wir Hensels Lemma:
Sei \(x\) mod \(p\) eine Nullstelle von \(f(X)=X^3-u\in Z_p[X]\) mod \(p\),
also \(v_p(f(x))>0\), dann ist \(v_p(f'(x))=v_p(3x)=0\).
Nach Hensels Lemma gibt es also \(v\in Z_p\) mit \(f(v)=0\).