Campo (álgebra)

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 14 de julio de 2022; las comprobaciones requieren 4 ediciones .

Un campo en álgebra general  es un conjunto para cuyos elementos se definen las operaciones de suma , tomando el valor opuesto , multiplicación y división (excepto la división por cero ), y las propiedades de estas operaciones son cercanas a las propiedades de las operaciones numéricas ordinarias . El campo más simple es el campo de los números racionales (fracciones). Los elementos de un campo no son necesariamente números, por lo que aunque los nombres de las operaciones de campo se toman de la aritmética , las definiciones de las operaciones pueden estar lejos de la aritmética.

El campo es el principal tema de estudio de la teoría de campos . Números racionales , reales , complejos , funciones racionales [1] y residuos módulo un número primo dado forman campos .

Historia

En el marco del concepto de campo , Galois trabajó implícitamente en 1830, utilizando la idea de una extensión algebraica de un campo, logró encontrar una condición necesaria y suficiente para que una ecuación en una variable sea resuelta en radicales _ Posteriormente, con la ayuda de la teoría de Galois , se demostró la imposibilidad de resolver problemas tan clásicos como la cuadratura de un círculo , la trisección de un ángulo y la duplicación de un cubo .

Una definición explícita del concepto de campo se atribuye a Dedekind (1871), quien utilizó el término alemán Körper (cuerpo). El término "field" ( campo inglés  ) fue introducido en 1893 por el matemático estadounidense Eliakim Hastings Moore [2] .

Siendo la más cercana de todas las abstracciones algebraicas generales a los números ordinarios, el campo se usa en álgebra lineal como una estructura que universaliza el concepto de escalar , y la estructura principal del álgebra lineal, el espacio lineal  , se define como una construcción sobre un objeto arbitrario. campo. Además , la teoría de campos constituye en gran medida la base instrumental de secciones como la geometría algebraica y la teoría algebraica de números .

Definiciones formales

Formalmente, un campo es un álgebra sobre un conjunto que forma un grupo conmutativo por suma sobre un elemento neutro y un grupo conmutativo por multiplicación sobre elementos distintos de cero , con la propiedad distributiva de la multiplicación con respecto a la suma.

Si ampliamos la definición, entonces un conjunto con las operaciones algebraicas de suma y multiplicación introducidas en él ( , es decir ) se llama campo si se cumplen los siguientes axiomas:

  1. Conmutatividad de la suma: .
  2. Asociatividad de adición: .
  3. Existencia de un elemento nulo: .
  4. La existencia del elemento opuesto: .
  5. Conmutatividad de la multiplicación: .
  6. Asociatividad de la multiplicación: .
  7. Existencia de un solo elemento: .
  8. Existencia de elemento inverso para elementos distintos de cero: .
  9. Distributividad de la multiplicación con respecto a la suma: .

Los axiomas 1-4 corresponden a la definición de un grupo conmutativo por adición sobre ; los axiomas 5-8 corresponden a la definición de un grupo conmutativo por multiplicación sobre ; el axioma 9 conecta las operaciones de suma y multiplicación por una ley distributiva.

Los axiomas 1-7 y 9 son la definición de un anillo conmutativo con identidad.

Todos los axiomas anteriores, a excepción de la conmutatividad de la multiplicación, también corresponden a la definición de un cuerpo .

En conexión con otras estructuras (históricamente emergentes más tarde), un campo puede definirse como un anillo conmutativo que es un anillo de división . La jerarquía de la estructura es la siguiente:

Anillos conmutativos ⊃Dominios de integridad ⊃ Anillos factoriales ⊃Dominios de ideales principales ⊃ Anillos euclidianos ⊃ Campos.

Definiciones relacionadas

Sobre los campos, las definiciones algebraicas generales básicas se introducen de forma natural: un subcampo es un subconjunto que es en sí mismo un campo con respecto a la restricción de operaciones del campo principal a él, y una extensión  es un campo que contiene lo dado como un subcampo.

El homomorfismo de campos también se introduce de forma natural: como una aplicación tal que , y . En particular, ningún elemento invertible bajo el homomorfismo puede ir a cero, ya que , por lo tanto, el núcleo de cualquier homomorfismo de campo es cero, es decir, el homomorfismo de campo es una incrustación .

La característica del campo  es la misma que la característica del anillo : el entero positivo más pequeño tal que la suma de copias de uno es cero:

Si tal número no existe, entonces la característica se considera igual a cero. El problema de determinar la característica generalmente se resuelve utilizando el concepto de un campo simple  : un campo que no contiene sus propios subcampos, debido al hecho de que cualquier campo contiene exactamente uno de los campos simples.

Los campos de Galois  son campos formados por un número finito de elementos. El nombre de su primer explorador Évariste Galois .

Propiedades

  • El número de elementos en un campo finito siempre es igual a la  potencia de un número primo.
    • Además, para cualquier número de la forma hay un campo de elementos único (excepto el isomorfismo ) , generalmente denotado por .
  • No hay divisores de cero en el campo .
  • Cualquier subgrupo finito de un grupo de campo multiplicativo es cíclico . En particular, el grupo multiplicativo de elementos distintos de cero de un campo finito es isomorfo a .
  • Desde el punto de vista de la geometría algebraica , los campos son puntos, porque su espectro consta exactamente de un punto: el {0} ideal . De hecho, el campo no contiene otros ideales propios : si un elemento distinto de cero pertenece a un ideal, entonces todos sus múltiplos, es decir, todo el campo, están en el ideal. Por el contrario, un anillo conmutativo que no es un campo contiene un elemento no invertible (y distinto de cero) a . Entonces el ideal principal generado por a no coincide con todo el anillo y está contenido en algún ideal máximo (y por lo tanto simple ); y por lo tanto el espectro de este anillo contiene al menos dos puntos.
  • Ejemplos de campo

    Campos de característica igual a 0

    Campos de característica distinta de cero

    Todo campo finito tiene una característica distinta de cero. Ejemplos de campos finales:

    Hay ejemplos de campos infinitos de característica distinta de cero.

    Véase también

    Notas

    1. Lev Dmítrievich Kudryavtsev. Curso de análisis matemático. Volúmen 1
    2. Primeros usos conocidos de algunas de las palabras de las matemáticas (F) . Consultado el 28 de septiembre de 2019. Archivado desde el original el 24 de enero de 2021.

    Literatura