Emil Artin knew that given a finite extension of $L/\mathbb{Q}$, the local factor of the zeta function $\zeta_{L/\mathbb{Q}}$ at the prime $p$ should be $\displaystyle\prod_{\mathfrak{p}|p}\frac{1}{1 - N(\mathfrak{p})^{-s}}$. He also knew that if $L/K$ is a class field then $\displaystyle\prod_{\mathfrak{P}|\mathfrak{p}}\frac{1}{1 - N(\mathfrak{P})^{-s}} = \displaystyle\prod_{\chi}\frac{1}{1 - \chi{(Frob{_\mathfrak{p})}}\cdot N(\mathfrak{p})^{-s}}$ where $\mathfrak{P}$ runs over all primes in $L$ lying above $\mathfrak{p}$ and $\chi$ runs over all characters of $Gal(L/K)$.

It's natural then to

- Define $L$-series attached to characters on $Gal(L/K)$.
- Recognize that the definition makes sense whether or not $L/K$ is a class field.
- In light of the fact that characters are $1$-dimensional representations of $Gal(L/K)$, ask whether there's a good definition of the $L$-series attached to a higher dimensional representation of non-abelian $Gal(L/K)$.

But having come this far, how does one then arrive at the definition of the local factor of an $L$-series attached to a representation $\rho: Gal(L/K) \to GL_{n}(\mathbb{C})$ at a prime $\mathfrak{p}$ unramified in $K$ as

$\displaystyle \frac{1}{\det(Id - \rho(Frob_\mathfrak{p})N(\mathfrak{p})^{-s})}$

?

To be sure

- It specializes to the definition of the $L$-series attached to a character on $Gal(L/K)$.
- It's well-defined (independent of which member of the conjugacy class $Frob_\mathfrak{p}$ one chooses).
- One has the theorem $\zeta_{L/\mathbb{Q}} = \prod_{\rho} L(\rho, s)$ where $\rho$ ranges over irreducible representations of $Gal(L/\mathbb{Q})$, generalizing the analogous fact for characters on Galois groups of class fields.

And perhaps the three properties listed above are sufficient to uniquely determine the definition. (Maybe one needs more than the above three, I would have to think about it it.) Maybe this is how Artin discovered the definition. This line of thinking is similar to Feynmann's heuristic derivation of Heron's formula. But I somehow feel as though this doesn't get at the essence of things. Is there a way of thinking about the definition of an Artin L-series that gives it more of a sense of inevitability and canonicity?

[Reposted from mathstackexchange.]