Meaning of finite generation *over a subgroup*

45 Views Asked by At

Let $G$ be a group and $H$ a subgroup of $G$. Given a subgroup $A \leq G$, what does it mean for $A$ to be finitely generated over the subgroup $H$? Similarly, what does it mean for $A$ to be finitely generated as an $H$-group?