# Isologic groups

Revision as of 18:15, 16 January 2012 by Vipul (talk | contribs) (Created page with "{{group eqrel}} ==Definition== Let <math>\mathcal{V}</math> be a subvariety of the variety of groups. Two groups <math>G</math> and <math>H</math> (''not necessarily in ...")

This article defines an equivalence relation over the collection of groups. View a complete list of equivalence relations on groups.

## Definition

Let be a subvariety of the variety of groups. Two groups and (*not necessarily in *) are termed **isologic** with respect to if there exists an isologism between them with respect to .

Being isologic can roughly be thought as being congruent modulo , i.e., the *difference* between the groups lives in . In this sense, it behaves like congruence mod n.

## Facts

- Any group in is isologic to the trivial group.
- Isologism with respect to variety is isologism with respect to any bigger variety

## Particular cases

Variety | Corresponding notion of isologic groups |
---|---|

variety containing only the trivial subgroup | isomorphic groups (this is the finest possible notion of isologism) |

variety of abelian groups | isoclinic groups |

variety of nilpotent groups of class at most | fixed-class isologic groups |

variety of all groups | any two groups are isologic with this relation (this is the coarsest possible notion of isologism) |