Consider the extension Q(ζp)/Q, where ζp is a primitive pth root of unity (and p is a prime number). Form the ring of integers Z[ζp]. Now, invert the prime p, to obtain the ring R=Z[ζp,1/p]. I want to compute Pic(R).
Is this possible to do using sagemath? If so, how? How do I construct the ring R using sagemath?
This will be an incomplete answer as I don't know what Pic means. Also, I am not sure if what is below is the proper way to achieve what you want, but at least it may give you some first hints toward the good direction:
sage: K.<xi> = CyclotomicField(13)
sage: L.<t> = K[]
sage: R.<pinv> = L.extension(13*t-1)This creates those rings:
sage: K
Cyclotomic Field of order 13 and degree 12
sage: L
Univariate Polynomial Ring in t over Cyclotomic Field of order 13 and degree 12
sage: R
Univariate Quotient Polynomial Ring in pinv over Univariate Polynomial Ring in t over Cyclotomic Field of order 13 and degree 12 with modulus 13*pinv - 1And those elements:
sage: xi
xi
sage: pinv
1/13which you can work with:
sage: xi^11
xi^11
sage: xi^12
-xi^11 - xi^10 - xi^9 - xi^8 - xi^7 - xi^6 - xi^5 - xi^4 - xi^3 - xi^2 - xi - 1
sage: pinv * xi^10
1/13*xi^10
sage: pinv * xi^10 + 14*pinv*xi^4+pinv^3
1/13*xi^10 + 14/13*xi^4 + 1/2197Maybe there is a way to get that p instead of my pinv. I let someone else to give a better answer.
Note the Z in the question.
Asked: 4 years ago
Seen: 219 times
Last updated: Apr 02 '20
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
What's your definition of Pic? You could construct R as a quotient of Z[x,y].