По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления (кроме деления на ноль), причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Элементы поля не обязательно являются числами, поэтому, несмотря на то, что названия операций поля взяты из арифметики, определения операций могут быть далеки от арифметических.
 Поле — основной предмет изучения теории полей. Рациональные, вещественные, комплексные числа, рациональные функции и вычеты по модулю заданного простого числа образуют поля.
 В рамках понятия о поле неявно работал ещё Галуа в 1830 году, с использованием идеи алгебраического расширения поля ему удалось найти необходимое и достаточное условие того, чтобы уравнение от одной переменной можно было решить в радикалах. Позднее при помощи теории Галуа была доказана невозможность решения таких классических задач, как квадратура круга, трисекция угла и удвоение куба.
 Явное определение понятия поля относят к Дедекинду (1871 год), который использовал немецкий термин Körper (тело). Термин «поле» (англ. field) ввёл в 1893 году американский математик Элиаким Гастингс Мур.
 Будучи наиболее близким из всех общеалгебраических абстракций к обычным числам, поле используется в линейной алгебре как структура, универсализирующая понятие скаляра, и основная структура линейной алгебры — линейное пространство — определяется как конструкция над произвольным полем. Также теория полей в значительной степени составляет инструментальную основу таких разделов, как алгебраическая геометрия и алгебраическая теория чисел.
 Формально, поле — алгебра над множеством 
  
    
      
        F
      
    
    {\displaystyle F}
  
, образующая коммутативную группу по сложению 
  
    
      
        +
      
    
    {\displaystyle +}
  
 над 
  
    
      
        F
      
    
    {\displaystyle F}
  
 с нейтральным элементом 
  
    
      
        
          0
        
      
    
    {\displaystyle {\boldsymbol {0}}}
  
 и коммутативную группу по умножению 
  
    
      
        ∗
      
    
    {\displaystyle *}
  
 над ненулевыми элементами 
  
    
      
        F
        ∖
        {
        
          0
        
        }
      
    
    {\displaystyle F\setminus \{{\boldsymbol {0}}\}}
  
, при выполняющемся свойстве дистрибутивности умножения относительно сложения. Подразумевается также применимость операции 
  
    
      
        ∗
      
    
    {\displaystyle *}
  
 к нулевому элементу по сложению с сохранением свойства дистрибутивности на всём множестве 
  
    
      
        F
      
    
    {\displaystyle F}
  
.
 Если раскрыть определение, то множество 
  
    
      
        F
      
    
    {\displaystyle F}
  
 с введёнными на нём алгебраическими операциями сложения 
  
    
      
        +
      
    
    {\displaystyle +}
  
 и умножения 
  
    
      
        ∗
      
    
    {\displaystyle *}
  
 (
  
    
      
        +
        :
        F
        ×
        F
        →
        F
        ,
        
        ∗
        :
        F
        ×
        F
        →
        F
      
    
    {\displaystyle +\colon F\times F\to F,\quad *\colon F\times F\to F}
  
, то есть 
  
    
      
        ∀
        a
        ,
        b
        ∈
        F
        
        (
        a
        +
        b
        )
        ∈
        F
        ,
        
        a
        ∗
        b
        ∈
        F
      
    
    {\displaystyle \forall a,b\in F\quad (a+b)\in F,\;a*b\in F}
  
) называется полем 
  
    
      
        
          ⟨
          
            F
            ,
            +
            ,
            ∗
          
          ⟩
        
      
    
    {\displaystyle \left\langle F,+,*\right\rangle }
  
, если выполнены следующие аксиомы:
 Аксиомы 1—4 соответствуют определению коммутативной группы по сложению 
  
    
      
        +
      
    
    {\displaystyle +}
  
 над 
  
    
      
        F
      
    
    {\displaystyle F}
  
; аксиомы 5—8 соответствуют определению коммутативной группы по умножению 
  
    
      
        ∗
      
    
    {\displaystyle *}
  
 над 
  
    
      
        F
        ∖
        {
        
          0
        
        }
      
    
    {\displaystyle F\setminus \{{\boldsymbol {0}}\}}
  
; аксиома 9 связывает операции сложения и умножения дистрибутивным законом.
 Аксиомы 1—7 и 9 — это определение коммутативного кольца с единицей.
 Все описанные выше аксиомы, за исключением коммутативности умножения, также соответствуют определению тела.
 В связи с другими структурами (исторически возникшими позднее) поле может быть определено как коммутативное кольцо, являющееся телом. Иерархия структур следующая:
 Над полями естественным образом вводятся основные общеалгебраические определения: подполем называется подмножество, само являющееся полем относительно сужения на него операций из основного поля, расширением — поле, содержащее данное в качестве подполя.
 Гомоморфизм полей вводится также естественным образом: как отображение 
  
    
      
        f
      
    
    {\displaystyle f}
  
, такое что 
  
    
      
        f
        (
        a
        +
        b
        )
        =
        f
        (
        a
        )
        +
        f
        (
        b
        )
      
    
    {\displaystyle f(a+b)=f(a)+f(b)}
  
, 
  
    
      
        f
        (
        a
        b
        )
        =
        f
        (
        a
        )
        ⋅
        f
        (
        b
        )
      
    
    {\displaystyle f(ab)=f(a)\cdot f(b)}
  
 и 
  
    
      
        f
        (
        1
        )
        =
        1
      
    
    {\displaystyle f(1)=1}
  
. В частности, никакой обратимый элемент при гомоморфизме не может перейти в ноль, так как 
  
    
      
        f
        (
        a
        )
        ⋅
        f
        (
        
          a
          
            −
            1
          
        
        )
        =
        f
        (
        a
        ⋅
        
          a
          
            −
            1
          
        
        )
        =
        1
      
    
    {\displaystyle f(a)\cdot f(a^{-1})=f(a\cdot a^{-1})=1}
  
, следовательно, ядро любого гомоморфизма полей нулевое, то есть гомоморфизм полей является вложением.
 Характеристика поля — то же, что и характеристика кольца: наименьшее положительное целое число 
  
    
      
        n
      
    
    {\displaystyle n}
  
 такое, что сумма 
  
    
      
        n
      
    
    {\displaystyle n}
  
 копий единицы равна нулю:
 Если такого числа не существует, то характеристика считается равной нулю. Задачу определения характеристики обычно решают с задействованием понятия простого поля — поля, не содержащего собственных подполей, благодаря факту, что любое поле содержит ровно одно из простых полей.
 Поля Галуа — поля, состоящие из конечного числа элементов. Названы в честь их первого исследователя Эвариста Галуа.
 Любое конечное поле имеет характеристику, отличную от нуля. Примеры конечных полей: 
 Существуют примеры бесконечных полей ненулевой характеристики.