If you're curious, write to her. Otherwise, just ignore it. Tell your coworker to say hello for you if she runs into her again, you bear her no malice, you just don't have time for that kind of relationship right now.
That sort of puts the onus on her coworkers to say she doesn't want her as a friend. Not really a nice spot to put the coworkers in.