12

Введение в кольца

[63/59%]
Показать
LaTeX
Задача 12.1

Приведите пример конечного некоммутативного кольца. Приведите пример бесконечного некоммутативного кольца без единицы.

?
Задача 12.2

Покажите, что подкольцо R={0,2,4,6,8}R = \left\{ 0, 2, 4, 6, 8\right\} кольца Z10\mathbb {Z}_{10} имеет единицу и каждый ненулевой элемент является обратимым элементом RR. Заметьте, что ни один из этих элементов не является обратимым элементом в Z10\mathbb {Z}_{10}.

?
Задача 12.3

Приведите пример подмножества кольца, которое является подгруппой относительно сложения, но не является подкольцом.

?
Задача 12.4

Покажите на примере, что для фиксированных ненулевых элементов aa и bb кольца уравнение ax=bax = b может иметь более одного решения. Как это соотносится с группами?

?
Задача 12.5

Какие из следующих подмножеств Zx\mathbb {Z}^{x} являются подкольцами?

?
(a)

Все элементы Zx\mathbb {Z}^{x}, у которых все коэффициенты чётны.

(b)

{f(x)∈Zx∣f′(0)=0}\left\{ f(x) \in \mathbb {Z}^{x} \mid f'(0) = 0\right\}. (f′(x)f'(x) есть производная многочлена f(x)f(x).)

(c)

Все элементы Zx\mathbb {Z}^{x}, у которых коэффициент при x2x^2 равен 0.

Задача 12.6

Найдите такое целое nn, чтобы кольца Zn\mathbb {Z}_n не обязательно обладали следующими свойствами, которыми обладает кольцо целых чисел.

?
(a)

a2=aa^2 = a влечёт a=0a = 0 или a=1a = 1.

(b)

ab=0ab = 0 влечёт a=0a = 0 или b=0b = 0.

(c)

ab=acab = ac и a≠0a \neq 0 влекут b=cb = c.

Является ли найденное вами nn простым?

Задача 12.7

Покажите, что три свойства, перечисленные в упражнении 12.6, верны для Zp\mathbb {Z}_p, где pp простое.

?
Задача 12.8

Покажите, что кольцо коммутативно, если оно обладает свойством: из ab=caab = ca следует b=cb = c при a≠0a \neq 0. (Внешнее сокращение влечёт коммутативность''.) Покажите, что то же верно, если из $ab = bc$ следует $a = c$ при $b \neq 0$. (Внутреннее сокращение влечёт коммутативность''.)

?
Задача 12.9

Докажите, что пересечение любого семейства подколец кольца RR является подкольцом RR.

?
Задача 12.10

Проверьте, что примеры 8--13 этой главы верны в сформулированном виде.

?
Задача 12.11

Докажите правила 3--6 теоремы 12.1.

Теорема 12.1 (Правила умножения): пусть aa, bb и cc принадлежат кольцу RR. Тогда (1) a0=0a=0a0 = 0a = 0; (2) a(−b)=(−a)b=−(ab)a(-b) = (-a)b = -(ab); (3) (−a)(−b)=ab(-a)(-b) = ab; (4) a(b−c)=ab−aca(b-c) = ab - ac и (b−c)a=ba−ca(b-c)a = ba - ca. Кроме того, если RR имеет единичный элемент 1, то (5) (−1)a=−a(-1)a = -a; (6) (−1)(−1)=1(-1)(-1) = 1.

?
Задача 12.12

Пусть aa, bb и cc являются элементами коммутативного кольца, причём aa --- обратимый элемент. Докажите, что bb делит cc тогда и только тогда, когда abab делит cc.

?
Задача 12.13

Опишите все подкольца кольца целых чисел.

?
Задача 12.14

Пусть aa и bb принадлежат кольцу RR, а mm --- целое число. Докажите, что m⋅(ab)=(m⋅a)b=a(m⋅b)m \cdot (ab) = (m \cdot a)b = a(m \cdot b).

?
Задача 12.15

Покажите, что если mm и nn --- целые числа, а aa и bb --- элементы кольца, то (m⋅a)(n⋅b)=(mn)⋅(ab)(m \cdot a)(n \cdot b) = (mn) \cdot (ab). (Это упражнение упоминается в главах 13 и 15.)

