Binate group

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

Definition

Definition with symbols

A group $G$ is termed a binate group if for every finitely generated subgroup $H$ of $G$ there is a homomorphism $\varphi _{H}:H\to G$ and an element $u_{H}\in G$ such that for all $h\in H$, we have:

$h=[u_{H},\varphi _{H}(h)]$.

Relation with other properties

Weaker properties

• Acyclic group: For proof of the implication, refer Binate implies acyclic and for proof of its strictness (i.e. the reverse implication being false) refer Acyclic not implies binate.