• Nie Znaleziono Wyników

Kryterium nierozkładalnośei równań stopnia

N/A
N/A
Protected

Academic year: 2021

Share "Kryterium nierozkładalnośei równań stopnia"

Copied!
2
0
0

Pełen tekst

(1)

S. K n a p o w s k i (Poznań)

Kryterium nierozkładalnośei równań stopnia

p -\

1

Niech f(x) = 0 będzie takim równaniem stopnia p-f- 1 (p jest liczbą pierwszą) o współczynnikach z pewnego ciała К , że każdy jego pierwia­

stek wyraża się wymiernie przez dowolne dwa inne. O ciele К zakładamy, że jest komutatywne i że jest doskonale, tzn. że każde równanie nieroz- kładalne w К ma pierwiastki pojedyncze (np. К może być ciałem liczb wymiernych lub dowolnym podciąłem ciała liczb zespolonych). Oznaczmy przez m rząd grupy równania f(x) = 0 w ciele K.

Tw ierdzenie. Na to, by równanie f(x) — 0 było nierozkladalne, potrzeba i wystarcza, by było m j-1.

Do wó d . Konieczność wynika z przechodniości grupy. Dla dowodu dostateczności rozpatrzymy dwa przypadki:

1° Równanie nie jest normalne w ciele К i1). Wtedy istnieje pewien pierwiastek, np. xx, dla którego

(1) K <^ K ( x 1) <^ K ( x 1, x 2, . .. , abp+1),

gdzie xx, x 2, . . . , xp+1 oznaczają pierwiastki równania f(x) = 0.

Z założenia twierdzenia wynika, że w ciele K ( x x) równanie jest normalne. Jest f(x) = (x ~ x x)cp{x), gdzie q>(x) jest wielomianem stopnia p, o współczynnikach z ciała K ( x x). Równanie <p{x) = 0 ma tę właściwość, że każdy jego pierwiastek wyraża się wymiernie przez każdy inny. Wobec tego jest to równanie nierozkladalne, gdyż w przeciwnym razie rozpada­

łoby się na czynniki tego samego stopnia, a więc liniowe, i mielibyśmy K ( x x) = K ( x x, x 2, . . . , xp+1), wbrew (1). Stąd i z (1) wynika, że równanie j(x) — 0 jest nierozkladalne w ciele K.

2° Równanie jest normalne w ciele K. Wtedy m < p -f 1, więc wobec założeń twierdzenia jest m = p - f-1, co oczywiście pociąga za sobą nie- rozkładalności równania.

i1) Równanie rozkładalne (lub nie) nazywamy normalnym, jeśli ma pierwiastek, który przez dołączenie do К generuje ciało rozpadu.

(2)

Kryterium nierozkładalności równań stopnia p -f 1 171

С КНАПОВСКИЙ (П о зн а н ь )

П Р И З Н А К НЕПРИВОДИМОСТИ У Р А В Н Е Н И Й С Т ЕП Е Н И р + (

РЕЗЮМЕ

Пусть /(ж) = 0 уравнение степени р + 1 (р — простое число), коэффициенты которого рациональные числа. Пусть всякий корень уравнения выражается рационально через любые два другие. Обозначим через т ранг группы Галуа уравнения над полем В рациональных чисел.

ТЕОРЕМА. Уравнение f(x) = 0 неприводимо Ъ В тогда и только тогда, когда т ^ р + 1.

S. Kn a p o w s k i (Poznań)

A CRITERION OF IRREDUCIBILITY OF THE EQUATIONS OF DEGREE p + 1

S U M M A R Y ^

Let /(ж) = 0 be an equation of degree p + 1 (p — prime number) whose coeffi­

cients are rational numbers.

Suppose that each zero of the equation can be expressed rationally by each pair of the other zeros. Denote by m the order of the Galois group of the equation in the field В of rational numbers.

Th e o r e m. The necessary and sufficient condition of the irreducibility of the equation f(x) = 0 in В is m ^ p -f 1.

Cytaty

Powiązane dokumenty

[r]

Standardowa interpretacja wykresu funkcji wymaga 4 wymiarów rzeczywistych.. Obrazem jest więc

(22) Zbiór C liczb zespolonych z działaniami dodawania liczb zespolonych i mnożenia liczb zespolonych przez liczby rzeczywiste jest przestrzenią wektorow nad ciałem liczb

W macierzach zmiennych na ogół elementy oznaczamy tą samą literą z numerem wiersza i numerem kolumny jako indeksami... Zbiór funkcji nieparzystych oznaczymy literą N, natomiast

(22) Zbiór C liczb zespolonych z działaniami dodawania liczb zespolonych i mnożenia liczb zespolonych przez liczby rzeczywiste jest przestrzenią wektorow nad ciałem liczb

(41) Zbiór C liczb zespolonych z działaniami dodawania liczb zespolonych i mnożenia liczb zespolonych przez liczby rzeczywiste jest przestrzenią wektorow nad ciałem liczb

W macierzach zmiennych na ogół elementy oznaczamy tą samą literą z numerem wiersza i numerem kolumny

(22) Zbiór C liczb zespolonych z działaniami dodawania liczb zespolonych i mnożenia liczb zespolonych przez liczby rzeczywiste jest przestrzenią wektorow nad ciałem liczb