有限生成加群の定義についてですが、集合Ｇが有限生成加群であるとは
Ｇが有限集合で加群の条件を満たせばいいのですか？