Pierścień Witta

Z testwiki
Przejdź do nawigacji Przejdź do wyszukiwania

Szablon:Dopracować Pierścień Wittapierścień o strukturze przekształconej w zbiór wektorów w taki sposób, że pierścień wektorów nad skończonym ciałem o charakterystyce p jest pierścieniem liczb p-adycznych. Nazwa pochodzi od Ernsta Witta, który jako pierwszy dokonał takiego przekształcenia.

Konstrukcja

Weźmy liczbę pierwszą p. Wektor Witta nad pierścieniem przemiennym R jest ciągiem (X0,X1,X2,) elementów R.

Zdefiniujmy wielomiany Witta Wi w następujący sposób:

W0=X0
W1=X0p+pX1
W2=X0p2+pX1p+p2X2

i ogólnie

Wn=ipiXipni.

Następnie Witt pokazał, że istnieje metoda przekształcenia dowolnego przemiennego pierścienia R w tzw. pierścień wektorów Witta, taki że:

  • suma i iloczyn są dane przez wielomiany ze współczynnikami, które nie zależą od R,
  • każdy wielomian Witta jest homomorfizmem z pierścienia wektorów Witta nad R w R.

Pierwsze kilka wielomianów określających sumę i iloczyn wektorów Witta zostało podane poniżej:

(X0,X1,)+(Y0,Y1,)=(X0+Y0,X1+Y1+(X0p+Y0p(X0+Y0)p)/p,),
(X0,X1,)×(Y0,Y1,)=(X0Y0,X0pY1+Y0pX1+pX1Y1,).