Прошу помощи в решении задачи.

При каких $%n$% кольцо вычетов $%\mathbb{Z}_n$% вполне приводимо слева (справа)? При каких $% f ∈ \mathbb{F}[x]$%, $%\mathbb{F}$% - поле, вполне приводимо кольцо кольцо $% \mathbb{F}[x]/(f) $%?

задан 11 Фев '16 18:05

Ответы здесь будут такие: n должно быть произведением попарно различных простых чисел (то есть оно не делится на квадрат простого числа). Аналогично, f не должен иметь кратных корней. Для того, чтобы изложить решение, нужно уточнить, какое определение полупростого (=вполне приводимого) кольца берётся за основу, и какими свойствами таких колец можно пользоваться в доказательстве. Как правило, здесь могут быть использованы разные (эквивалентные друг другу) определения, поэтому нужно знать, в какой форме они давались.

(11 Фев '16 18:25) falcao

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

(11 Фев '16 18:53) alf

@alf: помимо определений, я спрашивал ещё о свойствах, которые могли доказываться, и которыми можно пользоваться.

(11 Фев '16 19:04) falcao
10|600 символов нужно символов осталось
1

Наверное, достаточно будет следующего рассуждения.

Пусть $%n=p_1^{k_1}\ldots p_r^{k_r}$% -- каноническое разложение. Тогда $%\mathbb Z_n$% изоморфно прямой сумме колец $%\bigoplus\limits_i\mathbb Z_{p_i^{k_i}}$%. Если все показатели степени равны 1, то есть $%k_1=\cdots=k_r=1$% (когда $%n$% не делится на квадрат простого числа), то получается прямая сумма полей, то есть полупростое кольцо.

Если для некоторого $%i$% имеет место неравенство $%k_i\ge2$%, то кольцо обладает нетривиальным нильпотентным элементом. Легко видеть, что прямая сумма полей таким элементом обладать не может, откуда следует обратное утверждение.

Для многочленов всё аналогично: раскладываем $%f(x)$% в произведение неприводимых сомножителей. Если среди них нет кратных, то получится прямая сумма полей вида $%\mathbb F[x]/(f_i(x))$%, где $%f_i(x)$% неприводимы над $%\mathbb F$%. Если же есть кратные множители, то, как и выше, в кольце появляются ненулевые нильпотентные элементы.

ссылка

отвечен 11 Фев '16 19:44

10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×4,178
×869
×235
×100

задан
11 Фев '16 18:05

показан
521 раз

обновлен
11 Фев '16 19:44

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru