Extremally Disconnected Groups of Measurable Cardinality

Given an arbitrary measurable cardinal $\kappa$, a nondiscrete Hausdorff extremally disconnected topological group of cardinality $\kappa$ is constructed.