All purchased domains get a free push to that domain's registrar.
A domain push is free and requires the buyer have an account with the
same registrar as domain purchased.
A domain transfer to another registrar can be arranged, most of the time,
on request and expense of buyer.
Be it free push or transfer:
of purchased domain
name requires that the proper information be sent from buyer to seller and vice versa.