What does the German word "Zerlegungsautomorphismus" translate to?
I would like to know if any of our German friends can translate that word for me.
Zerlegung is factorisation, isn't it? So what is factorisation automorphism?
This is taken from Deuring's paper “Die Zetafunktion einer algebraischen Kurve vom Geschlechte Eins (vierte Mitteilung)”. This is not the run of the mill question, hopefully it is still a valid question.
This is possibly the first time this term appears, although this is part 4 of a series of paper, so I'm not sure if he has used/defined it in the earlier parts.
Wir betrachten den Fall, daß p in $k_1$ prim bleibt, $$\mathbf{p}=\mathbf{P},\quad\mathbf{p}^{\varphi}=\mathbf{P}.$$ $\varphi$ ist dann Zerlegungsautomorphismus von $\mathbf{P}$ über $k$, also auch von $\mathbf{P}_{\Sigma}$ über dem Körper $P$ der rationalen Zahlen, $$\mathbf{p}=\mathbf{P}_{\Sigma}\quad\text{oder}\quad\mathbf{p}^{\varphi}=\mathbf{P}.$$
Danke sehr!
I'm fairly sure that Zerlegungsgruppe is commonly translated as decomposition group. It comes about when studying the splitting of prime ideals in a Galois extension of number fields. The Galois group acts (transitively) on the set of primes lying above a given one. The decomposition group of a prime of the bigger field is its stabilizer inside the Galois group.
Given this it stands to reason that Zerlegungsautomorphismus means: an element of the decomposition group, i.e. an automorphism of the bigger field that maps this prime to itself.
A related concept is that of inertia group (Trägheitsgruppe in German) - a subgroup of the decomposition group that induces the trivial automorphism to the residue class field. The hierarchy of ramification groups then resides inside the inertia group. I'm afraid I don't remember what they are called in German.
The same concepts appear in the study of function fields (of transcendence degree one) over a finite field. Dedekind domains and their fields of quotients being the common umbrella.
Even in English texts the symbol $Z$ (resp. $T$) often stands for the decomposition group (resp. inertia group). I guess this is a tribute to the contributions of German number theorists. We can then identify $Z/T$ as the Galois group of the related extension of residue class fields. In the listed cases the residue class fields are finite, so $Z/T$ is then necessarily cyclic.