An application of model theory to real and p-adic algebraic groups (Q909035): 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.1016/0021-8693(89)90323-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2075870311 / rank | |||
Normal rank |
Revision as of 00:30, 20 March 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