Estoy buscando una referencia de la siguiente hecho:
dado un (contables?) susceptibles de grupo GG y un (skew) campo de KK, los siguientes son equivalentes:
(1) el anillo de grupo K[G]K[G] es un dominio;
(2) K[G]K[G] es un (izquierda y derecha) de Mineral de dominio.
Creo recordar que este resultado es debido a Beno Eckmann, pero, por desgracia, no recuerdo en qué papel. He tratado de buscar este resultado y no soy capaz de encontrarlo en el momento. Cualquier referencia sería fuertemente apreciado!
