Как найти нильпотентные элементы в кольце

Which are nilpotent elements of $mathbb{Q}[x]/(x^5-3x^2)timesmathbb{Z}/(12)$?

I tried to decompose in this way: $$mathbb{Q}[x]/(x^5-3x^2)timesmathbb{Z}/(12)congmathbb{Q}[x]/(x^2)timesmathbb{Q}[x]/(x^3-3)timesmathbb{Z}/(3)timesmathbb{Z}/(4)$$ so i thought that nilpotent elements are only:
$$(0,0,0,2), (x,0,0,2) mbox{and} (x,0,0,0).$$

I don’t know if I am right, because i tried another approach considering the intersetion of all prime ideals of that ring and i don’t know to understand if the result is the same.

Заметим, что $%x^{14}+x^7+2=x^{14}-6x^7+9=(x^7-3)^2$% над полем характеристики 7. Помимо этого, с учётом «детской биномиальной теоремы», а также малой теоремы Ферма, $%(x-3)^7=x^7-3^7=x^7-3$% над полем $%mathbb F_7$%. Таким образом, мы имеем дело с факторкольцом $%mathbb F_7[x]/((x-3)^{14})$%.

Факторкольцо вида $%mathbb F_7[x]/(f(x))$% состоит из $%7^n$% элементов, где $%n=deg f$%. Пусть $%I=((x-3)^{14})$%. Если многочлен $%g(x)$% делится на $%x-3$% (всё над основным полем из 7 элементов), то $%(g(x)+I)^{14}=g(x)^{14}+I=I$%, и элемент факторкольца нильпотентен. Обратно, если $%g(x)$% не делится на $%x-3$%, то ни при каком натуральном $%m$% многочлен $%g(x)^m$% не будет делиться на $%x-3$%, а потому не будет принадлежать $%I$%. Это даёт описание нильпотентных элементов факторкольца.

Если рассматривается факторкольцо по главному идеалу $%(f(x))$%, то его элементы можно отождествить с остатками от деления на $%f(x)$%, то есть со всеми многочленами степени меньше $%n$%. Нас интересуют многочлены вида $%(x-3)h(x)$% степени не более 13, и их столько же, сколько многочленов $%h(x)$% над основным полем, степень которых не более 12. Это количество равно $%7^{13}$%, то есть каждый седьмой элемент факторкольца нильпотентен.

