On component groups of Jacobians of quaternionic modular curves

Let \({D}\) be a division ring with center \({F}\). The aim of the paper is to show that if \({F}\) is uncountable or \({D}\) is finite dimensional over \({F}\), then every subnormal subgroup of the multiplicative group \({D^*}\) of \({D}\) satisfying a nontrivial generalized power central group identity is contained in \({F}\). As a corollary, Conjecture 2 in (Herstein, Israel J Math 31:180–188, 1978) holds in case \({D}\) is finite dimensional.