The 7001 Noether asteroid also is named for Emmy Noether.
7001 ネーター小惑星もまたエミー・ネーターから名を取っている。