Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Учебник по математике Ч1 / Сборник задач по математике для втузов. В 4-х ч. Ч.1_ (ред) Ефимов А.В, Поспелов А.С_2001 -288с

.pdf
Скачиваний:
3201
Добавлен:
23.02.2015
Размер:
6.11 Mб
Скачать

 

 

 

 

 

 

Ответы и указания

 

281

4.269. Решений

нет.

 

4.270. 11.

4.271. 2,

6.

4.272. 3, 4. 4.273. Ре­

шений

нет.

4.274. 9,

15,

19, 25.

4.275. Например, кольцо всех

четных чисел.

4.276.

< Этот пример можно строить многими спосо­

бами.

Например, так.

Рассмотрим двумерное линейное пространство

Ь над Е.

Пусть а, Ь — базис Ь над Е.

Элементы из Ь имеют вид

аа +

/ЗЬ, где а, /

6

Е.

На множестве Ь уже есть операция сложе­

ния, введем операцию умножения.

Положим для базисных элементов,

например,

а2

=

Ь,

аЬ =

Ьа =

0,

Ь2 =

а.

Зная произведение ба­

зисных элементов, из аксиомы дистрибутивности получим произведение любых элементов из Ь: (аа + /ЗЬ)(7 а + <5Ь) = а у а 2 + (ЗуЪа. + а<5аЬ +

+

06Ъ2 =

с*7 Ь

+

/38а. Это кольцо неассоциативно, так как (аа)Ь =

=

а2Ь

=

Ь2 =

а

и а(аЬ)

= а •0 = 0.0 4.277. Указание. Пусть

х

+ х

=

1 и у

+

у = 1.

Умножьте первое равенство справа на у , а

второе слева на х.

4.278. Для кольца, состоящего из одного элемента 0.

4.282. Да.

4.283. (р(п) = 0 для всех п е Ъ.

4.284. (р\{п) = п, 2{п) =

= 0 для всех п е

2Ъ. 4.286. Указание.

Проверить, что отображение

к н-» (/гтос1га, &тос1п) является изоморфизмом колец Ътп -»• Ът @Ъп. 4.287. < Если мы докажем изоморфизм (Р (Х ), Л, П) и %2 0 ■^ ■0 Ъу

п раз .

то проверка аксиом кольца для Р (Х ) не потребуется. Построим ото­ бражение следующим образом. Будем считать, что X = {1, 2, ..., п} (это предположение не ограничивает общности). Для А С X положим </?(А) = (ех, е 2 , ..., £п), где е* = 1 при г е А и е* = 0 при г $ А. То есть каждому подмножеству мы ставим в соответствие"строчку из 0 и 1;

в

частности,

<р(0) =

(0, 0,

..., 0),

ф(Х) = (1,

1, ...,

1), <р({1, 3})

=

=

(1, 0, 1, 0, ..., 0).

Ясно,

что у

взаимно

однозначное отображе­

ние. Проверим, что — изоморфизм.

Пусть А, В €

Р (Х ) и ф{А)

=

=

(£1, £2,

еп), <Р(В) =

(77х, 772,

 

г ]п ) , <р{ААВ) =

(Сх, Сг, •••, Сп)-

Если I € А и { £ В, то г ^ А А В , и мы имеем: е* =

щ = 1, Сг =

0*

В этом случае Сг = £* + щ, так как 1 + 1 = 0 в Ъ2. Аналогично рассма­

триваются другие случаи: г е А и г б В и т . д., и в этих случаях мы

также получаем Сг = £г + 'Пг-

Следовательно, ср(ААВ) = (Сь •••, Сп) =

= (£1,

 

£п) + {т]1,

 

‘П п )

= <р(А) 4- <р(В).

 

Аналогично доказыва­

ется, что <р(А П В)

=

</?(А) •<р(В). 4.298. Нет.

4.299. Да.

4.300. Нет.

4.301. Да.

4.302. Поле получится, если п не является квадратом в Ър.

4.303.

1.

4.304.

5.

4.305.

10.

4.306. 0.

4.307.

9.

4.308.

13.

4.309. 1;

4.

4.310. Решений нет. 4.311. 4.

4.312. 4.

4.313. 2, 8, 9, 15. 4.314. х =

7,

4

Л

1

1

Л

Л

0

0

1

у = 8. 4.315. х = 9, у = 5. 4.316. а) 1

 

1

4

6 б)

 

1 0

 

У2

6

1 0

 

3/

 

 

 

VI 1 о 1

282

 

 

 

Ответы и указания

 

 

 

