"когда две комплексные групповые алгебры над конечными абелевыми группами изоморфны?"
Заразы, все справились :)
Когда |A| = |B|А ещё недавние версии тупили, дескать "когда сами группы изоморфны", неа, их внутренние структуры даже могут различаться, достаточно лишь одинаковой мощности.
Это кстати довольно важный момент в кампутер сайнсе, например type erasure. Как стирается структура группы до размерности, так и Java стирает
List<Int> и List<String> до одного List в рантайме.Разные типы, но одно представление.