-------------------
|
Множества. Методы науки. Обозначения. Язык математики. Определения. Математика в физике. Аксиомы множества. Алгебра. Алгебра логики. Теория графов. Теория моноидов. Теория групп. Конечные группы. Конечные группы примеры. Конечные группы таблица умножения. Теория группоидов. Группы ли. Алгебра ли. Кольцо тело поле. Аффинное пространство. Линейное пространство. Векторная алгебра. Тензорное пространство. Тензорное поле. Геометрия. Парадоксы математики. ТОПОЛОГИЯ ---Load files---
|
Поиск на странице - нажмите "Ctrl+F", Поиск на сайте - поле ввода "Яндекс-Найти" на "шапке", Поиск в интернете - 1) выделите текст, 2) нажмите правую клавишу мыши и 3) выберите поисковик. 1 Кольцо, тело, поле1.1 КольцоКольцо A – это множество с двумя законами композиции, называемыми соответственно умножением и сложением, записываемыми соответственно как произведение и как сумма и удовлетворяющими следующим условиям: 1) Относительно сложения A абелева группа с нулевым элементом 0; 2) Умножение ассоциативно: (ab)c = a(bc) 3) Умножение имеет единичный элемент: aa–1 = 1 = a–1a 4) Композиция двух операций дистрибутивна: (x + y)z = xz + yz z (x + y) = zx + zy Кольцо называется коммутативным, если ab = ba. Числа a ≠ 0 и b ≠ 0 называются делителями нуля, если ab = 0. правило лопитала 1.2 ТелоКольцо A, в котором 1 ≠ 0 и всякий ненулевой элемент обратим, называется кольцом с делением или телом. Множества рациональных, вещественных, комплексных чисел, кватернионов, бикватернионов и чисел Клиффорда являются полями. Тензоры не являются телом, потому что деление для них определено не всегда. Невырожденные матрицы со сложением, вычитанием и матричным произведением составляют тело, потому что любая невырожденная матрица имеет обратную. 1.3 ПолеКоммутативное тело называется полем: поле – любое множество, содержащее хотя бы один элемент, отличный от нуля, и вместе с любыми двумя элементами a и b содержащее их сумму, разность, произведение, частное. Множества рациональных, вещественных, комплексных чисел являются полями. По́лем называется множество F с двумя бинарными операциями "+" (аддитивная операция или сложение) и "·" (или "×" - мультипликативная операция или умножение), если оно (вместе с этими операциями) образует коммутативное ассоциативное кольцо c единицей 1 ≠ 0, все ненулевые элементы которого обратимы. Иными словами, множество F с двумя бинарными операциями + и · называется полем, если оно образует коммутативную группу по сложению, все его ненулевые элементы образуют коммутативную группу по умножению, и выполняется свойство дистрибутивности. Характеристика поля — наименьшее положительное целое n число такое, что сумма n копий единицы равна нулю: n · 1 = 0. Если такого числа не существует то характеристика равна 0 по определению. Подполем поля k называется подмножество, которое само является полем относительно операций сложения и умножения, заданных в k. Расширение поля — поле, содержащее данное поле в качестве подполя. Характеристика поля всегда 0 или простое число. Поле характеристики 0 содержит подполе изоморфное полю рациональных чисел Q. Поле простой характеристики p содержит подполе изоморфное полю вычетов Zp. Количество элементов в конечном поле всегда равно pn, степени простого числа. При этом для
любого числа вида pn существует единственное (с точностью до изоморфизма) поле из pn
элементов, обычно обозначаемое Любой ненулевой гомоморфизм полей является вложением. В поле нет делителей нуля. Тензоры не являются полем, потому что деление для них не определено. Невырожденные матрицы со сложением, вычитанием и матричным произведением не составляют поле, потому что они не коммутативны. Не надо путать число с ее представлением на бумаге. Например, представление числа в виде 0,хх...х(9) не законно, потому что оно нарушает полноту представления (на бумаге) вещественных чисел. Но представление другого числа в виде 0,(124) вполне правильно, потому что оно не заканчивается на периодическую девятку. Насчет деления на нуль. Операция деления не является самостоятельной операцией, а является производным от умножения: a = bc → a/b = с. Вещественные числа представляют поле без делителей нуля. Это означает, что из уравнения ab = 0 → (a = 0) или (b = 0). Одновременно они не могут быть не равны нулю. Это и есть определение нуля. Следовательно, единственное правильное соотношение с нулем записывается так: a*0 = 0. Ну и следствие из нее вполне определенное: 0 = 0/a (в том числе и 0 = 0/0) и a = 0/0. Но в определении поля также присутствует свойство, что только ненулевые элементы обратимы. А это означает, что все приведенные соотношения незаконны. Алгебра с делением на ноль - не поле. Все интерпретации операции деления на нуль, в том числе и физические, и философские, от лукавого. Хотя - кто их может запрещать? На ваше усмотрение. Может, что и получится из этого, например, новая алгебра - бесконечно малых и больших чисел - матанализ? Кроме математического поля, в физике широко используется понятие "поле" и в другом смысле: поле – произвольная дифференцируемая функция координат. Поле определяет физические и геометрические свойства точки пространства–времени и/или свойства материи в этой же точке. 1.4 ИдеалИсточник: «http://ru.wikipedia.org/wiki/» Идеа́л — одно из основных понятий абстрактной алгебры. Наибольшее значение идеалы имеют в теории колец но также и для полугрупп, алгебр и некоторых других алгебраических структур. Название «идеал» ведет свое происхождение от «идеальных чисел». Простейшими примерами идеалов может служить подкольцо чётных чисел в кольце целых чисел. Идеалы дают удобный язык для обобщения результатов теории чисел на общие кольца. Например, в кольцах вместо простых чисел изучаются простые идеалы, как обобщение взаимно простых чисел вводятся взаимно простые идеалы, можно доказать аналог китайской теоремы об остатках для идеалов. В некотором важном классе колец (т.н. дедекиндовых) можно даже получить аналог основной теоремы арифметики: в этих кольцах каждый ненулевой идеал можно единственным образом представить как произведение простых идеалов. Определение Для кольца R идеалом называется подкольцо, замкнутое относительно умножения на элементы из R. При этом идеал называется левым (соответственно правым), если он замкнут относительно умножения слева (соответственно справа) на элементы из R. Идеал, являющийся одновременно левым и правым, называется двусторонним. Двусторонний идеал часто называется просто идеалом. В коммутативном случае все эти три понятия совпадают и всегда применяется термин идеал. Более точно: Идеалом кольца R называется такое подкольцо I кольца R, что
Аналогично для полугруппы её идеалом называется подполугруппа, для которой верно какое-нибудь из этих условий (или оба для двустороннего идеала), то же самое и для алгебры. Замечание Для R-алгебры A (алгебры над кольцом R) идеал кольца A может, вообще говоря, не быть идеалом алгебры A, так как это подкольцо необязательно будет подалгеброй, то есть еще и подмодулем над R. Например, если A есть k-алгебра с нулевым умножением, то множество всех идеалов кольца A совпадает с множеством всех подгрупп аддитивной группы A, а множество всех идеалов алгебры A совпадает с множеством всех подпространств векторного k-пространства A. Однако в случае, когда A — алгебра с единицей, оба эти понятия совпадают. Связанные определения Для любого кольца R само R и нулевой идеал 0 являются идеалами (двусторонними). Такие идеалы называются несобственными или тривиальными. Прочие идеалы I называются собственными. Многие классы колец и алгебр определяются условиями на их идеал или решётку идеалов. Например: Кольцо, не имеющее нетривиальных двусторонних идеалов, называется простым. Кольцо без собственных односторонних идеалов является телом. См. также: кольцо главных идеалов, артиново кольцо, нётерово кольцо. С любым коммутативным кольцом с единицей связано топологическое пространство SpecA — спектр кольца, точками которого являются все простые идеалы кольца A, отличные от A, а замкнутые множества определяются как множества простых идеалов, содержащих какое-то множество E элементов кольца A (или, что то же, идеал I, порождённый этим множеством). Эта топология называется топологией Зарисского. Понятие идеала тесно связано с понятием модуля. Идеал (правый или левый) можно определять как подмодуль кольца, рассмотренного как правый или левый модуль над собой. Свойства Левые идеалы в R являются правыми идеалами в т.н. противоположном кольце R0 — кольце с теми же элементами и тем же сложением, что и данное, но с умножением определенным a * b = ba, и наоборот. Двусторонние идеалы в кольцах и алгебрах играют ту же роль, что и нормальные подгруппы в группах: Для всякого гомоморфизма Более того, идеал однозначно (с точностью до изоморфизма) определяет образ гомоморфизма, ядром которого он является: f(A) изоморфен факторкольцу (факторалгебре) A / I. В кольце Пересечение идеалов также является идеалом (часто, особенно в коммутативной алгебре, пересечение называется наименьшим общим кратным). Типы идеалов Главный идеал: Идеал, порожденный одним элементом. Максимальный идеал: Собственный идеал I называется максимальным, если не существует собственный идеал J такой, что I — собственное подмножество J. Факторкольцо по максимальному идеалу является полем. Радикальный идеал: Идеал, совпадающий со своим радикалом. Основные конструкции Главные
идеалы. Если p принадлежит R, a k любое целое число то Идеал, порождённый множеством элементов. Пересечение произвольного семейства левых идеалов кольца R — левый идеал кольца R. Поэтому для всякого подмножества M кольца R существует минимальный левый идеал, его содержащий, а именно — пересечение всех левых идеалов, содержащих множество M. (То же верно для правых и двусторонних идеалов.) Для кольца R с единичным элементом минимальный левый идеал представляет собой множество конечных сумм вида r1m1 + ... + rnmn, минимальный правый идеал — множество конечных сумм вида m1r1 + ... + mnrn, минимальный двусторонний идеал — множество конечных сумм вида r1m1r'1 + ... + rnmnr'n, где mi — произвольные элементы множества M, а ri,r'i — произвольные элементы кольца R. Если кольцо не содержит единицы то минимальный левый идеал будет иметь вид r1m1 + ... + rnmn + k1m'1 + ... + ksm's, минимальный правый m1r1 + ... + mnrn + k1m'1 + k2m'2 + ... + ksm's, минимальный двусторонний r1m1r'1 + ... + rnmnr'n + k1r''1m'1 + ... + ksr''sm's + k'1m''1r'''1 + ... + k'tm''tr'''t + k''1m'''1... + k''wm''''w, где все ki(k'i) — любые целые числа. Эти идеалы называются порождёнными множеством M. В коммутативном случае все они совпадают и обозначаются так: (M). Идеалы, порождённые конечным множеством, называются конечнопорождёнными. Сумма идеалов.
Если в кольце R задано произвольное семейство идеалов Iα, их суммой
Произведение идеалов. Произведением идеалов I и J называется идеал IJ, порождённый всеми произведениями ab, где a — элемент идеала I, b — элемент идеала J. Бесконечное произведение идеалов неопределено. Частное
идеалов. В коммутативном кольце для идеала I, отличного от нуля, и идеала J
определёно их частное — идеал Радикал идеала
I — это множество Индуктивный
предел. Если задано семейство (цепочка) идеалов Образ идеала при гомоморфизме. Обычно образ идеала при гомоморфизме НЕ является идеалом, однако если гомоморфизм сюръективен, то тогда является. В частности, так как гомоморфизм факторизации всегда сюръективен, при факторизации каждый идеал переходит в идеал. Прообраз
идеала при гомоморфизме. Если Гомоморфизм
факторизации по идеалу. Если I — двусторонний идеал в кольце R, по нему можно
определить отношение эквивалентности на R по
правилу: x ~ y тогда и только тогда, когда разность x-y принадлежит I.
Проверяется, что если в сумме или произведении один из операндов заменить на
эквивалентный, новый результат будет эквивалентен исходному. Таким образом
операции сложения и умножения становятся определенными на множестве R/I классов
эквивалентности, превращая его в кольцо (коммутативность и наличие единицы переносятся
с кольца R, если они есть). Одновременно с этим кольцом определён гомоморфизм
факторизации (канонический гомоморфизм) История Идеалы были впервые введены Дедекиндом в 1876 в третьем издании его книги «Лекции по теории чисел». Это было обобщением концепции идеальных чисел, введённых Куммером. В дальнейшем эти идеи разрабатывались Гильбертом и особенно Нётер. Ссылки Винберг Э. Б. Курс алгебры, — М.: Издательство «Факториал Пресс», 2002, ISBN 5-88688-060-7. Зарисский О., Самюэль П. Коммутативная алгебра, Т.1-2, — М.: ИЛ, 1963. Ленг С.Алгебра, — М.: Мир, 1968.
1.5 Модуль над кольцомИсточник — «http://ru.wikipedia.org/wiki/» Мо́дуль
над кольцо́м — одно из основных понятий в абстрактной алгебре, являющееся обобщением двух
алгебраических понятий — векторного пространства (здесь кольцом является поле), и абелевой группы (где кольцо совпадает с кольцом
целых чисел Понятие модуля лежит в основе коммутативной алгебры, которая играет важную роль в различных областях математики, таких как алгебраическая геометрия, гомологическая алгебра, теория представлений групп. Определения Пусть которая удовлетворяет следующим условиям: 1) 2) 3) 4) Примечание: В случае некоммутативного кольца такие модули часто называются левыми. Правыми модулями называют в этом случае такие объекты, у которых условие 1) заменено следующим:
Любое кольцо R можно рассматривать как модуль над собой (в некоммутативном случае оно является также правым модулем над собой). Связанные определения и свойства Подмодулем модуля
Если кольцо R рассматривать как модуль над собой то его подмодули являются левыми идеалами, если кольцо рассматривать как правый модуль, то правыми идеалами, в коммутативном случае понятие левого и правого идеалов совпадают. Гомоморфизмом
или R-гомоморфизмом R-модулей A и B называется гомоморфизм групп
Модуль называют артиновым (нётеровым), если каждая убывающая (возрастающая) последовательнось его подмодулей стабилизируется за конечное число шагов. Примеры Любая абелева группа — модуль над кольцом целых чисел. Линейное пространство над полем F является модулем над F. Линейное пространство V — модуль над кольцом всех своих линейных преобразований L(V) Дифференциальные формы на гладком многообразии M снабжены естественной структурой модуля над кольцом всех гладких функций на M. История Простейшие
примеры модулей (конечные абелевы группы, т.е. Литература Ван дер Варден Б.Л. Алгебра -М:, Наука, 1975 Зарисский О., Самюэль П. Коммутативная алгебра т.1 -М:, ИЛ, 1963 Ленг С. Алгебра -М:, Мир, 1967
- - - ВЫ МОЖЕТЕ ОСТАВИТЬ ПЕРВЫЙ КОММЕНТАРИЙ! - - - ---Load files---
|
Время переоткрытия сайта 19 ч 17 м по Гр. Календарь на МАРТ месяц 2018 г.
---Load files---
|
U:15 V:16 N:364 |