Полугруппа Брандта
Полугру́ппа Бра́ндта, полугруппа с нулём, в которой каждому ненулевому элементу соответствуют такие однозначно определённые элементы , , , что и , и для любых двух ненулевых идемпотентов , имеет место . Элементы и , указанные в определении, на самом деле будут идемпотентами, причём и . Кроме того, в полугруппе Брандта каждое из условий , влечёт , а условия и влекут .
Частичный группоид, получающийся выкидыванием нуля из полугруппы Брандта, называется группоидом Брандта. Это понятие было введено Г. Брандтом (Brandt. 1927), фактически там же было введено понятие полугруппы Брандта. Понятие группоида Брандта является абстракцией системы нормальных идеалов полупростых линейных алгебр относительно т. н. собственного умножения (см. Deuring. 1935, глава 6, а также Джекoбсон. 1947, глава 6). Роль полугруппы Брандта для теории полугрупп определяется тем, что полугруппа Брандта – это в точности вполне 0-простые инверсные полугруппы (см. Вполне простая полугруппа). Полугруппа будет полугруппой Брандта тогда и только тогда, когда она изоморфна рисовской полугруппе матричного типа с единичной сэндвич-матрицей над группой с присоединённым нулём.