Tame equivalence and wild sets (Q1971719): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s002339910019 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2003629285 / rank | |||
Normal rank |
Latest revision as of 00:15, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tame equivalence and wild sets |
scientific article |
Statements
Tame equivalence and wild sets (English)
0 references
19 October 2000
0 references
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.
0 references
divisor theory
0 references
tame equivalence
0 references
class group
0 references