Tame equivalence and wild sets (Q1971719)

Let \(K,L\) be commutative semigroups with divisor theory and let \(\Omega_K\),\(\Omega_L\) be their respective sets of prime divisors. Let \(p\) be a prime number. A pair of maps \(t:\;K/K^p\rightarrow L/L^p\), \(T: \Omega_K\rightarrow\Omega_L\) is called a \(p\)-equivalence if \(T\) is a bijection and \(t\) is a semigroup homomorphism. It is called tame if for all \(\mathfrak p\in\Omega_K\) and \(\alpha\in K/K^p\) one has \[ \text{ord}_{\mathfrak p}(\alpha)\equiv\text{ord}_{T\mathfrak p}(t\alpha)\pmod p. \] It is shown that if \(K\) and \(L\) are tamely \(p\)-equivalent then their divisor class groups have the same \(p\)-dimensions. Let now \(K\), \(L\) be multiplicative semigroups of all non-zero algebraic integers of algebraic number fields \({\mathbf {K, L}}\) having class-number one. In this case it is shown that \(K\) and \(L\) are \(p\)-equivalent if and only if the group of units of \({\mathbf K}\) and \({\mathbf L}\) are of the same rank and moreover either both fields contain a primitive \(p\)-th root of unity or none of them.