A Course in Computational Algebraic Number TheoryWith the advent of powerful computing tools and numerous advances in math ematics, computer science and cryptography, algorithmic number theory has become an important subject in its own right. Both external and internal pressures gave a powerful impetus to the development of more powerful al gorithms. These in turn led to a large number of spectacular breakthroughs. To mention but a few, the LLL algorithm which has a wide range of appli cations, including real world applications to integer programming, primality testing and factoring algorithms, sub-exponential class group and regulator algorithms, etc ... Several books exist which treat parts of this subject. (It is essentially impossible for an author to keep up with the rapid pace of progress in all areas of this subject.) Each book emphasizes a different area, corresponding to the author's tastes and interests. The most famous, but unfortunately the oldest, is Knuth's Art of Computer Programming, especially Chapter 4. The present book has two goals. First, to give a reasonably comprehensive introductory course in computational number theory. In particular, although we study some subjects in great detail, others are only mentioned, but with suitable pointers to the literature. Hence, we hope that this book can serve as a first course on the subject. A natural sequel would be to study more specialized subjects in the existing literature. |
Contents
I | 1 |
II | 2 |
III | 5 |
IV | 6 |
V | 8 |
VI | 12 |
VIII | 16 |
IX | 19 |
CXXIV | 288 |
CXXV | 289 |
CXXVI | 291 |
CXXVII | 295 |
CXXIX | 297 |
CXXX | 298 |
CXXXI | 303 |
CXXXII | 305 |
X | 21 |
XI | 24 |
XII | 27 |
XIII | 31 |
XIV | 32 |
XV | 34 |
XVI | 36 |
XVII | 38 |
XIX | 39 |
XX | 41 |
XXI | 42 |
XXII | 46 |
XXIII | 47 |
XXIV | 48 |
XXV | 50 |
XXVI | 53 |
XXVII | 57 |
XXVIII | 60 |
XXIX | 62 |
XXX | 64 |
XXXI | 66 |
XXXIII | 67 |
XXXIV | 73 |
XXXV | 75 |
XXXVI | 79 |
XXXVII | 82 |
XXXVIII | 84 |
XXXIX | 90 |
XL | 92 |
XLI | 95 |
XLII | 97 |
XLIII | 100 |
XLIV | 103 |
XLV | 106 |
XLVI | 109 |
XLVII | 110 |
XLVIII | 111 |
XLIX | 113 |
L | 114 |
LI | 116 |
LII | 117 |
LIII | 118 |
LIV | 119 |
LV | 123 |
LVI | 124 |
LVII | 125 |
LVIII | 126 |
LIX | 127 |
LX | 133 |
LXI | 134 |
LXII | 135 |
LXIII | 137 |
LXIV | 139 |
LXV | 141 |
LXVI | 142 |
LXVII | 143 |
LXVIII | 146 |
LXIX | 148 |
LXX | 153 |
LXXI | 154 |
LXXII | 158 |
LXXIV | 159 |
LXXV | 160 |
LXXVI | 161 |
LXXVII | 162 |
LXXVIII | 165 |
LXXIX | 168 |
LXXX | 174 |
LXXXII | 175 |
LXXXIII | 177 |
LXXXIV | 179 |
LXXXV | 181 |
LXXXVI | 186 |
LXXXVII | 188 |
LXXXVIII | 190 |
LXXXIX | 196 |
XCI | 199 |
XCII | 201 |
XCIII | 204 |
XCIV | 207 |
XCV | 209 |
XCVI | 217 |
XCVIII | 223 |
XCIX | 225 |
C | 231 |
CII | 234 |
CIII | 237 |
CIV | 240 |
CVI | 243 |
CVII | 250 |
CVIII | 252 |
CX | 255 |
CXI | 260 |
CXII | 262 |
CXIV | 266 |
CXV | 268 |
CXVI | 269 |
CXVIII | 271 |
CXIX | 278 |
CXX | 279 |
CXXI | 283 |
CXXII | 285 |
CXXIII | 287 |
CXXXIII | 308 |
CXXXIV | 311 |
CXXXV | 312 |
CXXXVI | 313 |
CXXXVII | 315 |
CXXXVIII | 317 |
CXXXIX | 318 |
CXL | 320 |
CXLI | 322 |
CXLII | 325 |
CXLIV | 328 |
CXLV | 329 |
CXLVI | 331 |
CXLVII | 333 |
CXLVIII | 334 |
CXLIX | 336 |
CL | 343 |
CLI | 347 |
CLII | 351 |
CLIII | 352 |
CLV | 354 |
CLVI | 357 |
CLVII | 358 |
CLVIII | 360 |
CLIX | 362 |
CLX | 367 |
CLXI | 369 |
CLXII | 372 |
CLXIII | 376 |
CLXIV | 377 |
CLXV | 379 |
CLXVI | 381 |
CLXVII | 384 |
CLXVIII | 385 |
CLXIX | 386 |
CLXX | 387 |
CLXXI | 388 |
CLXXII | 390 |
CLXXIII | 392 |
CLXXIV | 394 |
CLXXVI | 399 |
CLXXVII | 403 |
CLXXVIII | 406 |
CLXXIX | 410 |
CLXXX | 413 |
CLXXXI | 414 |
CLXXXII | 415 |
CLXXXIII | 416 |
CLXXXIV | 417 |
CLXXXV | 419 |
CLXXXVI | 421 |
CLXXXVII | 423 |
CLXXXIX | 424 |
CXC | 425 |
CXCI | 426 |
CXCII | 427 |
CXCIII | 429 |
CXCIV | 430 |
CXCV | 433 |
CXCVI | 434 |
CXCVII | 438 |
CXCVIII | 439 |
CXCIX | 440 |
CC | 441 |
CCI | 442 |
CCII | 445 |
CCIII | 446 |
CCV | 448 |
CCVI | 450 |
CCVII | 455 |
CCVIII | 457 |
CCIX | 463 |
CCX | 465 |
CCXI | 467 |
CCXIII | 471 |
CCXIV | 475 |
CCXV | 477 |
CCXVI | 481 |
CCXVII | 482 |
CCXVIII | 484 |
CCXIX | 485 |
CCXX | 487 |
CCXXI | 489 |
CCXXII | 490 |
CCXXIII | 491 |
CCXXIV | 492 |
CCXXV | 494 |
CCXXVI | 495 |
CCXXVII | 496 |
CCXXVIII | 500 |
CCXXIX | 501 |
CCXXX | 503 |
CCXXXI | 504 |
CCXXXII | 507 |
CCXXXIII | 513 |
CCXXXIV | 515 |
CCXXXV | 519 |
CCXXXVI | 521 |
CCXXXVII | 524 |
CCXXXVIII | 527 |
540 | |
CCXL | 547 |
Other editions - View all
Common terms and phrases
a₁ algebraic integer algebraic number algorithm computes assume B₁ Chapter class group class number coefficients complex congruence coprime corresponding cubic fields defined definition degree denote discriminant division divisor element elliptic curve equal equation equivalent example Exercise exists factor base finite following algorithm formula fractional ideal function fundamental discriminant Galois group give given go to step hence Hermite normal form integral basis inverse irreducible irreducible polynomial isomorphic kernel lattice Legendre symbol Lemma linear LLL algorithm matrix method minimal polynomial modulo monic multiplication non-trivial non-zero notations Note number field number theory obtain Otherwise output prime ideals prime number primitive problem proof Proposition prove quadratic fields quadratic form r₁ real numbers reduced form resp roots of unity Section square squarefree Sub-algorithm terminate the algorithm Theorem Z-basis Z/NZ
Popular passages
Page 532 - AOL Atkin. The number of points on an elliptic curve modulo a prime. Preprint, 1988. 3. AOL Atkin. The number of points on an elliptic curve modulo a prime (ii).
Page 532 - Notes on elliptic curves I." J. Reine Angew. Math. 212 (1963), pp. 7-25. [Ca] JW CASSELS, "The rational solutions of the diophantine equation/ = x3 - D,
Page 532 - J. Buchmann, On the computation of units and class numbers by a generalization of Lagrange's algorithm, J. Number Theory 26 (1987), 8-30.