1-isomorphic groups

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to 1-isomorphic groups, all facts related to 1-isomorphic groups) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

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

Definition

Suppose $G_{1}$ and $G_{2}$ are groups. We say that $G_{1}$ and $G_{2}$ are 1-isomorphic if there exists a 1-isomorphism between $G_{1}$ and $G_{2}$ , i.e., a 1-homomorphism of groups from $G_{1}$ to $G_{2}$ whose inverse is also a 1-homomorphism. In other words, there is a bijection between $G_{1}$ and $G_{2}$ whose restriction to any cyclic subgroup on either side is an isomorphism to its image.

Finite version

Two finite groups that are 1-isomorphic are termed 1-isomorphic finite groups. There are many equivalent characterizations of 1-isomorphic finite groups.

Facts

Any Lazard Lie group is 1-isomorphic to the additive group of its Lazard Lie ring. This shows that many groups of small prime power order are 1-isomorphic to abelian groups. Further information: Lazard Lie group is 1-isomorphic to the additive group of its Lazard Lie ring

Relation with other relations

Stronger relations

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
isomorphic groups				\|FULL LIST, MORE INFO

Weaker relations

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
directed power graph-equivalent groups				\|FULL LIST, MORE INFO
undirected power graph-equivalent groups				\|FULL LIST, MORE INFO