La teoría de campos es una rama de las matemáticas que estudia las propiedades de los campos , es decir, estructuras que generalizan las propiedades de suma, resta, multiplicación y división de números .
Las primeras definiciones de un campo no incluían el requisito de que la multiplicación sea conmutativa, pero el término moderno "campo" siempre implica que es conmutativo. Una estructura que satisface todas las propiedades de un campo, excepto la conmutatividad de la multiplicación, en la tradición rusa se llama cuerpo . Sin embargo, en alemán el campo se llama Körper (de ahí que la letra se use a menudo para denotar el campo), y en francés - corps , que también se traduce como "cuerpo".
El concepto de campo se utiliza, por ejemplo, en la definición de un espacio vectorial , y por lo tanto es de gran importancia en álgebra lineal . De manera similar, una variedad algebraica , el principal objeto de estudio en geometría algebraica , se define sobre un campo arbitrario. La teoría de números algebraicos se ocupa del estudio de las propiedades de los campos numéricos algebraicos y sus anillos de números enteros; y, por supuesto, utiliza los resultados de la teoría clásica de campos.
Los campos finitos se utilizan en teoría de números y teoría de codificación . En particular, los campos de la característica 2 son útiles para considerar en informática .