$p$-adic extension of $n$th root of unity.

savecancel

The residue field $K=\Bbb F_5(c_0)$ of the declared ring $R=\Bbb Q_5(c)$ is the field with $5^3$ elements, and all elements in $K^\times$ have order $5^3-1=124$. So we can ask for the Teichmuller lifts of elements of $K$, for instance, for the element $1+c_0$ the lift ist as follows.

sage: R.<c> = Zq(125, prec=5)
sage: K = R.residue_field()
sage: R
5-adic Unramified Extension Ring in c defined by x^3 + 3*x + 3
sage: K
Finite Field in c0 of size 5^3
sage: R.teichmuller( K(1+c) )
(c + 1) + (4*c^2 + 3*c + 2)*5 + (4*c^2 + 3*c + 1)*5^2 + 3*c*5^3 + (c^2 + 2*c + 4)*5^4 + O(5^5)
sage: _^124
1 + O(5^5)

Note: Check also if the following does a better job in the intentioned application:

R.teichmuller_system()

You can simply ask for the roots of cyclotomic polynomials

sage: R.<c> = Zq(125, prec=20)
sage: cyclotomic_polynomial(4).roots(multiplicities=False, ring=R)
[2 + 5 + 2*5^2 + 5^3 + 3*5^4 + 4*5^5 + ... + 4*5^17 + 4*5^19 + O(5^20),
 3 + 3*5 + 2*5^2 + 3*5^3 + 5^4 + 2*5^6 + ... + 2*5^16 + 4*5^18 + O(5^20)]

Sadly, the zeta method is not available to give you a single primitive n-th root

sage: R.zeta(4)
Traceback (most recent call last):
...
NotImplementedError: