What paperwork did you do to change her last name? With just the marriage certificate, you could have gone to SS office to get her new name on the SS card. If she entered the US with her maiden name on her passport and visa, then it’s likely her green card would be issued in that name.