Let $ M $ be a class of L-functions such that whenever $ F $ and $ G $ belong to $ M $, then so do their product $ F.G $ and their tensor product $ F\otimes G $ defined by $ F\otimes G : s\mapsto\sum_{n>0}\frac{a_{n}(F)a_{n}(G)}{n^s} $ for $\Re(s)>1 $ if $ F : s\mapsto\sum_{n>0}\frac{a_{n}(F)}{n^s} $ and $ G : s\mapsto\sum_{n>0}\frac{a_{n}(G)}{n^s} $ if $ \Re(s)>1 $ . Suppose also that the constant map $ s\mapsto 1 $ and the Riemann Zeta function $\zeta $ belong to $ M $ . An automorphism of $ M $ is a bijection of $ M $ that sends a primitive element (i.e irreducible for the product) to a primitive element and that commutes to both the usual and the tensor product.

Let's define for an element $ F $ of $ M $ and a field automorphism of $ C $ denoted by $ \sigma $ the map $ \Psi_{\sigma} : F\mapsto F_{\sigma}=\sum_{n>0}\frac{\sigma(a_{n}(F))}{n^s} $ if $ \Re(s)>1 $ . $ \Psi_{\sigma} $ is an automorphism of $ M $ .

Let's now define the 'Galois group' of $ F \in M\setminus\{1,\zeta\}$ as the group $ \operatorname{Gal}(F) $ , under composition, of field automorphisms $ \sigma $ of $ C $ such that $ F_{\sigma}=F $ . If $ G\in M $ is such that there exists $ \sigma $ such that $ G=F_{\sigma}\neq F $ and $\operatorname{Gal(F)} =\operatorname{Gal}(G) $ then I managed to prove that this group is abelian. Is it finite ?