A lemma on extending functions into \(F\)-spaces and homomorphisms between Stone-Čech remainders (Q1575041): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q124830461, #quickstatements; #temporary_batch_1712201099914 |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Q324182 / rank | |||
Property / author | |||
Property / author: Q1575040 / rank | |||
Property / author | |||
Property / author: Dona E. Strauss / rank | |||
Property / author | |||
Property / author: Igor Vladimirov Protasov / rank | |||
Normal rank | |||
Property / author | |||
Property / author: John S. Pym / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Dona E. Strauss / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q124830461 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:25, 4 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A lemma on extending functions into \(F\)-spaces and homomorphisms between Stone-Čech remainders |
scientific article |
Statements
A lemma on extending functions into \(F\)-spaces and homomorphisms between Stone-Čech remainders (English)
0 references
11 June 2001
0 references
Continuous extensions onto \(\beta S\) of continuous homomorphisms from ideals in \(\beta S\) (\(S\) is a discrete semigroup) into compact right topological semigroups are investigated. Two of many consequences: (1) If \(\varphi:H^*\to G^*\) is a continuous homomorphism (\(G,H\) are discrete groups) and \(\varphi(H^*)\) is not nowhere dense in \(G^*\), then \(\varphi\) is an extension of a homomorphism \(H\to G\); (2) Every continuous injective homomorphism \(\beta S\to \beta G\) (\(S\) is a cancellative discrete semigroup, \(G\) is a countable group) is the extension of an injective homomorphism \(S\to G\). Proofs use the following useful result: If \(f,g:X\to Y\) are continuous, \(X\) is countably compact Hausdorff, \(Y\) is a compact Hausdorff \(F\)-space, then \(\{x\in X: f(x)\neq g(x)\}\) is countably compact.
0 references
semigroup
0 references
remainder
0 references
extension of homomorphism
0 references