Если по поводу нулевого элемента принимается соглашение, что он не учитывается, то из ответа надо вычесть единицу.

  • НИЛЬПОТЕНТНЫЙ ЭЛЕМЕНТ — нильпотент, элемент акольца или полугруппы с нулем А, удовлетворяющий равенству для нек рого натурального п. Минимальное значение п, для к рого справедливо это равенство, наз. индексом нильпотентности элемента а. Напр., в кольце вычетов по модулю …   Математическая энциклопедия

  • Нильпотентный идеал — односторонний или двусторонний идеал кольца такой, что для некоторого натурального выполняется , то есть произведение любых элементов идеала равно нулю. Примеры В кольце вычетов по модулю …   Википедия

  • Нильпотентный — идеал Нильпотентный элемент Нильпотентная группа …   Википедия

  • Унипотентный элемент — Нильпотентный элемент или нильпотент ― элемент a кольца, удовлетворяющий равенству an = 0 для некоторого натурального n. Минимальное значение n, для которого справедливо это равенство, называется индексом нильпотентности элемента a. Рассмотрение… …   Википедия

  • Нильпотент — Нильпотентный элемент или нильпотент ― элемент a кольца, удовлетворяющий равенству an = 0 для некоторого натурального n. Минимальное значение n, для которого справедливо это равенство, называется индексом нильпотентности элемента a. Рассмотрение… …   Википедия

  • Нильрадикал — Нильпотентный элемент или нильпотент ― элемент a кольца, удовлетворяющий равенству an = 0 для некоторого натурального n. Минимальное значение n, для которого справедливо это равенство, называется индексом нильпотентности элемента a. Рассмотрение… …   Википедия

  • Унипотент — Нильпотентный элемент или нильпотент ― элемент a кольца, удовлетворяющий равенству an = 0 для некоторого натурального n. Минимальное значение n, для которого справедливо это равенство, называется индексом нильпотентности элемента a. Рассмотрение… …   Википедия

  • КВАЗИРЕГУЛЯРНОЕ КОЛЬЦО — кольцо, в к ром каждый элемент квазирегулярен. Элемент аальтернативного (в частности, ассоциативного) кольца Л наз. квазирегулярным, если существует такой элемент что Элемент а наз. квазиобратным для элемента а. Если Л кольцо с единицей 1, то… …   Математическая энциклопедия

  • НИЛЬ ПОТЕНТНЫЙ ИДЕАЛ — односторонний или двусторонний идеал Мкольца или полугруппы с нулем Атакой, что для нек рого натурального пвыполняется , т. е. произведение любых пэлементов идеала Мравно нулю. Напр., в кольце вычетов по модулю , где р нек рое простое число, все… …   Математическая энциклопедия

  • Спектр кольца — У этого термина существуют и другие значения, см. Спектр (значения). Спектром кольца называется множество всех простых идеалов кольца . Спектр обозначается так: . Гомоморфизм из кольца в кольцо индуцирует отображение их спектров (н …   Википедия

  • ОПРЕДЕЛЕНИЕ КОЛЬЦА

    Определение 1. Множество R с операциями сложения + и умножения называется кольцом, если относительно сложения это множество является абелевой группой, а сложение с умножением связывает закон дистрибутивности

    8x; y; z 2 R x (y + z) = xy + xz; (x + y)z = xz + yz:

    Если операция умножения обладает свойством ассоциативности, то кольцо называется ассоциативным. В основном, мы будем рассматривать ассоциативные кольца.

    Если в кольце R содержится нейтральный по умножению элемент (единица 1), то кольцо называется кольцом с единицей.

    Если операция умножения в кольце R коммутативна, то кольцо называется коммутативным.

    Определение 2. Ассоциативное кольцо с единицей, в котором каждый ненулевой элемент имеет обратный (т.е. множество R n f0g с операцией умножения является группой) называется телом.

    Определение 3. Коммутативное тело называется полем.

    ПРИМЕРЫ КОЛЕЦ

    2

    1.Любое из привычных нам полей Q, R, C, Zp является кольцом.

    2.Самый распространенный пример кольца, не являющегося полем,

    кольцо целых чисел Z.

    3.Если R — коммутативное ассоциативное кольцо с единицей (поле), то R[x] — кольцо многочленов над R от одной переменной, R[x1; x2; : : : ; xn]

    кольцо многочленов над R от многих (коммутирующих переменных). Также можно рассмотреть кольцо многочленов от n некоммутирующих переменных x1; : : : ; xn. Чтобы не путать его с обычным кольцом многочленов, будем обозначать его через R x1; x2; : : : ; xn .

    4.Примером кольца, благодаря которому кольца именно так именуются, является кольцо вычетов по модулю n — Zn. Данное кольцо состоит из остатков f0; 1; 2; : : : ; n 1g от деления на n, операции сложения и умножения проводятся по модулю n. Ясно, что при составном n такое кольцо не будет являться полем:

    Если бы кольцо Zn = Zkm являлось полем, то в нем были бы делители нуля k и m, а в поле не может быть делителей нуля.

    С другой стороны, если n — это простое число, то кольцо Zn является полем:

    Чтобы это показать, нам достаточно показать, что у каждого ненулевого элемента в Zn есть обратный. Действительно, пусть m 2 Zn. Тогда числа

    m 1; m 2; : : : ; m (n 1)

    это различные ненулевые элементы в Zn, так как при ml = mk mod n мы получаем m(l k) делится на n, что невозможно, так как n просто. Значит, среди перечисленных чисел есть единица, то есть элемент m обратим.

    5. Если R — это некоторое ассоциативное кольцо с единицей, n 1, то Mn(R) — кольцо матриц над R. При n = 1 оно совпадает с кольцом R, при n 2 оно обязательно некоммутативно (например, E12E21 ≠ E21E12) и содержит необратимые ненулевые элементы.

    3

    6. Для любого ассоциативного кольца R с единицей можно рассмотреть кольцо формальных степенных рядов R[[x]] от одной переменной (также по аналогии вводится кольцо

    R[[x1; : : : ; xn]]

    формальных степенных рядов от многих переменных). Каждый элемент этого кольца — формальный ряд

    1

    rixi:

    i=0

    Два ряда

    1 1

    i=0 j=0

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

    1

    unxn;

    n=0

    где

    n

    un = rksn k:

    k=0

    7. Если R и S — два кольца (с какими-то свойствами), то их прямая сумма R S состоит из пар

    R S = f(r; s) j r 2 R; s 2 Sg;

    где сложение умножение определяются покомпонентно.

    Аналогично вводится прямая сумма произвольного конечного числа колец. Прямая сумма бесконечного числа колец определяется как множество последовательностей (может быть, несчетных) элементов соответствующих колец, где лишь конечное число отлично от нуля. Заметим, что даже если исходные кольца все были кольцами с единицей, то такая прямая сумма единицы не содержит.

    4

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

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

    ДЕЛИТЕЛИ НУЛЯ, НИЛЬПОТЕНТНЫЕ, ОБРАТИМЫЕ ЭЛЕМЕНТЫ

    Определение 4. Элемент r ≠ 0 ассоциативного кольца R (не обязательно с единицей) называется левым делителем нуля, если существует 0 ≠ s 2 R такой, что rs = 0. Аналогично вводятся правый и двусторонний делители нуля.

    1.В поле нет делителей нуля: если rs = 0 и r ≠ 0, то существует обратный элемент 1=r. Тогда 1=r rs = 1=r 0, откуда s = 1=r 0. Однако x + x 0 = x(1 + 0) = x 1 = x откуда , x 0 = 0. Значит, s = 0, т.е. в поле нет делителей нуля.

    2.В кольце целых чисел нет делителей нуля.

    3.Если в кольце R не было делителей нуля, то и в кольце многочленов (от любого числа переменных) над R нет делителей нуля.

    4.Как мы уже видели, в кольце вычетов Zn есть делители нуля, если n — не просто. Этими делителями являются любые числа в Zn, которые не взаимно просты с n.

    5

    5.В матричном кольце делителями нуля являются все вырожденные матрицы. Действительно, если представить матрицу как линейный оператор на векторном пространстве, то вырожденные матрицы — это ровно те, у которых образом является не все пространство и (или) ядро ненулевое. Пусть оператор A действовал на пространстве V , ker A = U ≠ 0, Im A = W ≠ V . Рассмотрим оператор B, образом которого является подпространство U, и оператор C, ядром которого является подпространство W .

    Тогда AB = CA = 0, т.е. A — и правый, и левый делитель нуля.

    6.Если кольцо R не имело делителей нуля, то кольцо рядов тоже не будет их содержать.

    7.Прямая сумма (произведение) двух и более колец всегда содержит делители нуля — например, для элемента (a; 0), a ≠ 0, можно взять (0; b), b ≠ 0.

    Определение 5. Элемент r ≠ 0 ассоциативного кольца R (не обязательно с единицей) называется нильпотентным, если существует n 2 N такое, что rn = 0.

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

    1.Рассмотрим кольцо вычетов Zn, пусть n = pk11 : : : pkmm. Любой делитель нуля в этом кольце должен делиться хоть на какое-то из чисел p1; : : : ; pm. Однако для того, чтобы являться нильпотентным, числу нужно делиться на все p1; : : : ; pm, т.е. оно должно быть равно p1p2 : : : pm q. Если число n было свободно от квадратов, то нильпотентных элементов

    вкольце нет.

    2.В матричном кольце далеко не каждая вырожденная матрица является нильпотентной. Если, например, мы рассматриваем матрицы над

    6

    комплексными числами, то нильпотенными матрицами являются те и только те матрицы, у которых все собственные значения равны нулю.

    3. В прямой сумме (произведении) двух и более колец нильпотентные элементы есть тогда и только тогда, когда они есть хотя бы в одном из слагаемых колец (сомножителей-колец).

    Определение 6. Элемент r ассоциативного кольца R с единицей называется обратимым слева, если существует s 2 R такой, что sr = 1. Аналогично вводится обратимость справа. Элемент r называется обратимым, если он обратим слева и справа. В этом случае обратный элемент единственен.

    1.В поле, как мы знаем, все ненулевые элементы обратимы.

    2.В кольце целых чисел обратимы только 1.

    3.В кольцах многочленов обратимыми могут быть только константы, так как у многочленов при умножении складываются степени. Соответственно, обратимыми элементами являются обратимые константы кольца R.

    4.В кольце вычетов Zn обратимыми являются все остатки, взаимно простые с n. Таким образом, в данном кольце каждый элемент либо обратим, либо является делителем нуля.

    5.В матричном кольце обратимой является любая невырожденная матрица. Таким образом, как и в предыдущем примере, каждый элемент кольца является или обратимым, или делителем нуля.

    6.В кольце рядов R[[x]] обратимыми являются те и только те ряды,

    укоторых обратим коэффициент при нулевой степени.

    7

    Доказательство. Пусть у ряда

    1

    z = rixi

    i=0

    r0 необратим, но у него существует обратный ряд

    1

    z= sjxj:

    j=0

    Тогда, с одной стороны, и произведение должно быть равно ряду 1, с другой стороны, у произведения таких рядов коэффициент при нулевой степени x равен r0s0, т.е. r0 обратим.

    Напротив, пусть у ряда

    1

    z = rixi

    i=0

    коэффициент r0 обратим. Будем искать обратный ряд в общем виде

    1

    z= sjxj:

    =0

    j

    Тогда мы получим систему уравнений:

    1 = r0s0;

    80 = r0s1 + r1s0;

    >

    >0 = r0s2 + r1s1 + r2s0;

    >

    >

    >

    >

    >: : : = : : : : : : : : : ;

    >

    <

    >0 = r0sn + r1sn 1 + + rn 1s1 + rns0;

    >

    >: : : = : : : : : : : : :

    >

    >

    >

    >

    1

    >

    :

    Мы видим, что s0 = r0 (существует и однозначно определено), s1 =

    ( r1s0)r0

    1 (также существует и однозначно определено), s2 = ( r1s1

    r2s0)r0 1, . . . , sn = ( r1sn 1

    rns0)r0 1,. . .

    Таким образом, каждый коэффициент si однозначно определяется по коэффициентам rj и предыдущим коэффициентам s0; : : : ; si 1. Значит, ряд z был обратим.

    8

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

    ИДЕАЛЫ В КОЛЬЦАХ

    Идеал в кольце — это аналог нормальной подгруппы в группе.

    Определение 7. Идеалом кольца R называется подмножество I этого кольца, которое по сложению является его подгруппой, а по умножению удовлетворяет свойству

    8r 2 R8a 2 I ra 2 I; ar 2 I:

    Идеал I также называется двухсторонним идеалом кольца.

    При этом левым идеалом кольца R называется его аддитивная подгруппа I, удовлетворяющая лишь свойству

    8r 2 R8a 2 I ra 2 I:

    Аналогично вводится и понятие правого идеала кольца.

    1.Понятно, что в кольце всегда есть два тривиальных идеала — f0g

    ивсе кольцо.

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

    2. В кольце целых чисел все идеалы имеют вид nZ (порождаются одним элементом n 2 Z). Таким идеалы (порожденные одним элементом) называются главными.

    9

    Действительно, рассмотрим некоторый ненулевой идеал I кольца Z и его минимальный положительный элемент d. Если каждый элемент идеала делится на d, то перед нами идеал dZ.

    Если существует элемент a 2 I, который не делится на d, то разделим a на d с остатком, получив

    a = qd + r; 0

    < d < r:

    Так как d 2 I, то qd 2 I, а значит, r = a

    qd 2 I. Получаем противоречие

    в выбором d.

    Кольцо, в котором все идеалы главные, называется кольцом главных идеалов.

    10

    ЛЕКЦИЯ 13

    ИДЕАЛЫ В КОЛЬЦАХ, ФАКТОР-КОЛЬЦА

    ТЕОРЕМА О ГОМОМОРФИЗМЕ ДЛЯ КОЛЕЦ

    МАКСИМАЛЬНЫЕ ИДЕАЛЫ

    ОПРЕДЕЛЕНИЕ И ПРИМЕРЫ МОДУЛЕЙ

    1

    Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

    • #
    • #
    • #
    • #
    • #
    • #
    • #
    • #
    • #
    • #
    • #

    Сообщения без ответов | Активные темы | Избранное

    Правила форума

    В этом разделе нельзя создавать новые темы.

    Если Вы хотите задать новый вопрос, то не дописывайте

    его в существующую тему, а создайте новую в корневом разделе «Помогите решить/разобраться (М)».

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

    Не ищите на этом форуме халяву

    , правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения

    и указать конкретные затруднения.

    Обязательно просмотрите тему

    Правила данного раздела, иначе Ваша тема может быть удалена

    или перемещена в Карантин, а Вы так и не узнаете, почему.

     

     Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 19:07 


    25/09/12
    8

    Профиль  

    Joker_vD 

    Re: Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 19:29 

    Заслуженный участник


    09/09/10
    3729

    Профиль  

    abral 

    Re: Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 20:05 


    25/09/12
    8

    Профиль  

    AV_77 

     Re: Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 20:28 

    Заслуженный участник


    11/11/07
    1198
    Москва

    Профиль  

    abral 

    Re: Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 20:59 


    25/09/12
    8

    Профиль  

    AV_77 

    Re: Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 21:08 

    Заслуженный участник


    11/11/07
    1198
    Москва

    Профиль  

    abral 

    Re: Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 21:47 


    25/09/12
    8

    Ясно лишь то, что при простых n идемпотенты отсутствуют.
    Видимо при всех остальных они есть, но не понимаю как доказать.

    Профиль  

    AV_77 

    Re: Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 21:54 

    Заслуженный участник


    11/11/07
    1198
    Москва

    Ясно лишь то, что при простых n идемпотенты отсутствуют.

    А 0 и 1?

    Профиль  

    Joker_vD 

    Re: Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 21:57 

    Заслуженный участник


    09/09/10
    3729

    Видимо при всех остальных они есть,

    $mathbb Z_4$, $mathbb Z_{9}$ и многие другие несогласны. Тут есть очень простое соображение, но не уверен, что вам разрешат так читерить, но все же. Если у вас есть $ein mathbb Z$ такое, что $e^2equiv epmod n$, то $mathbb Z_ncong mathbb Z_{e}times mathbb Z_{1-e}$ — а разложение $mathbb Z_n$ в прямое произведение общеизвестно.

    AV77

    Очевидно, нужные нетривиальные идемпотенты.

    Профиль  

    AV_77 

    Re: Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 22:08 

    Заслуженный участник


    11/11/07
    1198
    Москва

    Профиль  

    abral 

    Re: Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 22:30 


    25/09/12
    8

    Да в условии сноска, что 0 и 1 не идемпотентны.

    Дальше и не понятно.
    Как рассмотреть основной случай $ n = p_1^{l_1}ldots p_n^{l_n}$ ?

    Профиль  

    Joker_vD 

     Re: Несколько вопросов по алгебре(теория чисел)

    Сообщение25.09.2012, 22:55 

    Заслуженный участник


    09/09/10
    3729

    $mathbb Z_{p_1^{l_1}dots p_n^{l_n}}cong mathbb Z_{p_1^{l_1}}timesdotstimes mathbb Z_{p_n^{l_n}}$ — а если кольцо раскладывается в прямое произведение, значит, в нем есть идемпотенты.

    — Ср сен 26, 2012 00:04:01 —

    Вы знаете КТО? Рассмотрите систему сравнений $$left{begin{array}{l}
xequiv1pmod{p_1^{l_1}},\
xequiv0pmod{p_2^{l_2}},\
hdotsfor[3]1\
xequiv0pmod{p_n^{l_n}}end{array}right.$$

    Профиль  

    Модераторы: Модераторы Математики, Супермодераторы

    Кто сейчас на конференции

    Сейчас этот форум просматривают: нет зарегистрированных пользователей

    Вы не можете начинать темы
    Вы не можете отвечать на сообщения
    Вы не можете редактировать свои сообщения
    Вы не можете удалять свои сообщения
    Вы не можете добавлять вложения

    Понравилась статья? Поделить с друзьями:
  • Как найти через сколько часов догонит
  • Как исправить ошибку в слове в одноклассниках
  • Как найти наибольший общий делитель числа 675
  • Как составить вертикальный анализ баланса выводы
  • Как составить табель рабочего времени при сменной работе