An application of model theory to real and p-adic algebraic groups (Q909035): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5580321 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homomorphismes ''abstraits'' de groupes algébriques simples / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Images and quotients of SO(3,R): remarks on a theorem of Van der Waerden / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On definable subsets of <i>p</i>-adic fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On groups and fields definable in o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the structure of semialgebraic sets over <i>p</i>-adic fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract Nash Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stetigkeitssätze für halbeinfache Liesche Gruppen / rank | |||
Normal rank |
Latest revision as of 13:24, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An application of model theory to real and p-adic algebraic groups |
scientific article |
Statements
An application of model theory to real and p-adic algebraic groups (English)
0 references
1989
0 references
The Tarski-Seidenberg theorem (in the real case) and the theorem of Macintyre in the p-adic case are used to give elementary proofs of the following results on a real, resp. p-adic semialgebraic group G: 1) the commutator subgroup of G is closed, 2) G is simple (as an abstract group) if and only if it has no closed normal subgroup, 3) if G is simple, then every homomorphism from G into a compact topological group is continuous.
0 references
semialgebraic sets
0 references
real algebraic group
0 references
quantifier elimination
0 references
Tarski- Seidenberg theorem
0 references
p-adic semialgebraic group
0 references
commutator subgroup
0 references