Extremally Disconnected Groups of Measurable Cardinality

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