Теорема Латимера – МакДаффи - Latimer–MacDuffee theorem

В Теорема Латимера – МакДаффи это теорема в абстрактная алгебра, филиал математика. Он назван в честь Клэйборн Латимер и Сайрус Колтон МакДаффи, опубликовавший его в 1933 году.[1] Значительный вклад в ее теорию внесли позже Ольга Таусская-Тодд.[2]

Позволять быть моник, неприводимый многочлен степени . Теорема Латимера – МакДаффи дает индивидуальная переписка между -классы сходства из матрицы с характеристический многочлен и идеальные классы в порядок

где идеалы считаются эквивалентными, если они равны с точностью до полного (ненулевого) рационального скалярного кратного. (Обратите внимание, что этот порядок не обязательно должен быть полным кольцом целых чисел, поэтому ненулевые идеалы не обязательно должны быть обратимыми.) Поскольку порядок в числовом поле имеет только конечное число идеальных классов (даже если это не максимальный порядок, и мы имеем в виду здесь классов идеалов для всех ненулевых идеалов, а не только для обратимых), отсюда следует, что существует только конечное число классы сопряженности матриц над целыми числами с характеристическим полиномом .

Рекомендации

  1. ^ Латимер, Клэйборн Г.; Макдаффи, К. (1933), «Соответствие между классами идеалов и классами матриц», Анналы математики, Вторая серия, 34 (2): 313–316, Дои:10.2307/1968204, МИСТЕР  1503108.
  2. ^ Хэнлон, Фил (1998), "К теореме Латимера-Макдуффи и далее!", Линейная алгебра и ее приложения, 280 (1): 21–37, Дои:10.1016 / S0024-3795 (98) 10006-X, МИСТЕР  1642834.