代数数论基础明摆着的基础问题

两个代数数的“和”和“乘积”是代数数，以及有理数域的多元扩域必为单扩域，这些代数数论中基本的结论，只能用“对称函数定理”证明，见Hecke的书GTM77，Hungerford的厚书GTM73《Algebra》只在第五章一个练习题中提到却没指出如何证明，说明作者糊涂，而“对称函数定理”的证明错误很多，例如变量多时对称函数太复杂一言难尽，没法用数学归纳法证明。