Advanced Topics in Computational Number TheorySpringer Science & Business Media, 1999. nov. 30. - 581 oldal The computation of invariants of algebraic number fields such as integral bases, discriminants, prime decompositions, ideal class groups, and unit groups is important both for its own sake and for its numerous applications, for example, to the solution of Diophantine equations. The practical com pletion of this task (sometimes known as the Dedekind program) has been one of the major achievements of computational number theory in the past ten years, thanks to the efforts of many people. Even though some practical problems still exist, one can consider the subject as solved in a satisfactory manner, and it is now routine to ask a specialized Computer Algebra Sys tem such as Kant/Kash, liDIA, Magma, or Pari/GP, to perform number field computations that would have been unfeasible only ten years ago. The (very numerous) algorithms used are essentially all described in A Course in Com putational Algebraic Number Theory, GTM 138, first published in 1993 (third corrected printing 1996), which is referred to here as [CohO]. That text also treats other subjects such as elliptic curves, factoring, and primality testing. Itis important and natural to generalize these algorithms. Several gener alizations can be considered, but the most important are certainly the gen eralizations to global function fields (finite extensions of the field of rational functions in one variable overa finite field) and to relative extensions ofnum ber fields. As in [CohO], in the present book we will consider number fields only and not deal at all with function fields. |
Tartalomjegyzék
II | 3 |
V | 4 |
VI | 8 |
VII | 15 |
VIII | 19 |
IX | 22 |
X | 25 |
XI | 27 |
CXI | 279 |
CXII | 280 |
CXIII | 282 |
CXIV | 283 |
CXV | 285 |
CXVI | 286 |
CXVII | 289 |
CXVIII | 290 |
XII | 28 |
XIII | 30 |
XIV | 34 |
XV | 36 |
XVI | 37 |
XVII | 39 |
XVIII | 40 |
XX | 43 |
XXI | 44 |
XXII | 51 |
XXV | 52 |
XXVI | 58 |
XXVII | 61 |
XXVIII | 64 |
XXIX | 68 |
XXX | 74 |
XXXII | 78 |
XXXIV | 80 |
XXXV | 82 |
XXXVI | 85 |
XXXVII | 91 |
XXXVIII | 94 |
XXXIX | 96 |
XL | 101 |
XLI | 104 |
XLII | 112 |
XLIII | 113 |
XLIV | 116 |
XLV | 117 |
XLVI | 118 |
XLVII | 120 |
XLVIII | 123 |
XLIX | 125 |
L | 127 |
LI | 129 |
LII | 131 |
LIII | 135 |
LV | 137 |
LVI | 140 |
LVIII | 141 |
LIX | 147 |
LX | 149 |
LXI | 152 |
LXIII | 153 |
LXIV | 154 |
LXV | 155 |
LXVI | 156 |
LXVII | 158 |
LXVIII | 162 |
LXIX | 165 |
LXX | 166 |
LXXI | 168 |
LXXII | 170 |
LXXIII | 171 |
LXXIV | 172 |
LXXV | 174 |
LXXVI | 176 |
LXXVII | 178 |
LXXVIII | 181 |
LXXIX | 184 |
LXXX | 187 |
LXXXI | 188 |
LXXXII | 192 |
LXXXIII | 200 |
LXXXIV | 206 |
LXXXV | 208 |
LXXXVI | 211 |
LXXXVII | 213 |
LXXXVIII | 215 |
LXXXIX | 216 |
XC | 220 |
XCI | 221 |
XCII | 225 |
XCV | 228 |
XCVI | 229 |
XCIX | 231 |
C | 235 |
CI | 238 |
CII | 250 |
CIII | 256 |
CIV | 257 |
CV | 258 |
CVI | 262 |
CVII | 272 |
CIX | 274 |
CX | 276 |
CXIX | 291 |
CXX | 292 |
CXXI | 295 |
CXXII | 299 |
CXXV | 300 |
CXXVI | 301 |
CXXVII | 303 |
CXXVIII | 305 |
CXXIX | 308 |
CXXX | 309 |
CXXXI | 311 |
CXXXII | 312 |
CXXXIII | 313 |
CXXXIV | 315 |
CXXXV | 316 |
CXXXVI | 317 |
CXXXVII | 327 |
CXXXVIII | 335 |
CXXXIX | 346 |
CXL | 349 |
CXLI | 350 |
CXLII | 351 |
CXLIII | 354 |
CXLIV | 360 |
CXLV | 362 |
CXLVII | 367 |
CXLVIII | 369 |
CXLIX | 371 |
CL | 373 |
CLI | 375 |
CLII | 379 |
CLIV | 380 |
CLV | 382 |
CLVI | 384 |
CLVII | 391 |
CLIX | 397 |
CLX | 402 |
CLXI | 406 |
CLXII | 411 |
CLXIII | 420 |
CLXIV | 424 |
CLXVI | 427 |
CLXVII | 428 |
CLXVIII | 431 |
CLXX | 432 |
CLXXI | 435 |
CLXXII | 439 |
CLXXIII | 446 |
CLXXIV | 447 |
CLXXVI | 453 |
CLXXVII | 455 |
CLXXVIII | 457 |
CLXXIX | 462 |
CLXXX | 463 |
CLXXXI | 465 |
CLXXXII | 466 |
CLXXXIII | 467 |
CLXXXIV | 468 |
CLXXXV | 469 |
CLXXXVII | 470 |
CLXXXVIII | 477 |
CXCI | 479 |
CXCII | 482 |
CXCIII | 486 |
CXCIV | 489 |
CXCV | 494 |
CXCVI | 496 |
CXCVII | 500 |
CXCVIII | 510 |
CC | 518 |
CCI | 520 |
CCII | 525 |
CCIV | 526 |
CCV | 527 |
CCVI | 528 |
CCVII | 529 |
CCVIII | 531 |
CCIX | 535 |
CCXI | 540 |
CCXII | 545 |
CCXIII | 547 |
551 | |
566 | |
571 | |
CCXVII | |
Más kiadások - Összes megtekintése
Gyakori szavak és kifejezések
a₁ Abelian extension absolute algebraic algorithm computes assume base field C₁ Cl(K class field theory Clm(K coefficients Coh0 Coho compositum conductor congruence subgroup coprime Corollary corresponding cyclic extension Dedekind domain defining polynomial definition degree denote disc(F discrete logarithm discriminant divisor element equal equivalent exact sequence Exercise exists extension L/K factor finite follows formula function Galois group given gives go to step hence Hilbert class field integral basis integral ideal irreducible isomorphic K₂ kernel Kummer L₂ Lemma Let L/K m₁ matrix method modulo monic polynomial NL/K nonzero norm notation number field Number Theory obtain output prime ideal prime number principal ideal Proof Proposition proving pseudo-basis pseudo-matrix quadratic fields r₁ ramified ray class field ray class group reduced root Section squarefree Subalgorithm subfield terminate the algorithm Theorem unramified ZK/m ZK/p
Népszerű szakaszok
ii. oldal - Mathematical Logic. 38 GRAUERTIFRITZSCHE. Several Complex Variables. 39 ARvEsoN. An Invitation to C