6.10

Идеалы

[15/93%]
Показать
LaTeX
Задача 6.10.1

Пусть AA — кольцо вещественных матриц 2×22 \times 2 вида (ab0c)\begin{pmatrix} a & b \\ 0 & c \end{pmatrix}. Каковы двусторонние идеалы в AA?

?
Задача 6.10.2

Пусть Mn×n(F)M_{n \times n}(\mathbf{F}) — кольцо матриц n×nn \times n над полем F\mathbf{F}. Докажите, что оно не имеет двусторонних идеалов, кроме Mn×n(F)M_{n \times n}(\mathbf{F}) и {0}\left\{ 0\right\}.

?
Задача 6.10.3

Пусть Mn×n(F)M_{n \times n}(\mathbf{F}) — кольцо матриц n×nn \times n над полем F\mathbf{F}. Существует ли при n1n \geq 1 гомоморфизм колец из M(n+1)×(n+1)(F)M_{(n+1) \times (n+1)}(\mathbf{F}) на Mn×n(F)M_{n \times n}(\mathbf{F})?

?
Задача 6.10.4

Пусть RR — кольцо матриц n×nn \times n над полем. Предположим, что SS — кольцо и h:RSh : R \rightarrow S — гомоморфизм. Покажите, что hh либо инъективен, либо нулевой.

?
Задача 6.10.5

Пусть F\mathbf{F} — поле, а XX — конечное множество. Пусть R(X,F)R(X, \mathbf{F}) — кольцо всех функций из XX в F\mathbf{F}, наделённое поточечными операциями. Каковы максимальные идеалы R(X,F)R(X, \mathbf{F})?

?
Задача 6.10.6

Пусть VV — векторное пространство над полем KK. Если UU и WW — подпространства, пусть E(U,W)E(U,W) — множество линейных эндоморфизмов FF пространства VV над KK, обладающих тем свойством, что образ FUFU в V/WV/W конечномерен. Покажите, что E(U,U)E(U,U) является подкольцом кольца эндоморфизмов VV с двусторонними идеалами E(V,U)E(V,U) и E(U,0)E(U,0).

?
Задача 6.10.7

Пусть RR — коммутативное кольцо с единичным элементом и aRa \in R. Пусть nn и mm — положительные целые числа, и пусть d=gcd{n,m}d = \gcd \left\{ n,m\right\}. Докажите, что идеал RR, порождённый an1a^n - 1 и am1a^m - 1, совпадает с идеалом, порождённым ad1a^d - 1.

?
Задача 6.10.8
?
(1)

Пусть RR — коммутативное кольцо с единицей, содержащее элемент aa с a3=a+1a^3 = a+1. Далее, пусть II — идеал RR индекса <5< 5 в RR. Докажите, что I=RI = R.

(2)

Покажите, что существует коммутативное кольцо с единицей, имеющее элемент aa с a3=a+1a^3 = a+1 и содержащее идеал индекса 5.

Примечание.
?

Термин индекс используется здесь точно так же, как в теории групп; а именно, индекс II в RR означает порядок R/IR/I.

Задача 6.10.9

Пусть RR — коммутативное кольцо с 1, а RR^{*} — его группа единиц. Предположим, что аддитивная группа RR порождается множеством {u2uR}\left\{ u^2 \mid u \in R^{*}\right\}. Докажите, что RR имеет не более одного идеала II, для которого R/IR/I имеет мощность 3.

?
Задача 6.10.10

Найдите все коммутативные кольца RR с единицей такие, что RR имеет единственный максимальный идеал и группа единиц RR тривиальна.

?
Задача 6.10.11

Пусть RR — кольцо с единицей, и пусть II — левый идеал RR, порождённый множеством {abbaa,bR}\left\{ ab-ba \mid a,b \in R\right\}. Докажите, что II является двусторонним идеалом.

?
Задача 6.10.12

Пусть RR — кольцо с единичным элементом. Предположим, что I1,I2,,InI_1, I_2, \ldots , I_n — левые идеалы в RR, такие что R=I1I2InR = I_1 \oplus I_2 \oplus \cdots \oplus I_n (как аддитивные группы). Докажите, что существуют элементы uiIiu_i \in I_i такие, что для любых элементов aiIia_i \in I_i выполняется aiui=aia_i u_i = a_i и aiuj=0a_i u_j = 0 при jij \neq i.

?
Задача 6.10.13

Предположим, что RR — подкольцо коммутативного кольца SS и что RR имеет конечный индекс nn в SS. Пусть mm — целое число, взаимно простое с nn. Докажите, что естественное отображение R/mRS/mSR/mR \rightarrow S/mS является изоморфизмом колец.

?
Задача 6.10.14

Пусть MM — одно из следующих полей: R\mathbb {R}, C\mathbb {C}, Q\mathbb {Q} и F9\mathbf{F}_9 (поле из девяти элементов). Пусть IM[x]I \subset M[x] — идеал, порождённый x4+2x2x^4 + 2x - 2. Для каких MM кольцо M[x]/IM[x]/I является полем?

?
Задача 6.10.15

Пусть RR — область главных идеалов, а II и JJ — ненулевые идеалы в RR. Покажите, что IJ=IJIJ = I \cap J тогда и только тогда, когда I+J=RI+J = R.

?