A note on Kronecker's ``Randwertsatz'' (Q2562212)

We quote the author's words: ``\textit{L. Kronecker} brought to light the determinative properties of certain sets of prime numbers for algebraic number fields and their invariants in his ``Über die Irreductibilität von Gleichungen'' [Berl. Monatsber. 1880, 155--162 (1880; JFM 12.0065.02)] which was dedicated to Kummer on his 70th birthday celebration. Kronecker's assertion was called ``Randwertsatz'' of algebraic number theory by M. Bauer because \(\ldots\,\). Since then, the base of Kronecker's assertion has been amplified into Frobenius-Chebotarev's density theorem, Bauer's theorem and Gassmann's theorem, and furthermore his plan has been realized as class field theory in the case of relative abelian number fields. However, in this note, we shall mainly discuss Kronecker-Bauer's ``Randwertsatz''.''