Строение алгебр с инвариантными формами

Доказано, что артинов нетеров модуль над кольцом с инволюцией, на котором задана невырожденная антисимметричная билинейная инвариантная форма, раскладывается в прямую сумму попарно ортогональных слагаемых, каждое из которых либо неразложимо, либо есть прямая сумма двух неразложимых. Ранее эта теорема была доказана лишь для таких модулей, в которых возможно однозначное деление на 2. Библ. 6 назв.