Atnaujinkite slapukų nuostatas

Computational Algebra: Course And Exercises With Solutions [Minkštas viršelis]

(Univ De Sfax, Tunisia)
  • Formatas: Paperback / softback, 284 pages
  • Išleidimo metai: 21-May-2021
  • Leidėjas: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9811239304
  • ISBN-13: 9789811239304
Kitos knygos pagal šią temą:
  • Formatas: Paperback / softback, 284 pages
  • Išleidimo metai: 21-May-2021
  • Leidėjas: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9811239304
  • ISBN-13: 9789811239304
Kitos knygos pagal šią temą:
This book intends to provide material for a graduate course on computational commutative algebra and algebraic geometry, highlighting potential applications in cryptography. Also, the topics in this book could form the basis of a graduate course that acts as a segue between an introductory algebra course and the more technical topics of commutative algebra and algebraic geometry.This book contains a total of 124 exercises with detailed solutions as well as an important number of examples that illustrate definitions, theorems, and methods. This is very important for students or researchers who are not familiar with the topics discussed. Experience has shown that beginners who want to take their first steps in algebraic geometry are usually discouraged by the difficulty of the proposed exercises and the absence of detailed answers. Therefore, exercises (and their solutions) as well as examples occupy a prominent place in this course.This book is not designed as a comprehensive reference work, but rather as a selective textbook. The many exercises with detailed answers make it suitable for use in both a math or computer science course.
Introduction vii
1 Grobner bases over arithmetical rings
1(70)
1.1 Dickson's lemma and Grobner bases over fields
2(10)
1.2 Grobner bases over coherent valuation rings
12(13)
1.2.1 Grobner bases over Z/pαZ
23(2)
1.3 Grobner bases over coherent arithmetical rings
25(13)
1.3.1 A parallelisable algorithm for computing dynamical Grobner bases over Z/mZ
31(2)
1.3.2 A parallelisable algorithm for computing Grobner bases over (Z/pαZ) × (Z/pαZ)
33(3)
1.3.3 Dynamical Grobner bases over Boolean rings
36(2)
1.4 Grobner bases over coherent Bezout rings
38(6)
1.5 The syzygy theorem over fields, Z, Zpz, and Z/NZ
44(15)
1.5.1 The syzygy theorem and Schreyer's algorithm for a coherent valuation ring
49(5)
1.5.2 The syzygy theorem and Schreyer's algorithm for a coherent Bezout ring
54(2)
1.5.3 The case of the integers
56(1)
1.5.4 The case of Z/NZ
57(2)
1.6 Exercises
59(4)
1.7 Solutions to the exercises
63(8)
2 Varieties, Ideals, and Grobner bases
71(44)
2.1 The Ideal-Variety Correspondence
71(11)
2.2 Computing on subvarieties of An (K) with Grobner bases
82(3)
2.3 Singular points of a plane curve
85(3)
2.4 Solving polynomial systems with Grobner bases
88(2)
2.5 Solving zero-dimensional polynomial systems
90(8)
2.6 Complexity of computing a Grobner basis
98(1)
2.7 Hilbert series
98(4)
2.8 Exercises
102(5)
2.9 Solutions to the exercises
107(8)
3 Finite fields and field extensions
115(22)
3.1 Construction of finite fields
115(1)
3.2 Field extensions and Galois groups
116(2)
3.3 Automorphisms group of a finite field
118(5)
3.4 Exercises
123(6)
3.5 Solutions to the exercises
129(8)
4 Algorithms for cryptography
137(12)
4.1 Public-key cryptosystems --- RSA method
137(3)
4.2 Groups based cryptography
140(3)
4.2.1 Diffie-Hellman keys exchange
140(1)
4.2.2 El-Gamal's encryption
141(1)
4.2.3 El-Gamal's signature
141(1)
4.2.4 Massey-Omura coding
142(1)
4.2.5 The choice of the group
142(1)
4.3 Exercises
143(2)
4.4 Solutions to the exercises
145(4)
5 Algebraic plane curves
149(72)
5.1 Projective space and projective varieties
149(3)
5.2 Algebraic plane curves
152(5)
5.3 Riemann-Roch theorem
157(10)
5.4 Rational maps between algebraic curves
167(5)
5.5 Resultants and Bezout's theorem
172(13)
5.5.1 Resultants
173(4)
5.5.2 Bezout's theorem
177(8)
5.6 Genus computation via quadratic transformations
185(11)
5.7 Exercises
196(8)
5.8 Solutions to the exercises
204(17)
6 Elliptic curves
221(44)
6.1 Elliptic curves over a field
221(11)
6.2 Elliptic curves over a finite field
232(4)
6.3 Exercises
236(11)
6.4 Solutions to the exercises
247(18)
Index 265(4)
Bibliography 269
Ihsen Yengui is a Professor of Mathematics at the University of Sfax (Tunisia). He also published the book: Constructive Commutative Algebra Projective modules over polynomial rings and dynamical Gröbner bases. Lecture Notes in Mathematics, 2138, Springer 2015.