Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: MSC category 11Y40 ( Algebraic number theory computations )

  Expand all        Collapse all Results 1 - 4 of 4

1. CJM 2008 (vol 60 pp. 1267)

Blake, Ian F.; Murty, V. Kumar; Xu, Guangwu
Nonadjacent Radix-$\tau$ Expansions of Integers in Euclidean Imaginary Quadratic Number Fields
In his seminal papers, Koblitz proposed curves for cryptographic use. For fast operations on these curves, these papers also initiated a study of the radix-$\tau$ expansion of integers in the number fields $\Q(\sqrt{-3})$ and $\Q(\sqrt{-7})$. The (window) nonadjacent form of $\tau$-expansion of integers in $\Q(\sqrt{-7})$ was first investigated by Solinas. For integers in $\Q(\sqrt{-3})$, the nonadjacent form and the window nonadjacent form of the $\tau$-expansion were studied. These are used for efficient point multiplications on Koblitz curves. In this paper, we complete the picture by producing the (window) nonadjacent radix-$\tau$ expansions for integers in all Euclidean imaginary quadratic number fields.

Keywords:algebraic integer, radix expression, window nonadjacent expansion, algorithm, point multiplication of elliptic curves, cryptography
Categories:11A63, 11R04, 11Y16, 11Y40, 14G50

2. CJM 2007 (vol 59 pp. 553)

Dasgupta, Samit
Computations of Elliptic Units for Real Quadratic Fields
Let $K$ be a real quadratic field, and $p$ a rational prime which is inert in $K$. Let $\alpha$ be a modular unit on $\Gamma_0(N)$. In an earlier joint article with Henri Darmon, we presented the definition of an element $u(\alpha, \tau) \in K_p^\times$ attached to $\alpha$ and each $\tau \in K$. We conjectured that the $p$-adic number $u(\alpha, \tau)$ lies in a specific ring class extension of $K$ depending on $\tau$, and proposed a ``Shimura reciprocity law" describing the permutation action of Galois on the set of $u(\alpha, \tau)$. This article provides computational evidence for these conjectures. We present an efficient algorithm for computing $u(\alpha, \tau)$, and implement this algorithm with the modular unit $\alpha(z) = \Delta(z)^2\Delta(4z)/\Delta(2z)^3.$ Using $p = 3, 5, 7,$ and $11$, and all real quadratic fields $K$ with discriminant $D < 500$ such that $2$ splits in $K$ and $K$ contains no unit of negative norm, we obtain results supporting our conjectures. One of the theoretical results in this paper is that a certain measure used to define $u(\alpha, \tau)$ is shown to be $\mathbf{Z}$-valued rather than only $\mathbf{Z}_p \cap \mathbf{Q}$-valued; this is an improvement over our previous result and allows for a precise definition of $u(\alpha, \tau)$, instead of only up to a root of unity.

Categories:11R37, 11R11, 11Y40

3. CJM 2006 (vol 58 pp. 580)

Greither, Cornelius; Kučera, Radan
Annihilators for the Class Group of a Cyclic Field of Prime Power Degree, II
We prove, for a field $K$ which is cyclic of odd prime power degree over the rationals, that the annihilator of the quotient of the units of $K$ by a suitable large subgroup (constructed from circular units) annihilates what we call the non-genus part of the class group. This leads to stronger annihilation results for the whole class group than a routine application of the Rubin--Thaine method would produce, since the part of the class group determined by genus theory has an obvious large annihilator which is not detected by that method; this is our reason for concentrating on the non-genus part. The present work builds on and strengthens previous work of the authors; the proofs are more conceptual now, and we are also able to construct an example which demonstrates that our results cannot be easily sharpened further.

Categories:11R33, 11R20, 11Y40

4. CJM 2000 (vol 52 pp. 369)

Granville, Andrew; Mollin, R. A.; Williams, H. C.
An Upper Bound on the Least Inert Prime in a Real Quadratic Field
It is shown by a combination of analytic and computational techniques that for any positive fundamental discriminant $D > 3705$, there is always at least one prime $p < \sqrt{D}/2$ such that the Kronecker symbol $\left(D/p\right) = -1$.

Categories:11R11, 11Y40

© Canadian Mathematical Society, 2014 :