Честно говоря, не помню. У меня на словосочетание "теорема Фробениуса" без гугла :) всплывает только про расширения поля вещественных чисел. Но у меня вообще названия теорем с их содержанием по разным ящикам разложено в голове, и без контекста мне "теорема такого-то" (если не Ферма и не Пифагора) обычно немного говорит.