Two theorems on units of orders (Q5954706): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 00:48, 5 March 2024
scientific article; zbMATH DE number 1701685
Language | Label | Description | Also known as |
---|---|---|---|
English | Two theorems on units of orders |
scientific article; zbMATH DE number 1701685 |
Statements
Two theorems on units of orders (English)
0 references
6 May 2002
0 references
Let \(K\) be an algebraic number field with ring of integers \(R\). Consider an \(R\)-order \(\Lambda\) in a central simple \(K\)-algebra \(A\). The author's first theorem states that \(\mathbb{Q}(\Lambda^\times)=A\) holds unless \(A=K\) is a CM field or \(A\) is a totally definite quaternion algebra. In fact, the statement is proved more generally for any subgroup \(\Gamma\) of finite index instead of \(\Lambda^\times\). The second theorem says that \(\Gamma\) is virtually solvable if and only if \(A=K\) or \(A\) is a totally definite quaternion algebra. So \(\Lambda^\times\) is virtually solvable if and only if \(\Lambda^\times\) is virtually Abelian. This answers a question of \textit{H.~Zassenhaus} [Commun. Algebra 6, 1621-1627 (1978; Zbl 0392.16004)]. Note that Margulis' theorem on index-finiteness with respect to discrete subgroups does not apply to all cases here.
0 references
central simple algebras
0 references
orders
0 references
totally definite quaternion algebras
0 references
subgroups of finite index
0 references