It is believed that there are universal groups that govern fundamental processes in number theory. One of these is the Langlands group, which is conjectured to classify automorphic representations. Another is the motivic Galois group of Grothendieck, which is thought to classify parallel objects in algebraic geometry. We shall discuss some questions on the possible structure of these groups.