Алгебра ЙорданаАлгебра Йордана — алгебра над кільцем, в якій справедливі тотожності:
Такі алгебри вперше з'явилися в роботі Паскуаля Йордана, присвяченій аксіоматизації основ квантової механіки[1], а потім знайшли застосування в алгебрі, аналізі і геометрії. Спеціальні алгебри ЙорданаНехай — асоціативна алгебра над полем характеристики . Якщо множення є комутативним, то алгебра буде алгеброю Йордана. Якщо ні, тоді множина з операціями додавання і йорданового множення утворює алгебру , яка є алгеброю Йордана. Алгебри, що є ізоморфними таким алгебрам і їх підалгебрам називаються спеціальними алгебрами Йордана. Згідно з теоремою Ширшова—Кона довільна алгебра Йордана з двома породжуючими елементами є спеціальною. Проте клас спеціальних алгебр Йордана не є многовидом, тобто не задається тотожністю, оскільки спеціальні алгебри можуть мати неспеціальні гомоморфні образи. Проте, знайдено ряд тотожностей 8-го і 9-го степенів яким задовольняє довільна спеціальна алгебра Йордана і не задовольняють деякі неспеціальні алгебри, а також доведено, що такої тотожності степеня не існує. Необхідна і достатня умова спеціальності алгебри: алгебра Йордана є спеціальною тоді і тільки тоді коли вона ізоморфно вкладається в алгебру Йордана, кожна зліченна підмножина якої лежить в підалгебрі, породженій двома елементами. Приклади1. Множина самоспряжених матриць з дійсними, комплексними, чи кватерніонними елементами і множенням утворює спеціальну алгебру Йордана. 2. Множина самоспряжених матриць розмірності 3×3 елементами яких є октоніони і множення визначається як
є неспеціальною алгеброю Йордана розмірності 27. Примітки
Література
|