6. Числовые кольца и поля.
Мы видели, что действия над многочленами сводятся к действиям над их коэффициентами. При этом для сложения, вычитания и умножения многочленов достаточно трех арифметических действий — деление чисел не понадобилось. Так как сумма, разность и произведение двух действительных чисел снова являются действительными числами, то при сложении, вычитании и умножении многочленов с действительными коэффициентами в результате получаются многочлены с действительными же коэффициентами.
Однако не всегда приходится иметь дело с многочленами, имеющими любые действительные коэффициенты. Возможны случаи, когда по самой сути дела коэффициенты должны иметь лишь целые или лишь рациональные значения. В зависимости от того, какие значения коэффициентов считаются допустимыми, меняются свойства многочленов. Например, если рассматривать многочлены с любыми действительными коэффициентами, то
можно разложить на множители:
Если же ограничиться многочленами с целыми коэффициентами, то разложение (1) не имеет смысла и мы должны считать многочлен
неразложимым на множители.
Отсюда видно, что теория многочленов существенно зависит от того, какие коэффициенты считаются допустимыми. Далеко не любую совокупность коэффициентов можно принять за допустимую. Например, рассмотрим все многочлены, коэффициенты которых — нечетные целые числа. Ясно, что сумма двух таких многочленов уже не будет многочленом того же типа: ведь сумма нечетных чисел — четное число.
Поставим вопрос: каковы «хорошие» множества коэффициентов? Когда сумма, разность, произведение многочленов с коэффициентами данного типа имеют коэффициенты того же типа? Для ответа на этот вопрос введем понятие числового кольца.
Определение. Непустое множество чисел
называется числовым кольцом, если вместе с любыми двумя числами а и
оно содержит их сумму, разность и произведение. Это выражают также короче, говоря, что числовое кольцо замкнуто относительно операций сложения, вычитания и умножения.
Примеры.
1) Множество целых чисел является числовым кольцом: сумма, разность и произведение целых чисел — целые числа. Множество же натуральных чисел числовым кольцом не является, так как разность натуральных чисел может быть отрицательной.
2) Множество всех рациональных чисел — числовое кольцо, так как сумма, разность и произведение рациональных чисел рациональны.
3) Образует числовое кольцо и множество всех действительных чисел.
4) Числа вида а
где а и
целые, образуют числовое кольцо. Это следует из соотношений:
5) Множество нечетных чисел не является числовым кольцом, так как сумма нечетных чисел четна. Множество же четных чисел — числовое кольцо.
Если числовое кольцо
состоит не только из одного нуля и вместе с любыми двумя элементами а и
где
содержит и их частное
, то
называют числовым полем. Множества из примеров 2) и 3) — числовые поля. А множества целых чисел и всех четных чисел не являются числовыми полями. Например, частное
— не является целым числом.
Упражнения
(см. скан)