Ssh keys are generated in pair and are valid as a pair. These are not tied to any user. Sometimes user info goes into the comment field in ssh public keys. That can be used for better key management. But other than that user and comment has not other significance.
Thus ssh keys are independent of machine they are generated on and user who generates these keys.