关于算术概型的经典基本群，修正
On the étale fundamental groups of arithmetic schemes, revised
摘要：
本文给出了一个积分算术概型的代数基本群的计算。对于这样的方案，我们将证明étale基本群自然同构于函数域上的极大形式非分歧扩张的伽罗瓦群。它是本文的主要定理。本文证明了形式非分歧是算术非分歧的，它的定义是明确的，与代数数论中的定义一致。因此，形式上的unramified具有算术意义。同时，这样的计算与已知的正常的诺特格式的结果相一致。
英文摘要：
In this paper we will give a computation of the étale fundamental group of an integral arithmetic scheme. For such a scheme, we will prove that the étale fundamental group is naturally isomorphic to the Galois group of the maximal formally unramified extension over the function field. It consists of the main theorem of the paper. Here, formally unramified will be proved to be arithmetically unramified which is defined in an evident manner and coincides with that in algebraic number theory. Hence, formally unramified has an arithmetic sense. At the same time, such a computation coincides with the known result for a normal noetherian scheme.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
