Polynomial with finitely many terms of the form axⁿ where n ∈ ℕ
В математике полином Лорана (названный в честь Пьера Альфонса Лорана ) от одной переменной над полем представляет собой линейную комбинацию положительных и отрицательных степеней переменной с коэффициентами в . Полиномы Лорана в виде кольца , обозначаемого . [1] Они отличаются от обычных многочленов тем, что могут иметь члены отрицательной степени. Построение полиномов Лорана можно повторять, что приводит к кольцу полиномов Лорана от нескольких переменных. Полиномы Лорана имеют особое значение при изучении комплексных переменных .![{\displaystyle \mathbb {F} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {F} [X,X^{-1}]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Определение
Полином Лорана с коэффициентами в поле представляет собой выражение вида![{\displaystyle \mathbb {F} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p=\sum _{k}p_{k}X^{k},\quad p_{k}\in \mathbb {F} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
где – формальная переменная, индекс суммирования – целое число (не обязательно положительное), и только конечное число коэффициентов не равно нулю. Два полинома Лорана равны, если их коэффициенты равны. Такие выражения можно складывать, умножать и приводить к прежней форме за счет сокращения похожих членов. Формулы сложения и умножения точно такие же, как и для обычных многочленов, с той лишь разницей, что могут присутствовать как положительные, так и отрицательные степени:![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\bigg (}\sum _{i}a_{i}X^{i}{\bigg)}+{\bigg (}\sum _{i}b_{i}X^{i} \bigg )}=\sum _{i}(a_{i}+b_{i})X^{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
и
![{\displaystyle {\bigg (}\sum _{i}a_{i}X^{i}{\bigg)}\cdot {\bigg (}\sum _{j}b_{j}X^{j} {\bigg )}=\sum _{k}{\Bigg (}\sum _{i,j \atop i+j=k}a_{i}b_{j}{\Bigg )}X^{k} .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Поскольку только конечное число коэффициентов и ненулевые, все суммы фактически имеют только конечное число членов и, следовательно, представляют собой полиномы Лорана.![{\displaystyle a_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle b_{j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Характеристики
- Полином Лорана можно рассматривать как ряд Лорана , в котором только конечное число коэффициентов не равно нулю.
![{\displaystyle \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Кольцо многочленов Лорана является расширением кольца многочленов, полученного «обращением ». Более строго, это локализация кольца полиномов в мультипликативном множестве , состоящем из неотрицательных степеней . Многие свойства кольца полиномов Лорана следуют из общих свойств локализации.
![{\displaystyle R[X]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Кольцо полиномов Лорана является подкольцом рациональных функций .
- Кольцо полиномов Лорана над полем нётерово (но не артиново ).
- Если – область целостности , то единицы кольца полиномов Лорана имеют вид , где – единица и – целое число. В частности, если поле, то единицы имеют вид , где – ненулевой элемент .
![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R\left[X,X^{-1}\right]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle uX^{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle и}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K[X,X^{-1}]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle aX^{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle а}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Кольцо полиномов Лорана изоморфно групповому кольцу группы целых чисел над . В более общем смысле кольцо полиномов Лорана от переменных изоморфно групповому кольцу свободной абелевой группы ранга . Отсюда следует, что кольцо полиномов Лорана можно наделить структурой коммутативной кокоммутативной алгебры Хопфа .
![{\displaystyle \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle п}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Смотрите также
Рекомендации
- Ланг, Серж (2002), Алгебра, Тексты для выпускников по математике, 211 (пересмотренное третье изд.), Нью-Йорк: Springer-Verlag, ISBN 978-0-387-95385-4 , MR 1878556