Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? Obviously this extension is discontinuous.

  • $\begingroup$ That might be a silly question but : what is the semi group structure on $\beta \mathbb{Z}$ ? as far as i know cartesian product of ultrafilter are no longer ultrafilter, so the sum of two ultrafilter has no reason to be an ultrafilter in general ? $\endgroup$ – Simon Henry Sep 25 '12 at 7:33
  • 1
    $\begingroup$ If you are interested in algebraic structures on the compactification of a topological group (here the whole numbers as a discrete group) then I would suggest that perhaps you should look at the Bohr rather than the Stone-Cech compactification $\endgroup$ – jbc Sep 25 '12 at 8:35
  • 4
    $\begingroup$ There is a standard definition. A set X is in U+V iff {i in Z : {j in Z : i+j in X} in V} in U. See Hindman and Strauss's book or either of the following books by Todorcevic: "Topics in Topology", "introduction to Ramsey Spaces." $\endgroup$ – Justin Moore Sep 25 '12 at 11:55
  • 3
    $\begingroup$ I agree with Justin's suggestion to see the book of Hindman and Strauss, "Algebra in the Stone-Cech Compactification". I suspect the answer to your question isn't known, but if it is (or, rather, if it was a few years ago) then this book would very probably contain it. $\endgroup$ – Andreas Blass Sep 25 '12 at 13:13
  • 1
    $\begingroup$ I have to disagree with jbc. The perspective "let's only look at compactifications which are groups" would ignore a whole bunch of interesting and actively studied semigroup compactifications (WAP and LUC being the obvious ones). $\endgroup$ – Yemon Choi Sep 29 '12 at 5:24

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.