The Haar measure problem

DOI10.1090/PROC/14221MaRDI QIDQ4644705zbMATH OpenOpenAlexWikidataFDO

Authors Adam J. Przeździecki, P. Szewczak, Boaz Tsaban

Publication date 8 January 2019

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1709.02312

zbMATH Keywords

Cantor groupscontinuum hypothesisgroupMarkovmeasurableprofinitesubgroupsymbolic dynamicsunconditionally closed sets

Mathematics Subject Classification ID

Cardinal characteristics of the continuum (03E17) Compact groups (22C05) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10)

Abstract: An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. We provide a positive answer, assuming a weak, potentially provable, consequence of the Continuum Hypothesis. We also establish the dual, Baire category analogue of this result.

Recommendations

• Nonmeasurable subgroups of compact groups
• On a cardinal invariant related to the Haar measure problem
• Less than continuum many translates of a compact nullset may cover any infinite profinite group
• Every infinite compact group can have a non-measurable subgroup
• Coverings and dimensions in infinite profinite groups
• The Nonexistence of Certain Invariant Measures
• Discrete subsets of topological groups
• scientific article; zbMATH DE number 1736448
• Classifying spaces of subgroups of profinite groups
• Haar nonmeasurable partitions of compact groups

Cites work

• Every infinite compact group can have a non-measurable subgroup
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• scientific article; zbMATH DE number 3187168 (Why is no real title available?)
• Measurable subgroups and nonmeasurable characters.
• Nonmeasurable subgroups of compact groups

Cited in

(20)

• Haar nonmeasurable partitions of compact groups
• Coverings and dimensions in infinite profinite groups
• On a cardinal invariant related to the Haar measure problem
• On continuity of measurable group representations and homomorphisms
• Every infinite compact group can have a non-measurable subgroup
• Less than continuum many translates of a compact nullset may cover any infinite profinite group
• Classifying spaces of subgroups of profinite groups
• On the de la Harpe problem
• Haar measure is not approximable by balls
• On the measure theoretic structure of compact groups
• Pseudocompactness, measurability, and category in compact groups
• A non-standard construction of Haar measure and weak König's lemma
• Revisiting Leighton’s theorem with the Haar measure
• Compact groups with a set of positive Haar measure satisfying a nilpotent law
• On questions of U. Darji and D. Fremlin
• Cantor sets in locally compact groups
• From Haar to Lebesgue via domain theory
• scientific article; zbMATH DE number 3029494 (Why is no real title available?)
• Topological equivalence of Haar measures on compact groups
• Nonmeasurable subgroups of compact groups

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: The Haar measure problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644705)