一个无需选择公理的绝对伽罗瓦群与阿廷动机

任意域具有可分闭包的证明必然是非构造性的，且可分闭包仅在非典范同构意义下唯一。这意味着一个域的绝对伽罗瓦群仅在内自同构意义下定义。在此，我们构造了一个作为绝对伽罗瓦群内形式的投射有限代数群。我们的构造不使用任何形式的选择公理，且该群在典范同构意义下定义。我们还证明，经典上仅在共轭意义下定义的与数域中在扩张下非分歧的素理想相关联的弗罗贝尼乌斯，在我们的群中有唯一确定的类似物。我们给出了系数在任意域中的阿廷动机范畴的构造，并给出了我们的绝对伽罗瓦群在该范畴下的解释。