Note that this basis extends to a universal basis, i.e the basis for d is a subset of the basis for n iff d|n.
The rank (number of elements in basis) is 2
See Algorithm 2.4 for details
Note that equality is modulo multiplication by an nth unit root.1: v(9,1) = 1
Compare with Algorithm 2.2
1: v(9,1) - method T (Case IV,iii - A22)
2: v(9,2) - method S (Case IV,i - A22)
3: v(3,1) - method T (Case III, A22)
4: v(9,4) - method B (Case IV,ii - A22)
5: v(9,5) - method S (Case IV,i - A22)
6: v(3,2) - method S (Case III, A22)
7: v(9,7) - method B (Case IV,ii - A22)
8: v(9,8) - method S (Case IV,i - A22)
Back to the Cyclotomic Unit Resources page
© by: Marc Conrad, 2016. If you want me
to come to your organisation and talk about cyclotomic units please contact me.
The material on this page is presented "as is". There is no warranty implied by presenting this stuff.
Feel free to use and modify the material for your own teaching. When doing so please link to this web site (http://perisic.com/cyclotomic). In acadmic publications cite this page as: Conrad, Marc (2016) Cyclotomic Units - Relations and Computations (online), available at: http://perisic.com/cyclotomic.
The webspace for this project is kindly provided by the Perisic Guesthouse (www.perisic.com).