Tannaka–Artin problem