?
Задача 12.16

Покажите, что если nn --- целое число, а aa --- элемент кольца, то n⋅(−a)=−(n⋅a)n \cdot (-a) = -(n \cdot a).

?
Задача 12.17

Покажите, что кольцо, являющееся циклическим относительно сложения, коммутативно.

?
Задача 12.18

Пусть rr --- фиксированный элемент кольца RR. Пусть S={x∈R∣rx=0}S = \left\{ x \in R \mid rx = 0\right\}. Покажите, что SS является подкольцом RR.

?
Задача 12.19

Пусть RR --- кольцо. Центром RR называется множество {x∈R∣ax=xa для всех a из R}\left\{ x \in R \mid ax = xa \text{ для всех } a \text{ из } R\right\}. Докажите, что центр кольца является подкольцом.

?
Задача 12.20

Найдите строго убывающую последовательность подколец R0⊂R1⊂R2⋯R_0 \subset R_1 \subset R_2 \cdots такую, что R0=ZR_0 = \mathbb {Z} и ⋂i=0∞Ri={0}\bigcap_{i=0}^{\infty } R_i = \left\{ 0\right\}.

?
Задача 12.21

Предположим, что R1,R2,…,RnR_1, R_2, \ldots , R_n --- кольца, содержащие ненулевые элементы. Покажите, что R1⊕R2⊕⋯⊕RnR_1 \oplus R_2 \oplus \cdots \oplus R_n имеет единицу тогда и только тогда, когда каждое RiR_i имеет единицу. (Эта группа называется группой обратимых элементов RR.)

?
Задача 12.22

Пусть RR --- коммутативное кольцо с единицей, а U(R)U(R) обозначает множество обратимых элементов RR. Докажите, что U(R)U(R) является группой относительно умножения в RR. (Эта группа называется группой обратимых элементов RR.)

?
Задача 12.23

Найдите U(Zi)U(\mathbb {Z}^{i}) (см. пример 11).

?
Задача 12.24

Если R1,R2,…,RnR_1, R_2, \ldots , R_n --- коммутативные кольца с единицей, покажите, что U(R1⊕R2⊕⋯⊕Rn)=U(R1)⊕U(R2)⊕⋯⊕U(Rn)U(R_1 \oplus R_2 \oplus \cdots \oplus R_n) = U(R_1) \oplus U(R_2) \oplus \cdots \oplus U(R_n).

?
Задача 12.25

Найдите U(Zx)U(\mathbb {Z}^{x}). (Это упражнение упоминается в главе 17.)

?
Задача 12.26

Найдите U(R[x])U(R[x]).

?
Задача 12.27

Покажите, что обратимый элемент кольца делит каждый элемент кольца.

?
Задача 12.28

В Z6\mathbb {Z}_6 покажите, что 4∣24 \mid 2; в Z8\mathbb {Z}_8 покажите, что 3∣73 \mid 7; в Z15\mathbb {Z}_{15} покажите, что 9∣129 \mid 12.

?
Задача 12.29

Предположим, что aa и bb принадлежат коммутативному кольцу RR с единицей. Если aa --- обратимый элемент RR и b2=0b^2 = 0, покажите, что a+ba + b является обратимым элементом RR.

?
Задача 12.30

Пусть aa принадлежит кольцу RR с единицей и an=0a^n = 0 для некоторого положительного целого nn. (Такой элемент называется нильпотентным.) Докажите, что 1−a1 - a имеет мультипликативно обратный элемент в RR.

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

Рассмотрите (1−a)(1+a+a2+⋯+an−1)(1 - a)(1 + a + a^2 + \cdots + a^{n-1}).

Задача 12.31

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

?
Задача 12.32

Предположим, что существует целое n>1n > 1 такое, что xn=xx^n = x для всех элементов xx некоторого кольца. Если mm --- положительное целое число и am=0a^m = 0 для некоторого aa, покажите, что a=0a = 0.

?
Задача 12.33

Приведите пример элементов кольца aa и bb, обладающих свойствами ab=0ab = 0, но ba≠0ba \neq 0.

?
Задача 12.34

