Будова ідеалів півкільця натуральних чисел - Математика курсовая работа

Главная

Математика
Будова ідеалів півкільця натуральних чисел

Узагальнення поняття теорії кілець. Будова півкільця натуральних чисел. Довільний ідеал півкільця натуральних чисел. Теорії напівгруп та константи Фробениуса. Система відрахувань по модулю. База методу математичної індукції. Текст програми "FindC".


посмотреть текст работы


скачать работу можно здесь


полная информация о работе


весь список подобных работ


Нужна помощь с учёбой? Наши эксперты готовы помочь!
Нажимая на кнопку, вы соглашаетесь с
политикой обработки персональных данных

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Будова ідеалів півкільця натуральних чисел
Додаток 1. Опис алгоритму роботи програми за допомогою блок-схем
Додаток 2. Повний текст програми "FindC"
Теорія півкілець - один з розділів загальної алгебри, що є узагальненням теорії кілець. Вагомий внесок у її вивчення й розвиток внесли Е.М. Вечтомов і В.В. Чермних. Великий інтерес для вивчення являє собою півкільце натуральних чисел зі звичайними операціями додавання й множення. Його роль у теорії півкілець приблизно така ж, як і кільця цілих чисел у теорії кілець. Питанню будови півкільця натуральних чисел присвячена глава в книзі В.В. Чермних "Півкільця" [6].
Метою даної роботи є дослідження півкільця натуральних чисел і його будови. Більш точно з'ясовується питання, як улаштовані ідеали цього півкільця, а також здійснюється відшукання або визначення границь розташування константи Фробениуса для деяких ідеалів.
Курсова робота складається із двох глав. У главі 1 представлені основні визначення й теореми, пов'язані з півкільцем натуральних чисел, і даний опис його ідеалів. Розділ 2 присвячена дослідженню проблеми знаходження константи Фробениуса.
Визначення 1. Непуста множина S з бінарними операціями "+" і "(" називається півкільцем, якщо виконуються наступні аксіоми:
(S, +) ( комутативна напівгрупа з нейтральним елементом 0;
(S, () ( напівгрупа з нейтральним елементом 1;
множення дистрибутивні щодо додавання:
a(b + c) = ab + ac, (a + b)c = ac + bc для будь-яких a, b, c ( S;
По цьому визначенню півкільце відрізняється від асоціативного кільця з одиницею відсутністю операції вирахування, і саме це викликає основні труднощі при роботі з півкільцями.
Нескладно показати, що множина натуральних чисел зі звичайними операціями додавання й множення при допущенні, що , є півкільцем.
Визначення 2. Непуста підмножина I півкільця S називається лівим ідеалом півкільця S, якщо для будь-яких елементів елементи a+b і sa належать I. Симетричним образом визначається правий ідеал. Непуста підмножина, що є одночасно лівим і правим ідеалом, називається двостороннім ідеалом або просто ідеалом півкільця S.
У силу комутативності операції множення в півкільці всі ідеали є двосторонніми, надалі будемо називати їх просто ідеалами.
Ідеал, відмінний від півкільця S, називається власним.
Визначення 3. У півкільці S найменший із всіх ідеалів, що містять елемент , називається головним ідеалом, породженим елементом a.
Відомо, що кільце цілих чисел є кільцем головних ідеалів. Ідеали в не обов'язково є головними, але всі вони звичайно породжені. Головні ідеали в будемо позначати aN, де a - елемент, що породжує ідеал.
Визначення 4. Ідеал комутативного півкільця називається звичайно породженим, якщо найдеться кінцева множина елементів таких, що
Теорема 1. Довільний ідеал півкільця натуральних чисел звичайно породжений.
Доказ. Нехай - довільний ідеал з , - його найменший ненульовий елемент. Виберемо, якщо можливо, найменший елемент із N. У загальному випадку на черговому кроці будемо вибирати найменший елемент із множини . Помітимо, що обирані елементи зобов'язані бути непорівнянними по модулі . Із цієї причини процес вибору буде кінцевим, і на деякому кроці одержимо
Визначення 5. Нехай - ідеал півкільця натуральних чисел. Множина елементів з назвемо системою утворюючого ідеалу, якщо й ніякий елемент системи утворюючих не можна представити у вигляді комбінації з ненегативними коефіцієнтами інших елементів системи.
Очевидно, що для будь-якого ідеалу система утворюючих визначається однозначно. Множина елементів , побудована в доказі теореми 1, є системою утворюючих.
Якщо мається на увазі конкретна система утворюючого ідеалу, то будемо зображувати неї в круглих дужках, наприклад: (2,3)={0,2,3,4,…}=\{1}...
Аналог теореми Гильберта про базис, що затверджує, що якщо R - комутативне кільце, кожний ідеал якого звичайно породжений, те будь-який ідеал кільця багаточленів над R є звичайно породженим, невірна в класі півкілець, і прикладом тому служить півкільце . Як установлено, ідеали у звичайно породжені. Покажемо, що цією властивістю не володіє півкільце [x]. Нехай I - множина всіх багаточленів ненульового ступеня над . Ясно, що I ? ідеал. Кожної з багаточленів x, x+1, x+2,..., не можна нетривіальним образом представити у вигляді суми багаточленів з I, виходить, всі ці багаточлени необхідно лежать у будь-якій системі утворюючого ідеалу I. Таким чином, I не є звичайно породженим, і напівкільцевий аналог теореми Гильберта не вірний.
Теорема 2. Нехай ? система утворюючого ідеалу півкільця . Починаючи з деякого елемента , всі елементи ідеалу утворять арифметичну прогресію з різницею , що є найбільшим загальним дільником чисел .
Доказ. Нехай ? НОД всіх представників системи утворюючого ідеалу . По теоремі про лінійне подання НОД для деяких цілих . Покладемо ? максимум з абсолютних значень чисел . Тоді елементи й лежать в ідеалі . Очевидно, що ? найменше натуральне число, на яке можуть відрізнятися два елементи ідеалу , і . Позначимо . Нехай , для деяких цілих , і одне з них, допустимо , непозитивне. У такому випадку розглянемо число з такими досить більшими натуральними коефіцієнтами , щоб для будь-якого цілого виконувалося . Тоді для будь-який такий елемент
лежить в. Таким чином, починаючи з елемента , ми маємо арифметичну прогресію в точності з елемента, що лежать в ідеалі , причому перший і останній елементи відрізняються на . Додаючи до кожного із цих елементів, починаючи з , число , ми одержимо наступних елементів цієї ж прогресії. Таку процедуру можна повторювати як завгодно довго, одержуючи елементи прогресії, мабуть, що лежать в ідеалі . Показали, що, принаймні, із числа всі елементи ідеалу утворять арифметичну прогресію.
Наслідок 1. Нехай ? довільний ідеал півкільця . Існує така кінцева множина елементів з , що є головним ідеалом.
Наслідок 2. Якщо система утворюючого ідеалу півкільця складається із взаємно простих у сукупності чисел, те, починаючи з деякого елемента, всі наступні натуральні числа будуть належати ідеалу .
Зауваження. Нехай , і . Між ідеалами й , породженими системами утворюючих і відповідно, існує простий зв'язок, а саме: складається із всіх елементів ідеалу , помножених на число . Тим самим, вивчення ідеалів півкільця натуральних чисел зводиться до ідеалів із взаємно простою системою утворюючих. Надалі будемо вважати, що утворюючого ідеалу в сукупності взаємно прості й занумеровані в порядку зростання.
Теорема 3. У півкільці всяка строго зростаючий ланцюжок ідеалів обривається.
Доказ. Нехай ? зростаючий ланцюжок в. Тоді ? звичайно породжений ідеал з утворюючими . Кожний лежить у деяких ідеалах з ланцюжка, виходить, найдеться ідеал з ланцюжка, що містить всі елементи . Одержуємо , отже, ? останній ідеал у нашім ланцюжку.
З доведеної теореми робимо висновок про те, що досліджуване півкільце натуральних чисел є нетеровим.
Визначення 6. Власний ідеал P комутативного півкільця S називається простим, якщо або для будь-яких ідеалів A і B.
Теорема A. Якщо S - комутативне півкільце, то ідеал P простий тоді й тільки тоді, коли тягне [6].
Простими ідеалами в є, мабуть, нульовий ідеал і ідеали p . Ідеал, породжений складеним числом, не може бути простим. Більше того, якщо складене число n=ab є елементом системи утворюючого ідеалу I, те елементи a,b не лежать в ідеалі I, і отже, I не простий. Таким чином, система утворюючого простого ідеалу може складатися тільки із простих чисел.
Нехай P - простий ідеал в , що не є головним, і ? елементи з його системи утворюючих. Оскільки й взаємно прості, то по другому наслідку теореми 2 всі натуральні числа, починаючи з якогось, лежать в ідеалі P. Виходить, P містить деякі ступені чисел 2 і 3. У силу простоти ідеалу P, 2 і 3 будуть лежати в P. Ідеал, породжений числами 2 і 3, є єдиним простим ідеалом, що не є головним.
Таким чином, простими ідеалами півкільця є наступні ідеали, і тільки вони:
головні ідеали, породжені довільним простим числом;
Визначення 7. Власний ідеал M півкільця S називається максимальним, якщо тягне або для кожного ідеалу A в S.
Теорема Б. Максимальний ідеал комутативного півкільця простий.[6]
У нульовий ідеал і ідеали, породжені довільним простим числом, не є максимальними, тому що включені в ідеал (2,3), що не збігається з ними й с. Таким чином, максимальним є двохпорджений ідеал (2,3) - найбільший власний ідеал в.
Множина простих ідеалів можна впорядкувати в такий спосіб:
Тут найбільшим елементом є двохпорджений ідеал (2,3), а найменшим - нульовий ідеал.
Визначення 8. Ідеал I півкільця S називається напівстрогим, якщо тягне
Теорема 6. Напівстрогий ідеал півкільця в точності є головним ідеалом.
Доказ. Головні ідеали, мабуть, є напівстрогими. Припустимо, що в системі утворюючого напівстрогого ідеалу може бути більше двох утворюючих. Нехай два елементи m і n - найменші в системі утворюючого ідеалу, і Розглянемо рівність m+x=n, у ньому x очевидно менше, ніж n. Це означає, що x належить ідеалу тільки в тому випадку, коли елемент x представимо у вигляді x=ms, де . Тоді n лінійно виражається через m, а суперечить тому, що m і n - утворюючі.
Множина напівстрогих ідеалів можна впорядкувати в такий спосіб:
Тут найбільшим є ідеал, породжений 1, на рівень нижче його перебувають ідеали, породжені простими числами, ще нижче - породжені добутком двох простих чисел, далі трьох і так далі.
Визначення 9. Ідеал I півкільця S називається строгим, якщо тягне й
Cтрогий ідеал обов'язково є напівстрогим, а в півкільці й головним. Ідеали (0) і (1), мабуть, є строгими. У будь-яких інших головних ідеалах їх утворюючі можна представити у вигляді суми 1 і числа, на 1 менше утворюючої, і обоє цих доданків не будуть належати I. Таким чином, строгими ідеалами півкільця є тільки (0) і (1).
У теорії напівгруп є поняття константи Фробениуса, їм описується для адитивної напівгрупи, породженою лінійною формою з натуральними коефіцієнтами, змінні якої незалежно приймають цілі ненегативні значення, найбільше ціле число, що не є значенням зазначеної форми [4]. Для півкільця це поняття є нерозривно пов'язаним з елементом , а саме, вони відрізняються на 1: константа Фробениуса є найбільший елемент півкільця, що не є елементом ідеалу, а з - найменший, починаючи з якого всі елементи півкільця лежать в ідеалі.
Лема 1. Нехай . Тоді для будь-якого натурального найдуться такі цілі й , що .
Доказ. Нехай для деяких цілих . Тоді . По теоремі про ділення з остачею , де . Звідси . Взявши , одержуємо доказуване твердження.
Теорема 7. Якщо ? двохпорджений ідеал і , те
Доказ. Покажемо, що для будь-якого цілого елементи лежать в ідеалі . Дійсно, з попередньої леми для підходящих . Тоді
Помітимо, що , звідки . Таким чином, починаючи з , всі числа лежать в ідеалі . Залишилося показати, що . Припустимо, що лежить в , тобто для деяких . Очевидно, що ми може вибрати таким чином, щоб виконувалося . Тоді . У силу взаємної простоти утворюючих одержуємо , звідки . Це можливо тільки в тому випадку, коли . Але це тягне , протиріччя.
На XIV Міжнародній олімпіаді по математиці, що пройшла в 1984 році, для рішення пропонувалася задача наступного змісту:
Нехай a,b,c - цілі позитивні числа, кожні два з яких взаємно прості. Доведіть, що найбільше із цілих чисел, які не представимо у вигляді xbc+yca+zab (де x,y,z - ненегативні цілі числа), дорівнює 2abc-ab-bc-ca[1].
У незначному переформулюванні ця задача пропонує показати, чому дорівнює константа Фробениуса для ідеалу, породженого системою утворюючих (ab,ac,bc) у півкільці .
Удалося знайти інше рішення цієї задачі, а також зробити узагальнення.
Теорема 8. Якщо a, b і з попарно взаємно прості, то
Доказ. Розглянемо . По теоремах 2 і 5 . Виходить, починаючи з елемента всі елементи виду де Помітимо, що З умови треба, що тоді ? повна система відрахувань по модулі a, позначимо її (*).
Числа можемо одержати із системи відрахувань (*), додаючи до них виходить, всі вони лежать в ідеалі I. Число тому що а Таким чином, знайшли a підряд, що йдуть чисел, що належать ідеалу I, і число перед ними, не приналежне I. Роблячи підстановку й перетворюючи вираження одержуємо шуканий елемент с.
Узагальнимо результат, отриманий у теоремі 8:
Доказ. База методу математичної індукції для значень k=2,3 доведена в теоремах 7 і 8. Припустивши, що виконується , доказ проводиться аналогічно доказу теореми 8.
Пропозиція. У породженому ідеалі виконується .
Доказ. Якщо , то найдеться, принаймні, пари утворюючих і , , порівнянних по модулі . Тоді виражається через і , протиріччя.
Крайній випадок доведеного вище відношення дозволяє знайти елемент .
Доказ. Помітимо, що утворюючі утворять повну систему відрахувань по модулі . Розглянемо ще одну повну систему відрахувань по тому ж відрахуванню . Для довільного найдеться в точності один утворюючий , порівнянний з по модулі . Тоді для якогось , звідки треба . Одержали, що підряд, що йдуть елементів, з лежать в. Оскільки, мабуть,
Теорема 11. Якщо ? найменший утворюючий - породженого ідеалу , те, причому обидві оцінки точні.
Доказ. Нехай ? сімейство утворюючого ідеалу . До повної системи відрахувань по модулі не вистачає одного числа. Позначимо через найменше число з ідеалу , що доповнює до повної системи. Помітимо, що для якогось . Звідси легко одержуємо, що найменше можливе значення, що може прийняти , дорівнює . Число не лежить в ідеалі , одержуємо оцінку .
З іншого боку, , а у випадку рівності числа лежать в. Дійсно, кожне з них порівнянне по модулі з деяким утворюючим і , звідки . Це дає оцінку . Не складно перевірити, що точність обох отриманих оцінок дають відповідно ідеали
У загальному випадку проблема знаходження елемента із представляється на даний момент нерозв'язної. Однак для подальшого її вивчення може бути використана спеціально розроблена програма "FindC", що дозволяє знаходити елемент із для уведеної системи утворюючих, причому вона може бути не впорядкованої по зростанню й містити елементи, що лінійно виражаються через інші.
Сортує уведені утворюючі в порядку зростання (процедура Sort).
Перевіряє систему на наявність елементів, що лінійно виражаються через інші, у випадку наявності таких виводить їх і лінійну комбінацію (здійснюється за допомогою процедури Lin).
Виводить лінійно незалежну систему утворюючих, знаходить їх НОД (процедура NOD). Якщо НОД 1, то здійснюється ділення кожної утворюючої на НОД, подальша робота відбувається з новою системою.
Перевіряє елементи півкільця , починаючи з 2, на можливість вираження їх у вигляді лінійної комбінації системи утворюючих. При знаходженні підряд, що йдуть елементів , що належать ідеалу, можна зробити висновок про те, що й наступні елементи також належать ідеалу, і програма множить елемент, на менше поточного, на НОД, і цей добуток буде шуканим елементом c.
Опис алгоритму роботи програми "FindC" за допомогою блок-схем.
Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
procedure EditKeyUp(Sender: TObject; var Key: Word; Shift: TShiftState);
procedure Button2Click(Sender: TObject);
procedure Button1Click(Sender: TObject);
procedure FormCreate(Sender: TObject);
procedure EditKeyPress(Sender: TObject; var Key: Char);
i, j, l, koef, d, kol, VspomChislo, Chislo: integer;
S: Set of Char = ['0'..'9', ',', #8];
if masA[i,1] > masA[j,1] then begin
Function NOD(a,b: integer): integer;
Procedure Lin (n, j, Chislo: integer; var p: boolean; m1: integer);
while (n<=m1) and not (p) and (Chislo > 0) do
procedure TForm1.Button1Click(Sender: TObject);
list := TStringList.Create; //створюємо список list
//у ньому будуть зберігаються коефіцієнти, отримані в результаті розбивки рядки
//за допомогою процедури extractStrings (роздільником буде ',')
extractStrings([','], [], PChar(ss), list);
KolObraz := list.Count; //кількість змінних
masA := VarArrayCreate([1,KolObraz,1,2], varInteger); //створення двовимірного масиву
masA[i,1] := StrToInt(list.Strings[i-1]);
for i := 1 to KolObraz do ss := ss + ' ' + IntToStr(masA[i,1]);
memo.Items.Add('ВИХІДНА СИСТЕМА УТВОРЮЮЧИХ У ПОРЯДКУ ЗРОСТАННЯ:');
memo.Items.Add('ЛІНІЙНО ЗАЛЕЖНІ ЕЛЕМЕНТИ СИСТЕМИ УТВОРЮЮЧИХ:');
//якщо p = true те виводимо лінійну комбінацію й видаляємо цей елемент із масиву
//висновок розкладання елемента на лінійну комбінацію
if i = 2 then ss := ss + IntToStr(masA[i-1,2]) + '*' + IntToStr(masA[i-1,1])
for j := 1 to i-2 do ss := ss + IntToStr(masA[j,2]) + '*' + IntToStr(masA[j,1]) + ' + ';
ss := ss + IntToStr(masA[i-1,2]) + '*' + IntToStr(masA[i-1,1]);
for j := i to KolObraz-l-1 do begin masA[j,1] := masA[j+1,1]; masA[j,2] := masA[j+1,2]; end;
if l = 0 then memo.Items.Add('немає');
memo.Items.Add('ЛІНІЙНО НЕЗАЛЕЖНА СИСТЕМА УТВОРЮЮЧИХ:');
for i := 1 to KolObraz do ss := ss + ' ' + IntToStr(masA[i,1]);
if KolObraz > 2 then for i := 3 to KolObraz do d := NOD(d, masA[i,1]);
for i := 1 to KolObraz do begin masA[i,1] := masA[i,1] div d; masA[i,2] := 0; end;
Lin(1, 0, VspomChislo, p, KolObraz);
ss := 'ПЕРШИЙ ЕЛЕМЕНТ В АРИФМЕТИЧНІЙ ПРОГРЕСІЇ ' + IntToStr((VspomChislo - kol) * d);
for i := 1 to KolObraz do masA[i,2] := 0;
Lin(1, j, (VspomChislo - kol) * d, p, KolObraz);
for j := 1 to KolObraz-1 do ss := ss + IntToStr(masA[j,2]) + '*' + IntToStr(masA[j,1]) + ' + ';
ss := ss + IntToStr(masA[KolObraz,2]) + '*' + IntToStr(masA[KolObraz,1]);
ss := ss + ' з різницею ' + IntToStr(d);
procedure TForm1.Button2Click(Sender: TObject);
procedure TForm1.EditKeyPress(Sender: TObject; var Key: Char);
procedure TForm1.EditKeyUp(Sender: TObject; var Key: Word; Shift: TShiftState);
if Edit.Text = '' then Button1.Enabled := false
procedure TForm1.FormCreate(Sender: TObject);
Абрамов А.М. Квант, №3, 1984. с. 40-41.
Атья М., Макдональд І. Введення в комутативну алгебру. - К., 2003
Вечтомов Є.М. Введення в півкільця. - К., 2000
Коганов Л.М. Про функції Мебиуса й константах Фробениуса напівгруп, породжених лінійними формами спеціального виду. - К., 2005
Кушнірів, Л.А. Елементи теорії структур. - К., 2005
Чермних, В.В. Півкільця. - К., 2003
Вивчення властивостей натуральних чисел. Нескінченість множини простих чисел. Решето Ератосфена. Дослідження основної теореми арифметики. Асимптотичний закон розподілу простих чисел. Характеристика алгоритму пошуку кількості простих чисел на проміжку. курсовая работа [79,8 K], добавлен 27.07.2015
Свойства чисел натурального ряда. Периодическая зависимость от порядковых номеров чисел. Шестеричная периодизация чисел. Область отрицательных чисел. Расположение простых чисел в соответствии с шестеричной периодизацией. научная работа [20,2 K], добавлен 29.12.2006
Закон сохранения количества чисел Джойнт ряда в натуральном ряду чисел как принцип обратной связи чисел в математике. Структура натурального ряда чисел. Изоморфные свойства рядов четных и нечетных чисел. Фрактальная природа распределения простых чисел. монография [575,3 K], добавлен 28.03.2012
Исторические факты исследования простых чисел в древности, настоящее состояние проблемы. Распределение простых чисел в натуральном ряде чисел, характер и причина их поведения. Анализ распределения простых чисел-близнецов на основе закона обратной связи. статья [406,8 K], добавлен 28.03.2012
Джерела теорії впорядкованих і частково впорядкованих алгебраїчних систем. Лінійно впорядкований простір ординальних чисел. Цілком упорядковані множини і їхні властивості. Кінцеві ланцюги і їхні порядкові типи. Загальні властивості ординальних чисел. курсовая работа [143,7 K], добавлен 24.03.2011
Збагачення запасу чисел, введення ірраціональних чисел. Зведення комплексних чисел у ступінь і знаходження кореня. Окремий випадок формули Муавра. Труднощі при витягу кореня з комплексних чисел. Витяг квадратного кореня із негативного дійсного числа. курсовая работа [130,8 K], добавлен 26.03.2009
Великий математик П’єр Ферма. Історія виникнення теореми Ферма-Ойлера. Способи її доведення Лагранжем та Д. Цагиром. Інволютивність перетворення трійки натуральних чисел. Єдиність та кількість представлення простого числа у вигляді суми двох квадратів. курсовая работа [39,4 K], добавлен 08.05.2014
Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д. PPT, PPTX и PDF-файлы представлены только в архивах. Рекомендуем скачать работу .

© 2000 — 2021



Будова ідеалів півкільця натуральних чисел курсовая работа. Математика.
Дипломная Работа Письменная Речь
Реферат: Изучение истории Новосибирской области: итоги и перспективы
Реферат На Тему Общественное Движение В России Xix Века
Сочинение Мой Сад 5 Класс
Искусство Возрождения Реферат
Реферат Н С Хрущев
Реферат История Возникновения Чисел По Математике
Курсовая работа: Состояние и перспектива развития РЦБ в России. Скачать бесплатно и без регистрации
Реферат На Тему Суицид И Подросток
Контрольная Работа На Тему Greece
Контрольная работа по теме Анализ реализации продукции
Минисочинение Или Мини Сочинение Как Правильно
Культура Бароко Реферат
Воздушное Загрязнение Сочинение На Английском
Роль Письма В Человеческом Обществе Реферат
Реферат по теме Школьная астрономия: концепция нового подхода
Фольклорные Традиции В Русской Литературе Сочинение
Курсовая работа по теме Интерактивные технологии в педагогике
Сочинение На Тему Защита Окружающей Среды Кратко
Дипломная работа по теме Анализ эффективности использования трудовых ресурсов в вагонном ремонтном депо Челябинск
Система законодавства - Государство и право реферат
Приемная антенна для СТВ - Коммуникации, связь, цифровые приборы и радиоэлектроника курсовая работа
Аналіз ліричного твору "Клён ты мой опавший…" Сергія Єсеніна - Литература доклад