index


      
  
    Three Rings for the Elven-kings under the sky,
    Seven for the Dwarflords in their halls of stone,
    Nine for Mortal Men doomed to die,
    One for the Dark Lord on his dark throne
    In the Land of Mordor where the Shadows lie.
    One Ring to rule them all,
    One Ring to find them,
    One Ring to bring them all and in the darkness bind them.

           J.R.R.Tolkien, The Lord of the Rings

    


конспект книжечки Николая Вавилова "Конкретная теория колец"


  • булево кольцо множеств
  • кольцо матриц
  • кольцо полиномов
  • прямая сумма колец
  • гомоморфизмы колец
  • внутренние автоморфизмы
  • проекции на слагаемые
  • каноническая проекция
  • тела и поля
  • нильпотенты
  • идемпотенты
  • характеристика
  • кольцо операторов
  • кольцо функций
  • кольца

    Def: непустое множество R с двумя бинарными операциями, сложением ‘+’ и умножением ‘*’, называется кольцом, если R образует абелеву группу по сложению и умножение двусторонне-дистрибутивно относительно сложения

    иными словами, предполагается, что выполнены следующие четыре аксиомы, относящиеся к сложению:

    A1:   ∀ x, y, z ∈ R,        (x + y) + z = x + (y + z)
    A2:   ∃ 0 ∈ R, ∀ x ∈ R,      x + 0 = x = 0 + x
    A3:   ∀ x ∈ R, ∃ −x ∈ R,     x + (− x) = 0 = (− x) + x
    A4:   ∀ x, y ∈ R,            x + y = y + x
    

    через R⁺ обозначается аддитивная группа кольца R, которая получается, когда мы забываем о том, что на R задано умножение. однако в действительности умножение в кольце есть и оно связано со сложением следующими двумя аксиомами дистрибутивности:

    D1:   ∀ x, y, z ∈ R,         x * (y + z) = (x * y) + (x * z)     (правая дистрибутивность)
    D2:   ∀ x, y, z ∈ R,         (x + y) * z = (x * z) + (y * z)     (левая дистрибутивность)
    

    Def: R – ассоциативное кольцо с 1, если R образует моноид по умножению, т.е. если дополнительно к A1–A4,D1,D2 выполнены две следующие аксиомы:

    M1:    ∀ x, y, z ∈ R,         (x * y) * z = x * (y * z)
    M2:    ∃ 1 ∈ R, ∀ x ∈ R,       x * 1 = x = 1 * x
    

    если, кроме того, умножение коммутативно, т.е

    M3:    ∀ x, y ∈ R,             x * y = y * x
    

    то кольцо R будет называться коммутативным

    делители нуля

    пусть R - ассоциативное кольцо с 1. элемент x ∈ R называется левым делителем нуля, если существует такой y ∈ R, y≠0, что x * y = 0

    правый делитель нуля определятся аналогично. в коммутативных кольцах можно говорить просто "о делителях нуля" (не указывая правый он или левый)

    Def: ассоциативное кольцо R называется кольцом без делителей нуля (целостным кольцом), если в нем нет ненулевых делителей нуля

    кольцо без делителей нуля называется областью. коммутативное кольцо без делителей нуля называется областью целостности

    кольцо с нулевым умножением

    пусть R – абелева группа по сложению, содержащая по крайней мере два элемента

    определим в R умножение, положив x * y = 0 для любых x, y ∈ R. получившееся ассоциативное коммутативное кольцо без 1 называется кольцом с нулевым умножением

    любой R-модуль (в частности, любое векторное пространство V над полем K) можно рассматривать как кольцо с нулевым умножением


    примеры колец


    булево кольцо множеств

    пусть R обозначает множество всех подмножеств некоторого множества X. тогда R не может, разумеется, быть кольцом относительно объединения (как сложения) и пересечения (как умножения). в самом деле, относительно объединения R есть коммутативный моноид, но не группа – ни одно непустое подмножество не будет обратимым относительно объединения

    возьмем поэтому в качестве сложения симметрическую разность Δ, относительно которой R является абелевой группой, а в качестве умножения – пересечение ∩, которое дистрибутивно относительно Δ

    вот с этими операциями R образует коммутативное ассоциативное кольцо с 1, являющееся основным примером булева кольца (не путать с булевыми алгебрами)

    ассоциативное кольцо R с 1 называется булевым, если x²=x для всех x ∈ R

    реализация на Окамле:


    листинг Окамла
    module Int =
      struct
        type t = int
               
        let compare x y = compare x y
      end
    ;;
    
    open Int ;;
    open Set ;;
    
    module Sigma =
      struct
    
        type a = Int.t
        type t = Set.Make (Int).t
    
        module SI = Set.Make (Int) ;; open SI ;;
    
        let symDiff x y =                       (* realization of 'symmetric difference' op *)
          union (diff x y) (diff y x)
    
        let e = empty                           (*  {}                                      *)
        let x = singleton 1 |> add 2 |> add 3   (*  {1,2,3}                                 *)
        let y = singleton 1                     (*  {1}                                     *)
        let z = singleton 2 |> add 3            (*  {2,3}                                   *)
    
        let algebra = [ e; x; y; z ]            (*  {{},{1,2,3},{1},{2,3}}                  *)
    
      end
    ;;
       
                       (*         test suit             *)
    
    module X = Sigma ;; open X ;;
      
                       (*     neutral element test    *)
    
    let test_unit a = assert (SI.equal (symDiff a e) (symDiff e a)) ;;
    
    List.map test_unit algebra ;;
        
                       (*     A Δ B = B Δ A         *)
    
    let test_commutative a b = assert (symDiff a b = symDiff b a) ;;
    
    test_commutative x y ;;
    test_commutative x z ;;
    test_commutative y z ;;
      
                       (*    A Δ (B Δ C) = (A Δ B) Δ C     *)
    
    let test_assoc a b c = assert (symDiff a (symDiff b c) = symDiff (symDiff a b) c) ;;
    
    test_assoc x y z ;; test_assoc x z y ;;
    test_assoc y z x ;; test_assoc y x z ;;
    test_assoc z x y ;; test_assoc z y x ;;
      
                       (*     A ∩ (B Δ C) = (A ∩ B) Δ (A ∩ C)      *)
    
    let test_distributive a b c =   
      let m = SI.inter a (symDiff b c)
      and n = symDiff (SI.inter a b) (SI.inter a c)
      in assert (SI.equal m n) ;;
    
    test_distributive x y z ;; test_distributive x z y ;;
    test_distributive y z x ;; test_distributive y x z ;;       
    test_distributive z x y ;; test_distributive z y x ;; 
    
                       (*  closureness of 'symDiff' operation  *)
    
    let fActionDiff a b = List.map (fun c -> c = symDiff a b) algebra
    and fTestResult xs  = List.exists (fun r -> r = true) xs
        in  List.map
              (fun a ->
                List.map 
                  (fun b ->
                    fActionDiff a b |> fTestResult
                  ) algebra         |> fTestResult
              ) algebra             |> fTestResult
    ;;
    
    assert (test_closure) ;; 
    

    конец листинга


    кольцо полиномов

    пусть K обозначает одно из следующих множеств: ℤ, ℚ, ℝ, или ℂ

    множество всех полиномов K[t] от одной независимой переменной над K образует коммутативное кольцо

    почему неправильно школьное определение полиномов?

    пусть R – произвольное коммутативное кольцо с единицей. мы построим некоторое новое кольцо R[х], называемое кольцом полиномов от одной переменной над кольцом R. неформально, полином от x с коэффициентами из R – это выражение вида

        f = an * x^n + .. + a1 * x + a0 где ai ∈ R
        
    в школе полином обычно отождествляется с определяемой им полиномиальной функцией f, которая сопоставляет каждому элементу c∈R значение f в точке c, т.е. элемент f(c), получающийся при подстановке c вместо x в выражение. действительно, функция f определяется полиномом однозначно, однако, даже в случае, когда R является полем, обратное, вообще говоря, совершенно неверно, т.е. различные полиномы могут определять одну и ту же полиномиальную функцию

    в самом деле, пусть R = F2 = {0, 1} – поле из двух элементов. тогда, как легко видеть, полиномы x и x^2 определяют одну и ту же полиномиальную функцию id:K→K. и если следовать школьному определению полинома, то мы должны объявить, что x=x^2

    ясно, что такое решение нас совершенно не устраивает и, поэтому, мы должны признать, что чем бы ни был полином, он не является функцией R→R (хотя и определяет такую функцию)


    кольцо матриц

    пусть K обозначает одно из следующих множеств: ℤ, ℚ, ℝ, или ℂ

    обозначим через M(n,K) множество квадратных матриц размерности n, элементами которых являются элементы K. такое множество будет ассоциативным (но не коммутативным) кольцом

    при всех n ≥ 2 это кольцо имеет делители нуля. например

        ( 1 0     ( 0 0     ( 0 0
          0 0 ) *   1 0 ) =   0 0 )
    

    в большинстве элементарных учебников линейной алгебры произносятся бессмысленные заклинания, наподобие следующего: “матрицей называется прямоугольная таблица чисел”. как отмечают Семенов и Шмидт, в этом определении верно все, кроме трех слов: “прямоугольная”, “таблица”, “чисел”. прямоугольные таблицы являются одним из способов изображения матриц, но отнюдь не самими матрицами. дело в том, что обычно рассматриваются конечные матрицы, строки и столбцы которых индексированы последовательными натуральными числами. это вводит в заблуждение

    но пусть, например, строки и столбцы матрицы индексированы элементами множества

           A = {$, £, ₽, €}
    
    а элемент в позиции xy (где x,y∈A) — это обменный курс из валюты x в валюту y в данном банке. получающаяся квадратная матрица (предположительно с диагональными коэффициентами 1 и axy * ayx < 1 при x≠y) меняется от банка к банку (и ото дня ко дню)


    прямая сумма колец

    пусть R1, ..., Rs – кольца

    обозначим через R1 ⊕...⊕ Rs, кольцо, которое как множество совпадает с R1×..×Rs, с покомпонентными операциями сложения и умножения:

          (x1,..,xs) + (y1,..,ys) = (x1 + y1,.,xs + ys)
          (x1,..,xs) * (y1,..,ys) = (x1 * y1,.,xs * ys)

    прямая сумма конечного числа колец часто называется также их прямым произведением и в этом случае обозначается R1⊗..⊗Rs


    гомоморфизмы колец

    пусть R и S – два кольца

    Def: отображение f:R→S называется гомоморфизмом колец, если f одновременно является гомоморфизмом аддитивной и мультипликативной структур, т.е. если для любых x,y∈R выполняются равенства

       f (x + y) = (f x) + (f y)
       f (x * y) = (f x) * (f y)

    так как R образует группу по сложению, то из того, что f сохраняет сложение, автоматически вытекает, что (f 0R) = 0S

    в то же время, из того, что f сохраняет умножение, в общем случае отнюдь не следует, что (f 1R) = 1S. гомоморфизм f, для которого (f 1R) = 1S, называется унитальным

    обычно для колец с 1 мы включаем 1 в сигнатуру и рассматриваем только унитальные гомоморфизмы

    гомоморфизм f называется:

    отображение f кольца R в кольцо S называется гомоморфизмом, если оно сохраняет операции, т.е.

           f (x + y) = f (x) + f (y)
           f (x ∙ y) = f (x) ∙ f (y)

    точнее: пусть А и S - два кольца c операциями + и ∙, а также со скалярным произведением на множитель из какого-либо множества/структуры скаляров С

    Def: гомоморфизмом колец называется такое отображение ϕ:А→S, что

      ϕ 0A = 0S
      ϕ 1A = 1S
      ϕ (x + y) = (ϕ x) + (ϕ y)
      ϕ (x ∙ y) = (ϕ x) ∙ (ϕ y)
      ϕ x⁻ = (ϕ x)⁻
      ϕ (x * α) = α * (ϕ x)
    для любых х,y ∈ А, α ∈ С

    для всякого гомоморфизма ϕ:R→S ядром является идеал, и обратно, всякий идеал — ядро некоторого гомоморфизма. идеал с точностью до изоморфизма определяет образ гомоморфизма, ядром которого он является: (ϕ R) ≅ R/I

    пример: ядром гомоморфизма ℤ → ℤ/3ℤ будут все числа, кратные трём

    если f — сюръективный гомоморфизм кольца K на кольцо R, то его ядро (ker f) является идеалом кольца K, причём кольцо R изоморфно фактор-кольцу K/(ker f)

    если J — идеал кольца K, то отображение f:K→K/J, определяемое условием

         f (a) = a + J,   ∀ a ∈ K
    
    является гомоморфизмом кольца J на K/J с ядром J


    Николай Вавилов, СПбУ

    внутренние автоморфизмы

    пусть u∈R*. тогда отображение

      Iu : R → R
      x → u * x * u⁻ 
    является автоморфизмом кольца R , называемым внутренним автоморфизмом

    в самом деле

       Iu (x + y) = (Iu x) + (Iu y)
    и
       Iu (x * y) = (Iu x) * (Iu y)

    проекции на слагаемые

    если R = R1⊕..⊕Rs – прямая сумма колец R1,..,Rs, то

          pri : R → R1 ⊕ ... ⊕ Rs
          (x1 , ... , xs) → xi

    является гомоморфизмом

    каноническая проекция

    пусть R – кольцо, I ⊲ R, а R/I – факторкольцо. тогда (по определению операций в R/I) такая каноническая проекция

        R → R/I
        x → x + I
    
    является гомоморфизмом колец


    тело и поле

    Def: ассоциативное кольцо T с 1 ≠ 0 называется "телом" (кольцом с делением), если все его ненулевые элементы обратимы, иными словами, если выполняется следующая аксиома:

    M4:        ∀ x ∈ T, x ≠ 0, ∃ x⁻ ∈ T,          x * x⁻ = 1

    Def: коммутативное тело называется "полем"

    рациональные числа ℚ, вещественные числа ℝ и комплексные числа ℂ образуют поля

    конечные поля

    по определению поле обязано содержать по крайней мере два элемента: 0 и 1. оказывается, существует поле ровно из двух элементов, а именно: определим на множестве F2 = {0,1} алгебраические операции, полагая

                  +   0  1
                  --------
                  0   0  1
                  1   1  0
    
                  ×   0  1
                  --------
                  0   0  0
                  1   0  1

    так определенные операции превращают F2 в поле

    также и трехэлементное множество F3 = {0,1,−1} превращается в поле введением следующих операций:

                      +    0  1  2
                      ------------
                      0    0  1  2
                      1    1  2  0
                      2    2  0  1
    
                      ×    0  1  2
                      ------------
                      0    0  0  0
                      1    0  1  2
                      2    0  2  1

    в обоих случаях так построенные поля совпадают с кольцами вычетов ℤ/2ℤ и ℤ/3ℤ

    кольцо ℤ/4ℤ не может быть полем, потому что оно имеет делители 0

    тем не менее, поле из четырех элементов существует, просто оно не изоморфно ℤ/4ℤ. чтобы убедиться в этом, рассмотрим множество F4 = {0,1,u,v}, операции в котором вводятся следующим образом:

                      +    0  1  u  v
                      ---------------
                      0    0  1  u  v
                      1    1  0  v  u
                      u    u  v  0  1
                      v    v  u  1  0
    
                      ×    0  1  u  v
                      ---------------
                      0    0  0  0  0
                      1    0  1  u  v
                      u    0  u  v  1
                      v    0  v  1  u

    аналогично (хотя и несколько сложнее) можно построить конечное поле Fq любого "примарного" порядка q=p^m

    поле порядка q=p^m единственно с точностью до изоморфизма. в то же время, если q не является примарным, то не существует поля из q элементов, например, нет полей, содержащих 6, 10, 12, 14, 15 элементов


    нильпотенты

    Def: элемент кольца x называется нильпотентом, если x^n = 0 для некоторого натурального n

    очевидно, 0 нильпотентен. отличные от 0 нильпотенты называются нетривиальными

    так в кольце ℤ/4ℤ имеем 2 &ne 0, но 2^2 = 4 = 0

    нетривиальные нильпотенты есть и в кольце матриц M(n,K) при любом n ≥ 2

    приведенные кольца

    условие отсутствия в кольце делителей нуля является черезчур ограничительным. например, кольцо непрерывных функций на топологическом пространстве как правило имеет делители 0. сейчас мы определим важнейшее ослабление условия целостности

    Def: кольцо R называется приведенным, если в нем нет нетривиальных нильпотентных элементов

    иными словами, для x∈R из того, что x^n = 0 вытекает, что x = 0

    если кольцо не является приведенным, то в нем есть делители 0. однако, и приведенное кольцо может иметь делители 0. скажем, в кольце ℤ/6ℤ делители 0 есть, так как в нем 2 · 3 = 0, но нетривиальных нильпотентов там нет

    при любых p ∈ P, m ≥ 2 элемент p кольца ℤ/p^mℤ нильпотентен

    при любом n ≥ 2 кольцо матриц M(n,K) содержит громадное количество нильпотентов. например, нильпотентна любая стандартная матричная единица eij, i ≠ j

    идемпотенты

    Def: элемент кольца e называется идемпотентом, если e * e = e. в этом случае e^n = e для любого натурального n

    в каждом кольце 0 и 1 являются тривиальными идемпотентами

    любой нетривиальный идемпотент является делителем 0: e * (1 − e) = 0 = (1 − e) * e


    характеристика кольца

    пусть R – коммутативное кольцо с 1. рассмотрим гомоморфизм колец

       ψ : ℤ → R
       n → n · 1 =  1 + ... + 1  (n слагаемых)

    пусть I = ker ψ – ядро этого гомоморфизма

    так как ℤ – кольцо главных идеалов, то I = mℤ для некоторого m ∈ ℕ

    для m≠0 в кольце R выполняется 1 +... + 1 = 0, где число единиц равно m

    Def: если ker ψ = mℤ, то говорят, что характеристика R равна m и пишут char(R) = m

    чтобы различать случаи char(R) = 0 и char(R) > 0, в первом из них говорят, что R кольцо нулевой характеристики, а во втором, что R кольцо положительной характеристики

    особенно важен случай, когда char(R) = p > 0 (где p – простое число). такое R называется "кольцом простой характеристики"

    примеры колец различных характеристик

    тот факт, что характеристика всех известных нам полей либо равна 0, либо является простым числом, не случаен

    Th: характеристика области целостности либо равна 0, либо является простым числом

    Th: характеристика неразложимого кольца либо равна 0, либо является примарным числом


    адресованное Декарту письмо Ферма, содержащее метод нахождения максимумов и минимумов на основе дуальных чисел, вне всякого сомнения представляет собой один из самых поразительных документов в истории человечества - это письмо опередило свое время более, чем на три века. получающийся на этом пути подход к анализу гораздо современнее не только XIX века, но и первой половины XX века. точка зрения Ферма начала возрождаться в работах итальянских алгебраических геометров, но ее триумфальное возвращение произошло только в 1960-х годах, когда Гротендик установил, что правильным подходом к инфинитезимальному исчислению конечного порядка – единственным возможным подходом в случае положительной характеристики – является переход от полей к кольцам, содержащим нильпотенты произвольных порядков. построить чисто алгебраическую версию дифференциального исчисления бесконечного порядка гораздо сложнее


    обозначим через R множество непрерывных функций на [0,∞) со значениями в ℝ. это множество образует абелеву группу относительно поточеченого сложения функций. оно является кольцом относительно умножения функций. но, как правило, в качестве умножения в R рассматривается не обычное умножение функций, а свертка

    Th: кольцо R непрерывных функций на [0,∞) относительно свертки является областью целостности

    эта теорема лежит в основе операционного исчисления. любая область целостности (даже если в ней нет 1) вкладывается в некоторое поле. в данном случае это и будет поле операторов Хэвисайда. на этом пути Микусиньский дал чисто алгебраическое обоснование операционного исчисления, вне всякой связи с преобразованием Лапласа

    рассмотрим три различные возможности определить структуру кольца на множестве отображений X→Y

    три ключевых слова, которыми описываются эти структуры, это "композиция", "умножение" и "свертка"

    во всех случаях, которые мы будем рассматривать, множество Y = A будет абелевой группой

    тем самым у нас определено поточечное сложение функций:

    Если f, g : X → A, то f + g определяется посредством (f + g)x = (f x) + (g x)

    однако при этом мы будем рассматривать три совершенно различных типа произведений:


    кольцо операторов/эндоморфизмов

    кольцо отображений A → A относительно композиции называется "кольцом операторов"

    пусть A – произвольная абелева группа. рассмотрим множество R = End(A) всех эндоморфизмов группы A со следующими операциями: обычным поточечным сложением функций как сложением и композицией отображений как умножением

    для любой абелевой группы A множество End(A) с так определенными операциями представляет собой ассоциативное кольцо с 1

    алгебраисты обычно называют End(A) кольцом эндоморфизмов, в то время как большинcтво остальных математиков предпочитают в этом случае говорить о кольцах операторов

    кольца функций

    рассмотрим отображения произвольного множества X в какое-то коммутативное ассоциативное кольцо R с 1, скажем, в ℤ, ℚ, ℝ, или ℂ. множество R^X всех таких отображений с поточечными операциями сложения и умножения

       (f + g)x = (f x) + (g x)
       (f * g)x = (f x) * (g x)
    называется "кольцом R-значных функций на X"

    из свойств операций в кольце сразу вытекает, что R^X будет коммутативным ассоциативным кольцом с 1

    обычно рассматривают только алгебры функций, т. е. такие подкольца в R^X, которые содержат все постоянные функции x→c, где c – фиксированный элемент кольца R. эта конструкция колец является одной из центральных в анализе, топологии, дифференциальной и алгебраической геометрии

    замена переменной

    пусть R – коммутативное кольцо с 1, а X и Y – два произвольных множества. тогда определены кольца функций R^X и R^Y

    пусть теперь φ : X → Y – произвольное отображение

    тогда сопоставление функции f∈R^Y функции (f ◦ φ)∈R^X задает гомоморфизм колец

    φ∗ : R^Y → R^X

    называемый "заменой переменной"

    нужно убедиться в том, что для любых двух функций f,g∈R^Y имеют место равенства

       (f + g) ◦ φ = (f ◦ φ) + (g ◦ φ)
       (f · g) ◦ φ = (f ◦ φ) · (g ◦ φ)

    но эти равенства сразу вытекают из определения действий над функциями. то, что при этом 1 переходит в 1 сразу следует из того, что постоянная функция y→1 является левым нулем относительно композиции функций

    отображению из X в Y соответствует гомоморфизм колец в обратном направлении, из R^Y в R^X, а вовсе не из R^X в R^Y. с точки зрения теории категорий это означает, что функтор X → R^X - из категории множеств в категорию колец - контравариантен

    значение в точке

    по определению операций над функциями

         ev x : R^X → R
         f → f(x)

    является гомоморфизмом колец (в действительности, R-алгебр). этот гомоморфизм обычно называется "эвалюацией (evaluation) в точке x"

    разложение кольца функций

    разложению

    X = X1 ⨿ ... ⨿ Xn

    множества X в свободное объединение отвечает разложение кольца функций на нем в прямую сумму

    R^(X1 ⨿ ... ⨿ Xn) ~~= R^X1 ⊕ ... ⊕ R^Xn

    изоморфизм между этими кольцами устанавливается посредством

    f → (f|X1, ..., f|Xn)

    в частности, если множество X = {x1, ..., xn} конечно, описанная конструкция устанавливает изоморфизм

          R^X → R^n = R ⊕ ... ⊕ R
          f → (f x1 , .. , f xn)


    index