Properties of Algebraic Spaces
... In other words, the small Zariski site XZar of X is canonically identified with a site associated to the topological space |X| (see Sites, Example 6.4). Proof. In order to prove (1) let us construct the inverse of the rule. Namely, suppose that W ⊂ |X| is open. Choose a presentation X = U/R correspo ...
... In other words, the small Zariski site XZar of X is canonically identified with a site associated to the topological space |X| (see Sites, Example 6.4). Proof. In order to prove (1) let us construct the inverse of the rule. Namely, suppose that W ⊂ |X| is open. Choose a presentation X = U/R correspo ...
Maximal compact subgroups in the o-minimal setting
... (i) G has maximal definable definably compact subgroups. (ii) G = K · N (G), for some definable definably compact subgroup K < G. (iii) A(G) = {e}. Proof. (i) ⇒ (iii): Take K to be a maximal definable definably compact subgroup, and T a 0-Sylow of G. Suppose, for a contradiction, that A(G) is infini ...
... (i) G has maximal definable definably compact subgroups. (ii) G = K · N (G), for some definable definably compact subgroup K < G. (iii) A(G) = {e}. Proof. (i) ⇒ (iii): Take K to be a maximal definable definably compact subgroup, and T a 0-Sylow of G. Suppose, for a contradiction, that A(G) is infini ...