A property for infinite groups [closed]

Let $G$ be an infinite group, $F$ a finite subset of $G$ and $A=G\setminus F$. Is it true that $A^{-1}A=AA^{-1}=G$ (what about $AA=G$)?

($A^{-1}=\{ a^{-1}:a\in A\}$)

closed as off-topic by Derek Holt, John B, Shailesh, Silvia Ghinassi, Daniel W. FarlowMar 2 '16 at 2:41

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – Derek Holt, John B, Shailesh, Silvia Ghinassi, Daniel W. Farlow
If this question can be reworded to fit the rules in the help center, please edit the question.

• Yes (for all questions). This is essentially the same argumnet as in math.stackexchange.com/questions/687715 – Derek Holt Mar 1 '16 at 18:03
• Why?, note that the hypothesis of this question are completely different !(but with the same sentence) – M.H.Hooshmand Mar 1 '16 at 18:12
• @M.H.Hooshmand True, but the argument is exactly the same: the cardinality of $A$ is strictly larger than that of $F$, so there must be an element in $A$ that is not disqualified by any element of $F$. We're applying the same argument, not the same theorem. – Erick Wong Mar 1 '16 at 19:20

We have $A^{-1}A=AA^{-1}=AA=G$.
Show just $A^{-1}A=G$, the others are similar.
Suppose there is a $g\in G$ with $g\notin A^{-1}A$. Then we have for every $a\in A$ that $g\notin a^{-1}A$ and so $ag\notin A$. So we have $Ag\cap A=\emptyset$ and so $Ag\subseteq G\setminus A$. This is contradiction to $|G\setminus A|<\infty$ since $A\to Ag, g\mapsto ag$ is bijective and so $|A|=|Ag|=\infty$.