4.317. а) 3; б)

2.

4.318. <з Так как ZJ =

{1, 2, ..., р -

1} —

группа

по умножению и |Z*|

~ р 1, то ор-1 =

1 для всех а 6

Ъ*.

Значит,

ар = а при а

6

Zp,

а

^ 0.

Кроме того, 0Р = 0.

Поэтому ар = а

для всех а 6 Zp.>

 

 

р 4- 1

 

 

 

 

4.319. —-— . Указание. Воспользуйтесь тем, что

х2 = (-ж)2.

 

 

р

1

 

 

 

 

 

4.320. —-— . Указание. Воспользуйтесь результатом

предыдущей задачи.

4.321. Указание. Воспользуйтесь результатом

задачи4.133 а). 4.322. Нет. 4.323. <3 Пусть F и F\ — поля и R = F 0 F '.

Положим а =

(1, 0),

b = (0, 1). Нетрудно видеть,

что а

ф 0,

b ф 0.

Вместе с тем, ab = 0.

Следовательно, R — не поле.О 4.325. <3 ра =

= а 4- ... 4- а

= а- ( 14- ... +

1) = а- 0 = 0.0 4.327. < Пусть 1 — еди-

рраз

 

 

 

рраз

 

 

 

 

 

ница поля F i. Тогда элемент 1 является также единицей поля F2. Если п •1 = 0 в F i, топ-1 = 0 в F2 и наоборот. Поэтому характеристики полей Fi и F2 равны.с> 4.329. <1 По формуле бинома Ньютона (а 4- Ь)р = ар 4- 4- (7pap-1ö 4- С2ар~2Ь2 4- ... 4- ЪР. Рассмотрим коэффициент (7*, где

1 ^ i ^ р —1. Так как р — простое, то Ci =

р(р — 1). •Ар i ~t~ 1)

 

 

-----------------------------

целое.

Так как НОД(г!, р)

= 1, то

 

 

у

 

 

 

 

г!

делится на

— 1). ..{р —г 4-

1)

г!, следовательно, (7*

делится на р.

Так

как charF = р, то (7* = 0

в поле F ,

а значит,

4- Ь)р = ар 4-

ЪР.

 

Далее применим индук­

цию по п:

(а + Ь)рП =

^(а 4- Ь)рП ^

=

^ар"

1 4- Ьр"

)

=

ар"

+

4- ЬР\[> 4.330. а20 4- а1664 4- а4Ь16 4- Ь20.

4.331. Нет.

4.332. |F|

=

25,

charF = 5, Fo =

 

 

 

^ |a(EZ5|.

 

4.333. q(x)

=

ж2

4- 4ж —4;

г(ж) =

— 10ж 4- 19.

4.334. q(x)

=

ж2;

г(ж) =

ж2 — 1.

4.335. q(x)

=

= 4ж

4- 1; г(ж) = ж2

4- 4.

4.336. q(ж)

= ж2; г(ж) = ж2 4- ж 4- 1.

4.337. г(ж)

= ^ ж

Указание,

/(ж)

=

q(ж)(ж — 1)(ж

4- 2)

4-

 

 

О

 

ü

 

4.338. д(ж)

=

ж3 —ж2 4- Зж —3;

г(ж)

=

4- г(ж), где г(ж) =

ах 4- 6.

= 5.

4.339. q{ж)

=

2ж4 - бж3 +

13ж2 -

39ж 4- 109;

г(ж)

=

 

- 327.

4.340. q(ж) = Зж4 4- 7ж3

4- 14ж2 +

9ж 4- 5;

г(ж)

= 0.

4.341. <з Из по­

следней строки алгоритма Евклида следует, что г*(ж) |Гк-\ (ж). Подни­ маясь на одну строку вверх, получим: г*(ж) |г*_2 (ж) = г*_1 (ж)<7*(ж) 4- 4- г*(ж). Рассуждая аналогично и поднимаясь вверх, будем получать: г*(ж) |г*_3(ж), rfc_4(ж), ..., г1(ж), р(ж), /(ж). Таким образом, rk(х) — общий делитель многочленов /(ж) и <?(ж). Пусть d\(ж) — какой-либо общий делитель многочленов /(ж) и <?(ж). Так как di(x) |/(ж), д(ж), то di(ж) |п(ж) = /(ж) —р(ж)91(ж). Двигаясь вниз по строкам алгоритма Евклида, будем получать: ^1(ж)|г2 (ж), di(x) |Гз(ж), ..., di(x) |г*(ж).

Ответы и указания

283

Итак, rjfe(x) делится на любой общий делитель многочленов f(x )

и д(х),

значит, r*(x) = (f { x ), у(х)).> 4.342. а) < Докажем вначале

данное

утверждение для двух многочленов. Пусть d(x), di(x) — многочлены, каждый из которых удовлетворяет определению наибольшего общего де­ лителя многочленов /(ж) и д{х), а г*(я) — наибольший общий делитель этих многочленов, полученный с помощью алгоритма Евклида. Тогда di(x) |f‘ii(x) (см. задачу 4.341). Так как г* и di одной степени, то d\(х) = = /,м**(х) при некотором /г 6 F , у ф 0. Аналогично d(x) = w *(x), где V Е F , V ф 0. Отсюда следует, что d(x) = (vfi~l )di(x). Для п многочле­ нов доказательство проводится индукцией по п. Пусть даны п многочле­ нов /i(х), ..., /п(х) и d, d\ — их наибольшие общие делители. Тогда d{x) = (w(x), /п(х)), d\(x) = (ui(x), /п(х)), гдеu(x), ui(x) — наиболь­ шие общие делители многочленов /i(x), ..., /п_ i(x). По предположению индукции и = (Зщ, где / 6 F , /3^0. Значит, d(x) и di(x) — наиболь­ ший общий делитель многочленов и(х) и /п(х). Отсюда d(x) = Adi (x) при некотором X Е F , А ф 0. б) Указание. Доказать сначала, что d(x) = f(x)u(x) + g(x)v(x), где d(x) = (/(x), <?(x)), двигаясь по строч­ кам алгоритма Евклида снизу вверх; затем рассуждать по индукции. >

4.343. а) < Пусть (/(x), р(х)) =

