мля, опять заумновато.

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

(Reply to this) (Parent) (Thread)

я те ща отсосу

(Reply to this) (Parent) (Thread)

у тя що отсосалка не отросла

(Reply to this) (Parent)