Catálogo de publicaciones - libros

Compartir en
redes sociales


Discovering Mathematics with Magma: Reducing the Abstract to the Concrete

Wieb Bosma ; John Cannon (eds.)

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Mathematical Software; Algebra; Algorithms; Symbolic and Algebraic Manipulation

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-3-540-37632-3

ISBN electrónico

978-3-540-37634-7

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

© Springer 2006

Cobertura temática

Tabla de contenidos

Some computational experiments in number theory

Wieb Bosma

The code and some computational results of experiments in number theory are given. The experiments concern covering systems with applications to explicit primality tests, the inverse of Euler’s totient function, and class number relations in Galois extensions of ℚ. Some evidence for various conjectures and open problems is given.

Pp. 1-30

Applications of the class field theory of global fields

Claus Fieker

Class field theory of global fields provides a description of finite abelian extensions of number fields and of function fields of transcendence degree 1 over finite fields. After a brief review of the handling of both function and number fields in , we give an introduction to computational class field theory focusing on applications: We show how to construct tables of small degree extensions and how to utilize the class field theory to find curves with many rational points.x

Pp. 31-62

Some ternary Diophantine equations of signature (, , 2)

Nils Bruin

In this article, we will determine the primitive integral solutions to equations of the form

Pp. 63-91

Studying the Birch and Swinnerton-Dyer conjecture for modular abelian varieties using Magma

William Stein

In this paper we describe the Birch and Swinnerton-Dyer conjecture in the case of modular abelian varieties and how to use to do computations with some of the quantities that appear in the conjecture. We assume the reader has some experience with algebraic varieties and number theory, but do not assume the reader has proficiency working with elliptic curves, abelian varieties, modular forms, or modular symbols. The computations give evidence for the Birch and Swinnerton- Dyer conjecture and increase our explicit understanding of modular abelian varieties.

Pp. 93-116

Computing with the analytic Jacobian of a genus 2 curve

Paul B. van Wamelen

We solve two genus 2 curve problems using . First we give examples of how can be used to find the equation of a genus 2 curve whose Jacobian has prescribed Complex Multiplication. We treat 2 fields, one easy and one harder. Secondly we show how can be used to find, and ultimately prove existence of, rational isogenies between the Jacobians of two genus 2 curves.

Pp. 117-135

Graded rings and special K3 surfaces

Gavin Brown

Many recent constructions of varieties, including the lists of K3 surfaces in , use graded ring methods.We show how to apply the method using and, as an application, construct 27 families of K3 surfaces that appear as degenerate cases of surfaces in the usual lists. These are displayed in Tables 1–3 and include both standard degenerations and new examples.

Pp. 137-159

Constructing the split octonions

Donald E. Taylor

In this chapter we construct the split octonion algebra over a ring, first using the structure constant machinery of and then using Lie algebras.

Pp. 161-185

Support varieties for modules

Jon F. Carlson

The support variety of a module over a group algebra is an affine variety that encodes many of the homological properties of the module. Although the definition of the support variety is given in terms of the cohomology ring of the group, it can be computed directly from the actions of the elementary abelian subgroups.

Pp. 187-204

When is projectivity detected on subalgebras?

Jon F. Carlson

A well known theorem of Chouinard states that if is a finite group and is a field of characteristic > 0, then a -module is projective precisely when its restrictions to all elementary abelian -subgroups of are projective. We investigate some similar situations in which the restrictions to subalgebras detect the projectivity of a module over an algebra.

Pp. 205-220

Cohomology and group extensions in Magma

Derek F. Holt

We describe the theory and implementation of some new and more flexible functions for computing cohomology groups of finite groups, and their application to the computation of group extensions.

Pp. 221-241