d(x). Тогда /(х) =

Д(х)с?(х), д{х) =

= gi(x)d{x), где (/i(x), ffi(x)) =

1. Положим М(х)

= fi(x)gi(x)d(x).

Ясно, что М(х)

— общее кратное многочленов /(х) и д(х). Докажем,

что и(х) |М(х)

для любого и(х)

общего кратного многочленов /(х) и

д(х). Так как и(х) |/(х), то u(x) |d(x), следовательно, м(х) = u\(x)d{x). Так как и{х) |/(х), то щ (х) |fi (х), поэтому щ {х) — fi{x)v{x). Так как Щ{х) |/г(х), то fi(x)v(x) |/2(х); учитывая, что (А(х), /2(х)), получаем: Vix)\ h (x)- Значит, г>(х) = гу(х)/г(х). Таким образом, М (х)\и(х) =

=ui(x)d(x) = fi(x)v(x)d(x) — fi(x)w (x)f2(x)d(x), т.е. М(х) — наи­ меньшее общее кратное многочленов f(x ) и д(х). б) У к а з а н ие. Сохра­ няя обозначения пункта а), получим: M{x)d{x) = fi(x)g\(x)d(x)d(x) =

=f i ( x)d{x)gi(x)d(x) = f(x)g(x). Для другого наименьшего общего

кратного т (х ) имеем: т (х ) = ХМ(х) (Л 6 F , X ф 0), а значит, f(x)g(x) = XM(x)d(x). > 4.344. < x3 —2х2 —x —6 = 1 •(x3 4- x —2) 4-

4- (-2 x 2 - 2x —4), x3

4- x - 2 = (-0,5x 4- 0,5)(-2x2 - 2x - 4). Так

как -2 x 2 — 2x - 4 = -

2(x2 4- x 4- 2), то x2 4- x 4- 2 — наибольший

общий делитель многочленов. > 4.345. x2 4- x 4- 1. 4.346. x2 4- 2x 4- 3. 4.347. x 4- 2. 4.348. xd - 1, где d = НОД(т, n). 4.349. d(x) = x2 —2, u(x) = —x —1; v(x) = x4-2. Указание. Для нахождения многочле­

нов u(х) и v(x)

двигаться по строкам алгоритма Евклида

снизу вверх.

4.350. d(x) = х3 4- 1, u(x) = —1, г>(х) = х 4- 1.

4.351. d(x)

= х2 4- 2х +

+ 3, и(х) = Зх 4- 2, v(x) = 2х 4- 4.

4.352. 4х4 —27х3 4- 66х2 —65х 4- 24.

4.353. а)

3;

—1;

б) ±г\/2, ±2гу/3.

4.354. Да.

4.355. При нечетных п.

4.356. a

=

0, b

= 1. 4.357. a =

1, b = 4.

