The cyclotomic character is defined by on compatible -power roots of unity. On the full cyclotomic tower of , it identifies the Galois group with . Its finite-order part is the Teichmüller character and its pro- part acts through , or .
New to topics? Read the docs here!