Пусть nn --- целое число, большее 1. В кольце, в котором для всех xx выполнено xn=xx^n = x, покажите, что ab=0ab = 0 влечёт ba=0ba = 0.

?
Задача 12.35

Докажите, что для любого целого n>1n > 1 множество R={[0a0b]∣a,b∈Zn}R = \left\{ \begin{bmatrix} 0 & a \\ 0 & b \end{bmatrix} \mid a, b \in \mathbb {Z}_n\right\} является некоммутативным кольцом порядка n2n^2. Обобщите на некоммутативные кольца порядка nmn^m при m>1m > 1.

?
Задача 12.36

Предположим, что RR --- кольцо, такое что x3=xx^3 = x для всех xx в RR.

?
(a)

Докажите, что 6x=06x = 0 для всех xx в RR.

(b)

Найдите все положительные целые nn, для которых x3=xx^3 = x для всех xx в Zn\mathbb {Z}_n.

Задача 12.37

Предположим, что RR --- кольцо, такое что x4=xx^4 = x для всех xx в RR. Докажите, что 2x=02x = 0 для всех xx в RR.

?
Задача 12.38

Предположим, что aa принадлежит кольцу и a4=a2a^4 = a^2. Докажите, что a2n=a2a^{2n} = a^2 для всех n≥1n \geq 1.

?
Задача 12.39

Найдите целое n>1n > 1 такое, что an=aa^n = a для всех aa в Z6\mathbb {Z}_6. Сделайте то же для Z10\mathbb {Z}_{10}. Покажите, что такого nn не существует для Zm\mathbb {Z}_m, когда mm делится на квадрат некоторого простого числа.

?
Задача 12.40

Пусть mm и nn --- положительные целые числа, а kk --- наименьшее общее кратное mm и nn. Покажите, что mZ∩nZ=kZm\mathbb {Z} \cap n\mathbb {Z} = k\mathbb {Z}.

?
Задача 12.41

Объясните, почему каждая подгруппа Zn\mathbb {Z}_n относительно сложения также является подкольцом Zn\mathbb {Z}_n.

?
Задача 12.42

Является ли Z6\mathbb {Z}_6 подкольцом Z12\mathbb {Z}_{12}?

?
Задача 12.43

Предположим, что RR --- кольцо с единицей 1 и aa --- элемент RR, такой что a2=1a^2 = 1. Пусть S={ara∣r∈R}S = \left\{ ara \mid r \in R\right\}. Докажите, что SS является подкольцом RR. Содержит ли SS элемент 1?

?
Задача 12.44

Пусть M2(Z)M_2(\mathbb {Z}) --- кольцо всех матриц размера 2×22 \times 2 над целыми числами и R={[aa+ba+bb]∣a,b∈Z}R = \left\{ \begin{bmatrix} a & a+b \\ a+b & b \end{bmatrix} \mid a, b \in \mathbb {Z}\right\}. Докажите или опровергните, что RR является подкольцом M2(Z)M_2(\mathbb {Z}).

?
Задача 12.45

Пусть M2(Z)M_2(\mathbb {Z}) --- кольцо всех матриц размера 2×22 \times 2 над целыми числами и R={[aa−ba−bb]∣a,b∈Z}R = \left\{ \begin{bmatrix} a & a-b \\ a-b & b \end{bmatrix} \mid a, b \in \mathbb {Z}\right\}. Докажите или опровергните, что RR является подкольцом M2(Z)M_2(\mathbb {Z}).

?
Задача 12.46

Пусть M2(Z)M_2(\mathbb {Z}) --- кольцо всех матриц размера 2×22 \times 2 над целыми числами и R={[aabb]∣a,b∈Z}R = \left\{ \begin{bmatrix} a & a \\ b & b \end{bmatrix} \mid a, b \in \mathbb {Z}\right\}. Докажите или опровергните, что RR является подкольцом M2(Z)M_2(\mathbb {Z}).

?
Задача 12.47

Докажите или опровергните, что R={[0a00]∣a∈Z}R = \left\{ \begin{bmatrix} 0 & a \\ 0 & 0 \end{bmatrix} \mid a \in \mathbb {Z}\right\} и S={[00a0]∣a∈Z}S = \left\{ \begin{bmatrix} 0 & 0 \\ a & 0 \end{bmatrix} \mid a \in \mathbb {Z}\right\} являются подкольцами M2(Z)M_2(\mathbb {Z}). Что необычного в RR и SS?

