Unified treatment of Artin-type problems II

This work concerns Artin’s Conjecture on primitive roots and related problems for number fields. Let K be a number field and let W1 to Wn be finitely generated subgroups of K× of positive rank. We consider the index map, which maps a prime p of K to the n-tuple of the indices of (Wimodp). Conditionally under GRH, any preimage under the index map admits a density, and the aim of this work is describing it. For example, we express the density as a limit in various ways. We study in particular the preimages of sets of n-tuples that are defined by prescribing valuations for their entries. Under some mild assumptions we can express the density as a multiple of a (suitably defined) Artin-type constant.