Сепарабельная алгебра

конечномерная полупростая ассоциативная алгебра Анад полем k, остающаяся полупростой при любом расширении Kполя k(т. е. алгебра [img: http://localhost:8080/file/041905-66.jpg] полупроста для любого поля [img: http://localhost:8080/file/041905-67.jpg]). Алгебра Асепарабельна тогда и только тогда, когда центры простых компонент этой алгебры (см. Ассоциативные кольца и алгебры)являются сепарабельными расширениями поля k.