A foreign citizen comes to the US, gets a green card, and works for 10 years here, paying into the social security system.
When the citizen leaves the US, and abandons their green card, are they still eligible to receive social security payments at age 65? What are the constraints on receiving social security for such a person?