
Учебник по математике Ч1 / Сборник задач по математике для втузов. В 4-х ч. Ч.1_ (ред) Ефимов А.В, Поспелов А.С_2001 -288с
.pdf282 |
|
|
|
Ответы и указания |
|
|
|
||
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 |
аг —2х 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- 2х —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 |
|
|
2х |
|
|
||||
х |
------- - |
----- — . |
|
|
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. <] Положим и = |
а -^~° . Нетрудно проверить, что ид = ди = |
и |
