4 4 (2003)


512.552
  ,
 1

. . , . . (. ),
. . (. , 18 ,

1970 .

- .
, . [1.
.

, -
.
. [2 (. .. [3).
.  F.
[4 [5 
F .
 1. - F
- - [6.
 2. - -
F [6.
 3. R  - F,
Rn n R - n.
 4. R  - F, R[x] .
,
1-4 [1, [7.
,
- R F a1, ..., an R (n  ) [1.
1

  ,

03-2.8-874.

02-01-00584

   

73

-,
a1, ..., an R (n  ) , - (LBI-
[1).

1. ([1) R  - F.
R - .

1 ,  .
.

2. R  F, a1, ..., an R
m ,

(1a1 + 2a2 + ... + nan)m = 0

1, ..., n F.
 (a1x1 + a2x2 + ... + anxn)m n x1, ..., xn 0.
.  2, ..., n F 1
m+1 . , , ,  1
(1a1 + 2a2 + ... + nan)m . 2, ..., n
. 2, ..., n,
 (a1x1 + a2x2 + ... + anxn)m.
 (a1x1 +a2x2 +...+anxn)m, ,
(*) m.
, - R R[x] - [7.
, , 
: - R R[x] -?
. [2.
, 14 -
( 1, 2
, - ).
[1, [7.
, -,
. [2, .

1. R  -
F. R[x]
- .

74

. . , . . , . .
.

3. R  F,
a1, ..., an R m.

a1xn1n + a2xn2 + ... + an1x + an

m.
.

1, 2, ..., n F.

(1a1 + 2a2 + ... + nan)m = 0.

F 2 , a1, ..., an (*) m.
 

a1xn1n + a2xn2 + ... + an1x + an.

:
nmm
am
;
1 x
m a1, a2, ..., an,
m 1 a1 1 a2 xnmm1;
m a1, a2, ..., an,
m 1 a1 1 a3 m 2 a1
2 a2 xnmm2 .
,  (a1xn+a2xn1+...+anx)m
(*) , , .
1. f1, ..., fn R[x]. A
.
, R - , m
A.
1, 2, ..., n F. B  1f1 + 2f2 + ... + nfn. m B.
3,

(1f1 + 2f2 + ... + nfn)m = 0.

.
[7.
1. R -
F ,
R[x1, ..., xn] n - n.

   

75

. 1.
. a1, ..., an R.
, a1x1 + a2x2 + ... + anxn  . m.
(a1x1 +a2x2 +...+anxn)m = 0. x1, ..., xn
1, ..., n F (1a1 + 2a2 + ... + nan)m = 0.
.
, R  -, R[x]
- [8.
.. .. [9. -,
 . .. , .. . [8 ,
R[x] - R
 [10.
.. . [8: ,
( ) , -?
1 .
. - .
, 13  14.
[4, [5.
2. J  -
R F.
R, J, - .

b R. , bJ R
- .
 a1, ..., an R. ,
1, ..., n F (1ba1 + ... + nban)m = 0
m, 1, ..., n.
l,
.

(1a1b + ... + nanb)l = 0.

m = l + 1.

(1ba1 + ... + nban)l+1 = b(1a1b + ... + nanb)l(1a1 + ... + nan) = 0.

76

. . , . . , . .

b1, ...., bn R. b1J, ..., bnJ . , ,

I, R J, -,
d = b1a1 + ... + bnan a1, ..., an R.
1, (b1J)[x], ..., (bnJ)[x] - R[x]. , .
dx f(x) = c1x + c2x2 +
... + cmxm, . .

0 = dx + c1x + c2x2 + ... + cmxm + dc1x2 + dc2x3 + ... + dcmxm+1.


c1 = d, c2 = dc1 = (1)2d2, ...., ck+1 = dck, ..., cm = dcm1 = (1)md,
dcm = 0. , dm+1 = 0.
, - I .
, - [1.
K F  F R  - F. K F R K.

2.
, K F R, R  - ,
-. -
R, . [2, R[x]
-. , R -
.
K F  F. ,

,
,

K F J, H = K F R, -
K 1 F I. 1, I -
.
, 2 1.
3. - F - - .

. , -
- -
.

   

77

.
4. R  -
F. Rn n R - n.

 Rn.

0 0 ... 0
... ... ... ...

Jk =
a1 a2 ... an , a1, ..., an R,
... ... ... ...
0 0 ... 0

k- .
J1, ..., Jn  R , , - . 3, Rn = J1 +...+Jn - .
. , A
, (*)
.
K F  F. B = K F A 
K. B
1-4.
, 1-4
.
. 1-4
.
.. 1-4
[11, [12.
LBI-
[1. , LBI-.
K(R)  -, P(R)  LBI(R)
- R. K(R) LBI(R) P(R). , K(R) = LBI(R)
[1. . ,
K(R) LBI(R)
[2.
.. 
, [13.
, LBI(R) P(R)
.
. - [14.
.

78

. . , . . , . .

- .
 .
 6.
.
5 6.
,
.. [3.
 5.

4. R  F, a R, a2 6= 0, R = Ra2R
I  , a2.
= R/I .
- R

.
J  R
,
J  : R R
2

I.

,
a

J.
,
2
2
2
6= 0
a J, J R J = R (R = Ra R). , a

R.
.

5.  5 6 .

1) R  -, F.
a1 R, a21 6= 0. , R x2 = 0 ( PI- -
, - ).
P 1
2
a1 = n
k=1 bka1ck. 

A1 = {a1, b1, ..., bn1 , c1, ..., cn1 }.

.
P 2 2
b1 = n
k=1 bka1ck.
A2

A2 = A1 {b1 , ..., bn 2 , c1 , ..., cn 2 }.

, A!, A2.
b2 A2 , , A3 , A2. .

A1 A2 A3
S ... .
A =
k=1 Ak. A  .

R  F, A.

R = R a21R .

   

79

I  R ,
a21. , 4, - R = R /I .
R  - F
A. , , a21 6= 0.
S F  .
P i
2
ai = n
k=1 bka1ck, bk ck .
C F,
, .
R  , A S(C). R = R a21R .
4, - R = R /I I R , a21
S(C).
2) R  F,
6 K F(
F).
, , R = K F R
K. b R , b2 6= 0.
R = Rb2R. , R = R (1 b)2R .
4, - R = R /I I R , 1 b (1 b)2,
- F.
 .
 7. R1 R2 F
, R1 F R2 .
R F . R
Rop R. ,
Rop R .
, 5 6 7.
5 6 .
R  . Rn
.
, , R,
,
.
- , - (

80

. . , . . , . .

, - ).
, - , , ..  [13.
 

[1 Amitsur S.A. Algebras over innite elds // Pro . Amer. Math. So . 1956. V.
7. P. 3548.
[2 Smoktunowi z A. Polinomial rings over nil rings need not be nil // J. of Algebra.
2000. V. 233. P. 427436.
[3 .. - // . .
. . 110. 2003.
[4 Amitsur S.A. Nil radi als. Histori al notes and some new results // Colloqua
Math. So Ly Bolyai 6. Rings, Modules and Radi als. Keszthely (Hungary).
1971. P. 4765.
[5 Krempa L. Logi al, onne tion between some open onserning nil rings //
Fundamenta Mathemati al. 1972. LXXVI. P. 121130.
[6 Koethe G. Die stru tur der Ringe, deren Restklassenring na h dem Radi al
vollstading irreduzibelist // Math. Zeit. 1930. 32. 161186.
[7 Amitsur S.A. Radi als of polynomials rings // Canad. J. of Math. 1956. V. 8.
P. 355361.
[8 Pu zylowski E.R., Smoktunowi z A. On maximal ideals and the Brown-M Coy
rado al of polynomial rings // Comm. in Algebra. 1998. V. 26. P. 24732482.
[9 .., ..
// .: " ". .: , 2002. . 8891.
[10 Beidar K.I., Fong Y., Pu zylowski E.R. Polynomial rings over nil rings annot
be homomorphi ally mapped onto rings with nonzero idempotents // J. of
Algebra. 2001. V. 238. P. 389399.
[11 .. -
- //
, .  (19221985). ,
. . 2529 1997. . 9192.

   

81

[12 Sakhajev I.I. Hypothesis of Koethe and some problems onne ted with him
have negative solutions // Abstra ts of Intern. Algebrai Conferen e dedi ated
to the memory of Z.I. Borevi h. St. Petersburg, Russia. September 1723. 2002.
P.151152.
[13  .. -  p //
. . . . 1964. . 28. . 273276.
[14 Smoktunowi z A. A simple nil-ring exists // Comm. in Algebra. 2002. V. 30.
P. 2759.
. . . .
. . . .
1.12.2003.