?
Задача 12.48

Докажите или опровергните, что R={[a000]∣a∈Z}R = \left\{ \begin{bmatrix} a & 0 \\ 0 & 0 \end{bmatrix} \mid a \in \mathbb {Z}\right\} и S={[000a]∣a∈Z}S = \left\{ \begin{bmatrix} 0 & 0 \\ 0 & a \end{bmatrix} \mid a \in \mathbb {Z}\right\} являются подкольцами M2(Z)M_2(\mathbb {Z}).

?
Задача 12.49

Пусть R=Z⊕Z⊕ZR = \mathbb {Z} \oplus \mathbb {Z} \oplus \mathbb {Z} и S={(a,b,c)∈R∣a+b=c}S = \left\{ (a,b,c) \in R \mid a + b = c\right\}. Докажите или опровергните, что SS является подкольцом RR.

?
Задача 12.50

Предположим, что существует положительное чётное целое nn такое, что an=aa^n = a для всех элементов aa некоторого кольца. Покажите, что −a=a-a = a для всех aa в кольце.

?
Задача 12.51

Пусть RR --- кольцо с единицей 1. Покажите, что S={n⋅1∣n∈Z}S = \left\{ n \cdot 1 \mid n \in \mathbb {Z}\right\} является подкольцом RR.

?
Задача 12.52

Покажите, что 2Z∪3Z2\mathbb {Z} \cup 3\mathbb {Z} не является подкольцом Z\mathbb {Z}.

?
Задача 12.53

Найдите наименьшее подкольцо Q\mathbb {Q}, содержащее 2/32/3. (То есть найдите подкольцо SS, обладающее свойством: SS содержит 2/32/3 и, если TT --- любое подкольцо, содержащее 2/32/3, то TT содержит SS.)

?
Задача 12.54

Найдите наименьшее подкольцо Q\mathbb {Q}, содержащее 2/32/3.

?
Задача 12.55

Пусть RR --- кольцо. Докажите, что a2−b2=(a+b)(a−b)a^2 - b^2 = (a+b)(a-b) для всех a,ba, b в RR тогда и только тогда, когда RR коммутативно.

?
Задача 12.56

Предположим, что RR --- кольцо и a2=aa^2 = a для всех aa в RR. Покажите, что RR коммутативно.

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

Кольцо, в котором a2=aa^2 = a для всех aa, называется булевым кольцом в честь английского математика Джорджа Буля (1815--1864).

Задача 12.57

Приведите пример булева кольца с четырьмя элементами. Приведите пример бесконечного булева кольца.

?
Задача 12.58

Если aa, bb и cc --- элементы кольца, всегда ли уравнение ax+b=cax + b = c имеет решение xx? Если имеет, обязано ли решение быть единственным? Ответьте на те же вопросы при условии, что aa --- обратимый элемент.

?
Задача 12.59

Пусть RR и SS --- коммутативные кольца. Докажите, что (a,b)(a,b) является делителем нуля в R⊕SR \oplus S тогда и только тогда, когда aa или bb является делителем нуля, либо ровно один из aa и bb равен 0.

?
Задача 12.60

Покажите, что 4x2+6x+34x^2 + 6x + 3 является обратимым элементом в Z8[x]\mathbb {Z}_8[x].

?
Задача 12.61

Пусть RR --- коммутативное кольцо с более чем одним элементом. Докажите, что если для каждого ненулевого элемента aa из RR выполнено aR=RaR = R, то RR имеет единицу и каждый ненулевой элемент имеет обратный.

?
Задача 12.62

Найдите пример коммутативного кольца RR с единицей, такого что a,b∈Ra, b \in R, a≠ba \neq b, an=bna^n = b^n и am=bma^m = b^m, где nn и mm --- взаимно простые положительные целые числа. (Сравните с упражнением 13.39, пункт b, в главе 13.)

?
Задача 12.63

Докажите, что элемент AA из M2(Z)M_2(\mathbb {Z}) является обратимым тогда и только тогда, когда det⁡A=±1\det A = \pm 1.

?