4.358. (x2 4- x 4- 1) x

284

 

 

 

 

 

Ответы и указания

 

 

 

 

 

 

 

 

х(х —2)(х 4- 3).

4.359. х5 4- х2 4- х 4-

1.

4.365.

 

4-

1)(х

+

2)х

х(х —5).

4.366.

2)(х

4- 3)(х2 - х

+

1) над Е, (х — 2)(х

4-

3)х

(

 

1

- (

г\/з\

1 -

I

г\/з\

 

4.367.

п~1

(

 

 

2тгм\

х I х

------------- I

( х

н-------- -—

над С.

 

 

 

—е п

\ над

_

m

 

 

 

 

/

,,

{ !

/

,

 

 

2жк

 

 

 

\

 

 

С; над Е при нечетных п

(х —1)

II

аг — cos------- f-1 J, где m =

 

 

 

 

 

 

 

 

fc=i\

 

 

 

 

п

 

 

 

)

 

 

n — 1

 

 

 

1)(х 4-

i\

гт

/

2

Г,

 

 

2ттк

Л

, где

= —-— , и при четных п

1 )

II

аг — 2 xcos------- (-1

2

 

 

 

 

 

 

 

к = Л

 

 

 

 

 

п

 

)

 

m =

4.368. (х2 4-

1)(х 4- 3)(х —2)над Е, (х 4- г)(х —i)(x

4- 3)(ж —2)

над С.

4.369. (х+

3)(х 4- 2)(х2

+

х

+

1).

4.370. (х

4-

1)(х

4-

З)2.

4.371. (х 4- 2)2.

4.372. (ж 4- 4)(ж 4- 5)(х2 4- 1).

4.373. (х2 - 2х +

2)х

х(х2

4- 2х 4- 2).

4.374. (х +

I)5.

4.375. (ж2

4-

3)(х2

-

Зх

4-

3)х

х(х2

4- Зх 4- 3).

 

p - i

Я-

4.377. х4

+ 4х2

+

1 .

4.378. 2ж3 +

4.376.

П

(х -

4- 2ж 4- 2.

 

 

з

= 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.379. Да. 4.380. Да. 4.381. Нет, х = 1 — корень. 4.382. Да.

4.383. Да. 4.384. Да. 4.386. <0 Рассуждаем аналогично тому, как Евклид доказывал бесконечность множества простых чисел. Если pi{x ), р2 (ж),

..., рп(х) — все неприводимые многочлены, то многочлен pi (х) р2 {х) •...

.. .'рп{х) 4- 1 имеет неприводимый множитель, отличный от р\(ж), р2(х),

..., рп{х), — противоречие. t> 4.387. Указание. Рассуждать «методом

от противного».

4.388. Указание. Воспользоваться результатом пре­

дыдущей задачи. 4.389. Указание. Воспользоваться результатом пре­

дыдущей задачи.

4.390. Указание. Воспользоваться критерием Эй­

зенштейна.

4.395. х3 4- х 4- 1,

х3 4- х2 4- 1.

4.396. fi

= х3 4- 2х 4- 1,

/2 = х3 4- 2х 4- 2, /3 = х3 4- х2 4- 2, /4 = х3 4- х2 4- х 4- 2,

2/i,

2 /2,

2/з, 2 /4 .

4.397. х4

4* х 4-

1,

ж4

4-

х3 4- 1,

ж4 4- х3 4-

4- ж2 4- а:

4-

1.

4.398. 2.

4.399. Таких а

нет.

4.400. 2,

3.

4.401. 0.

4.402. Например, х6 4- х5 4- 1 (всего таких многочленов 9).

4.404. Ука­

зание. Пусть /(х) = жр - х 4- a = /i(x).. ./m(x), где /*(х) — не­

приводимы.

Убедиться в том,

что /*(ж 4- а)

=

/*(ж) при некоторых

г и а, и воспользоваться результатом предыдущей задачи.

4.405. F .

4.406. Q.

4.407. {а

4- Ы|а, Ь 6

Q, г2 =

1 }.

4.408. Нет.

4.409. Нет.

4.410. Да.

4.411. х2 —2х 4- 5 4—

 

 

4. 412. 4x4-

 

Х* + 4*

 

 

 

 

 

 

 

 

х2 4- —1

 

 

 

Зх3 4- х 4- 4

4.413. ~ (

 

-•—

1

 

г

i

\

* м*,

i {

 

 

1

 

 

4 "------- г —------ г ) •4.414. —(---------------------7=4"

 

4 \ж —1

х 4- 1

х - г

ж 4-г/

 

 

4 \

х-(14-г)/\/2

 

 

1_________________ 1

 

 

 

1

 

\

 

_1_

 

—(—14-г)/\/2

 

х (—1 —г)/\/2

х —(1 1)/ у/2 J

 

12

/

1

 

16

 

 

27

^

 

 

1

(

х

 

 

х

Х \х —1

х 4- 2

х 4- 3)

 

 

 

 

 

 

 

**16\(ж—I)

 

 

 

 

 

 

 

 

 

Ответы и указания

 

 

 

 

 

 

 

285

 

х

 

 

 

х

 

 

 

3

 

 

3

 

 

 

3

 

 

3

\

 

 

 

1

 

(х —г)2

 

(х + г)2

 

х —2

 

х + 1**"х —г~^х + г/

 

4.417.

 

 

(

1

 

х + 2

 

\

 

 

л

 

лча

1 (

 

1

 

1

 

 

 

 

х

------- -

----- — .

 

 

4.418.

-

------- +

ж + 1

х2 + 1

 

 

 

1 ж2 + 1 + 1/

 

 

 

 

 

 

 

4 \ж - 1

 

 

' 1П 1 / 3

 

 

 

3

 

+ -

1

 

, 1

. ■ „

 

4

 

+

 

^

 

 

4.419.

(

 

——--------

 

 

ттг 4- т

Н— г----

2 + 1 ) 2

 

 

1 6 \ х + 1 х - 1

 

{ х - 1 ) 2 (х + 1 ) 2

 

х2 + 1

 

 

.

1 (

 

1

 

х - 1

 

2 (х + 1) \

 

л 1

 

1

 

 

1

 

 

4.420.

------------Н------------ Ь —------- - |. 4.421. - Ч----- ------ 1___________

 

4

 

 

 

\ х + 1 x2 + l + (x2 + l) V х

х + 1 + (х + 1) 2 +

+

— Ц тз-

4.422. \

 

 

X 2 + X + 1

 

 

 

----------

+ — Ц -.

4.423.

+

1)3

 

 

 

 

X 2

 

 

Х + 1

 

 

X 3 + X +

1

 

 

X

 

 

 

л 1

 

1

 

 

2

 

2 х + 2

 

 

 

^

1

 

 

Н— 5—;;—7'

4.424. — I--------------

Н--------

Н— -------------- 7 . 4.425. — 12 -Г-

х + х +

1

 

 

 

хх +

1

 

х +

2

 

х2

+

1

 

 

 

к = 0 х к

а

 

Р\^

 

к2

 

4.427. а)

1

" - 1

 

шк

 

 

 

 

ехр

(2тгЫ\

над

4.426. -

2^

-------.

-

]>,

---------, где и>к =

------

 

 

к = \х - к

 

 

 

 

п к = 0 х - ш к

 

 

 

 

 

\ п )

 

 

^

_N

 

 

 

 

 

 

 

1 1

 

 

2 (n" i )/2

 

xcos(27rA:/n) —1

над

С;

б) при нечетном п,

 

 

 

 

+ -

 

 

£ _

x 2 _ 2 x c o s № )

+ 1

_

 

 

 

 

 

1

 

1

1

 

1

 

 

 

2 n/2^ 1

xcos(27rfc/n) —1

 

К; при четном n

: --------------------- 1—

 

X

—о-------- — г ~

 

..................

 

 

 

 

 

 

п х —1

п х + 1

 

п

к = 1

х2 —2 х cos(2тгк/п)

+

1

. ina

1 n^z;1-

 

u>lk2

 

__ . ________ f(ir(я++2тг27г/г)Аk)i\

 

4Л29

ф{х)

 

4.428. —

53

---- — i где

 

=

ехР ( )

п

 

)

 

 

 

<р{х) '

 

 

п к = 0 х - и к

 

 

 

 

 

 

\

 

 

 

 

 

 

ц>Чх)

- п.

4.431.

<р,2(х) ip(x)ipu(х)

4Л32. Например,

поле

4.430. х Ц - 1

 

"

-V..L

 

 

 

 

 

 

 

V4*)

 

 

 

 

 

 

 

 

^2(х)

 

 

 

 

 

 

 

 

 

 

Z2(x) рациональных функций над полем Z2 бесконечно и имеет харак­

теристику 2.

4.435. 3.

 

4.436. 0. 4.437. х =

—1 — корень кратности 4.

4.438. х =

 

2 —

двукратный корень.

4.439. Указание. Доказать,

что / и /' взаимно просты.

4.440. ^

3.

4.441. 3125Ь2 +

108а5

=

0,

а ф 0.

4.442. а) ±2;

б) 3.

4.443. —5.

4.444. <3 Пусть F — поле, I < F

и I

ф 0. Возьмем элемент а € /,

а ф 0. По аксиоме (П9) существует

элемент а-1 . Так как а

6 I

и 1 =

а-1 •а, то 1 6

I.

Если г — произ­

вольный элемент из R,

то г = г •1 6 r l

С I.

Следовательно, R =

1.\>

4.447. Например, Л =

{ / ( х 2) |/(х )

6 F[x]},

В =

{ / ( х 3) |/(х )

6 F[x]};

так

как ж2х3

Ф

}{х 2)

+

д(х3), то Л + В

не является подкольцом.

4.448. Да.

4.449. 0, 2Z2o, 4Z2o, 5Z20, 10Z2o, Z20.

4.451. a)

<3 Докажем,

что mZ + nZ = dZ, где d = НОД(т, n). Действительно, так как d\m,

то mZ С dZ. Аналогично nZ С dZ. Так как d — наибольший общий де­

литель, то при некоторых х, у 6 Z имеет место равенство d = mx + nj/.

Следовательно, d 6 raZ + nZ, а значит, dZ С mZ + nZ. Таким образом,

mZ + nZ = dZ;

6) mZ flnZ = tZ, где t =

HOK(m, n);

в) mZ •nZ =

= mnZ. >

4.452. 2Z.

4.453. Z.

4.454. 20Z.

 

4.455. 24Z.

 

4.456. 0 0

0,

Z2 0 0,

0 0

Z2,

Z2 0

Z2.

4.457. <3 Если / = 0,

то I /(x)F[x]

для

286

Ответы и указания

/(ж) = 0.

Пусть теперь 7 ^ 0 . Выберем в 7 ненулевой многочлен /(ж)

наименьшей степени. Так как /(ж) £ 7 и 7 — идеал, то все многочлены /(ж)р(ж) при д(ж) е ^[ж] лежат в 7, т.е. /(ж^[ж] С 7. Осталось пока­ зать, что 7 С /(ж)^[ж]. Возьмем любой элемент к(х) € 7. Разделим Н(х) на /(ж) с остатком: Н{х) = /(ж)м(ж) + г(ж), где degr(ж) < deg/(ж). Так как г(ж) = /г(ж) -/(ж)и(ж) и /г(ж), /(ж) € 7, то г(ж) 6 7. Так как /(ж) — многочлен наименьшей степени из 7\{0}, то г(ж) = 0. Значит, /г(ж) = = /(ж)м(ж) 6 /(ж^[ж]. Ввиду произвольности элемента /г(ж) 6 7 полу­ чаем: 7 С /(ж^[ж]. Таким образом, 7 = /(ж)^[ж]. > 4.459. При п > 1 А не является правым идеалом. 4.460. < Пусть 7 — идеал кольца Ъ. Тогда 7 является подгруппой группы (й, 4-). Ранее было доказано, что всякая подгруппа группы Ъ имеет вид пЪ (см. задачу 4.119), где п б 2 . Следовательно, I = пЪ. > 4.461. <3 Если 7 — идеал кольца Ъп, то по сло­ жению 7 является подгруппой группы Ъп. Подгруппы группы Ъп имеют вид aZn, где а|п (см. задачу 4.187). Значит, в кольце Ъп все идеалы

главные. >

4.469.

4 = 9224 0 16й24, здесь 92 = 9, 162 =

16, 9 •16 =

= 0; 9^24 — Zs,

16^24 —Ъъ. 4.470. Й45 = 10^45

0 36Й45;

10^45 — йд,

36й45 = й5. 4.471. а х 2 4- /Зх + у 4-7, где а,

у

6 К, 7 =

(ж3 - 2ж2 4-

4- 4)Е[ж].

4.473. <3 Всякий идеал кольца Ъ имеет вид пЪ, где п £ Ъ.

Элементы фактор-кольца Ъ/пЪ имеют вид а 4- пЪ, где а £ Ъ. Проверим, что имеется ровно п смежных классов: 0 4- пЪ, 1 4- пЪ, ..., (п —1) 4- 4- пЪ. Действительно, пусть а + пЪ — смежный класс; разделим а на п с остатком: а = пи 4- г, 0 ^ г < п; теперь а 4- пЪ = (пи 4- г) 4- пЪ = = г 4- {пи 4- пЪ) —г 4- пЪ. Сложение смежных классов осуществляется по правилу (7*1 4- пЪ) 4- (г2 4- пЪ) = г 4- пЪ, где г = (г\ 4- 7*2) mod п. Аналогично для умножения: (п 4- пй)(г2 4- пЪ) — г' 4- пЪ, где г' = = (гlr2)modn. Очевидно, смежные классы можно поставить во вза­ имно однозначное соответствие элементам кольца вычетов Ъп\к £ Ъп —> -> А: 4- пй. При этом сложению смежных классов будет соответствовать сложение по модулю п в кольце вычетов, а умножению — умножение

по модулю, п. Следовательно, имеет место изоморфизм Ъ)пЪ Zn.t>

4.474. 0 4- 4Z8, 1 4- № 8, 2 4- 4Й8, 3 4- ^

4.475. а) Z2\б) Ъь. 4.476. 0,

<®[ж]/(ж3-1)<ф[ж], (ж-1)<ф[ж]/(ж3-1)(ф[ж], (ж2 4- ж 4- 1)<6[ж]/(ж3-1)(ф[ж].

4.477. ргЯ /р пЯ

(г = 0, 1, ..., п). 4.479. Необязательно.

4.480. < Опре­

делим отображение <р: Я\ 0 ... 0 Я п -> (Я1/71) 0 ... 0

(Яп/1п) по фор­

муле (£>(7*1, ...,

7*п) = (7*1 4- /1, ..., гп 4- 1п).

Непосредственно проверя­

ется, что — гомоморфизм и кепр = 1\ 0

... 0 7П. Так как 1т =

= (Д1/71) 0

... 0 (Я п/1п), то по теореме об изоморфизме мы получаем

требуемое. >

4.481. <3 Построим отображение <р: Я - ь Я / а Я ® Я/ЬЯ, по­

лагая <р(г) = (г 4- аЯ, г 4- ЬЯ). Ясно, что ср— гомоморфизм. Найдем его ядро. Если <р(г) = 0, то г 6 аЯ и г 6 ЬЯ, т. е. г = ах = Ьу при некоторых ж, у £ Я. Так как Я = а/2 4- 672, то 1 = аи 4- Ьу при некоторых и, V е Я.

 

 

Ответы и указания

 

287

Отсюда получаем:

ж

= ахи 4- Ьху = ги

4- Ъхь = Ьуи 4-

Ьху Е

Ы1,

а значит, г = ах

6

абЯ. Мы доказали,

что кегср С аЬЛ.

Ясно,

что

аЫ1 С кег <р. Следовательно, аЬИ = кег <р.

По теореме об изоморфизме

получаем искомый изоморфизм. > 4.482. < Разложим многочлен ж3 —1 на неприводимые над полем Е множители: ж3 —1 = (ж —1)(ж2 4- ж 4- 1).

Многочлены ж — 1 и ж2 4- ж 4-

1 взаимно просты, поэтому запишем

Е[ж]/(ж3 - 1)Е[ж] =

Е[ж]/(ж —1)Е[ж] 0

Е[ж]/(ж2 4- ж 4- 1)Е[ж]. Из при­

мера 27

этого параграфа следует, что Е[ж]/(ж2 4- ж 4- 1)Е[ж] = Е[0]

где 9

корень многочлена ж2

4- ж 4- 1

^любой из двух, например

О= —^

 

 

-рак как д ^ щг-] и { ^

 

то

 

=

щг-| _

 

Следовательно, Е[ж]/(ж3 —1)Е[ж] = Е 0 С. > 4.483. С.

4.484. (ф 0 (ф[£]

где С =

1 + 2\/з

4.485. Е 0 Е 0

С.

4.486. С 0

С.

4.487. Ъъ 0

Ъъ

11—

 

4.489. а) ж =

39 (тос160); б) ж = 187 (тос1210).

4.490. 26ж2 4- ж -

3

4.492. 3.

4.493. 1.

4.494. 2. 4.495. 2.

4.496. 2.

4.497. Нет.

4.498. Да

4.499. Да. 4.505. в2 + 29. 4.506. в + 2.

4.507.402 4- 20.

4.508. ±{в 4- 2).

4.509. ±20.

4.510. вг + в2, в2 + в,

в3 + в2 + 1,

в2 + в +

 

1. 4.511. 2

4.512.

1.

4.513. 3.

 

4.514. а) ^

 

 

(простое подполе) и само поле

.Р;

б) То =

 

(простое подполе), ^

(поле из 4 элементов) и само поле

Р .

4.515.

1 (^ 8 +

2ч/2 - 4^2).

4.516. ^ г(-303

4-

502

 

+ 2в

+

7),

 

 

 

 

6

 

 

 

 

 

 

31

 

 

 

 

 

 

 

где в =

^=3.

4.517. -^ -(—5 -

9^5 4- 19^25).

4.519. а)

Да;

б) нет;

в)

да;

г) да.

 

 

176

 

4.521. Например, в2 +

1. 4.522. Да.

4.520. Например, в.

; 4.523. Нет.

4.525. 6.

4.526. 9.

4.527.

18.

4.528.

48.

4.529. ^{р2 - р ) .

•4.530. 240.

4.531. 60.

4.532. Например, ж2 4- в. 4.533. Например, ж4 4-

+ вх + 1, где в2 =

в + 1. 4.534. сШп*. F =

1. 4.535. сНткС = 2; базис:

1,

г.

4.537. (Пт*. Рп = гг2. 4.541. <3 Если а 6 А,

а ф 0,

то а не явля­

ется делителем нуля, поэтому отображение А —> А,

ж 4

жа, является

вложением.

Ввиду того, что сПтА

<

оо, мы получаем, что Аа = А.

Аналогично доказывается, что аА = А. Значит, иа = а при некотором и € А. Отсюда следует, что жиа = ха, а потому хи = ж при всех ж 6 А. [Таким образом, и — правая единица. Далее, хиу = жу при всех у, сле- ■ довательно, иу = у, т.е. и — левая единица. Равенство Аа = аА = А г показывает, что всякий элемент а Ф 0 имеет обратный. Это означает,

что А — тело. > 4.542. Так как (аа)а = (а 4- Ь)а = а2 4- Ъа = 2а 4- Ь

и а(аа) = а(а 4- Ь) =

а2 4- аЬ = а 4- Ь, то алгебра А неассоциативна.

>

[: 4.543. <] Положим и =

а -^~° . Нетрудно проверить, что ид = ди =

и

288 Ответы и указания

для всех р € С, а значит, их = хи для всех х € ЕС. Кроме того, и2 = и.

Значит, ЕС = Е<3и 0 ЕС?(1 —и).

Идеал Е(3и — одномерная алгебра,

изоморфная полю Е. Идеал Е<3(1 —и) двумерный, его базис — V , ги, где

V = 1 —и, ги = а(1 —и).

При этом V2 =

V,

гпи = гии = ги (т.е. V

единица алгебры Е<3(1 - и)),

ю2

=

а2(1 -

и)

= (Зи - 1 —а )(1 - и) =

= 0 —(1 —и) —а( 1 —и) =

V ги.

Таблица умножения этой алгебры

выглядит так:

 

 

 

 

 

 

 

 

V

 

IV

 

 

 

V

V

 

IV

 

 

 

IV

IV

 

—V — XV

 

Элемент ги удовлетворяет уравнению чи2 =■ —V —ги, т. е. ги — корень многочлена х2 + х + 1. Значит, ЕС(1 —и) = Е[ги] = С. Итак, ЕС = = ЕСи 0 ЕС(1 —и) ^ Е 0 С. Отсюда следует, что групповая алге­ бра ЕС имеет ровно 4 идеала: О, ЕС, ЕСи, ЕС(1 —и).> 4.544. Да. Указание. Достаточно проверить ассоциативность (ху)г = х(уг) для х, у, г € {а, Ь}. 4.545. и = а —Ь — единица алгебры А. 4.547. См. таблицу:

 

1

а

а2

1

1

а

а2

а

а

а2

0

а2

а2

0

0

4.548. а) Нет; б) да. 4.549. р д г. 4.550. 0, FG, FCг^ и FG(1 —и),

где и =

~

4.553. а

+ Ь с.

4.552. а

=

1, /9 = 0, 7 =

0, <5 =

1.

 

 

а

 

 

 

 

 

 

 

4.556. а)

—1 +

2г + 4./ + ЗА:; б) - 4

- 4г + Чу,

в) -512(1 + 1

+ 1 + к ) ;

г ) :гг(3 — 4-

4.558. а) Нет решений;

б) х = ^(1 4- ^)А;^(1 г)

=

= ^(1 4*

* —

4* Л)*> в)

а; = /Зг + уд +

,

где /З2 4- 7 2 4- <52 =

1.

4.559. а: =

^(2 4- .?),

у = -(г —1 +

2к).

4.560. Нельзя, так как

 

 

О

 

о

 

 

 

 

 

ф4.561. Е.