设$G$为一个群，$N$为$G$的一个正规子群。我们研究混合换位子群$[G,N]$上的稳定混合换位长度$scl_{G,N}$的大尺度行为（而非其精确值本身）；当$N=G$时，$scl_{G,N}$等于交换子群$[G,G]$上的稳定换位长度$scl_G$。为此，我们将$scl_{G,N}$不仅视为从$[G,N]$到$\mathbb{R}_{\geq 0}$的函数，还视为从$[G,N]\times [G,N]$到$\mathbb{R}_{\geq 0}$的双不变度量函数$d^+_{scl_{G,N}}$。我们的主要关注点是$([G,N],d^+_{scl_{G,N}})$的粗群论结构。我们的初步结果（绝对版本）通过Bavard对偶性连接了$([G,N],d^+_{scl_{G,N}})$和$N$上的$G$-不变拟同态空间的商向量空间，其中一个同态除外。特别地，我们证明了这个向量空间的维数等于$([G,N],d^+_{scl_{G,N}})$的渐近维数。我们的主要结果是对比版本：我们将Leitner和Vigolo提出的粗同态$\iota_{G,N}\colon ([G,N],d^+_{scl_{G,N}})\to ([G,N],d^+_{scl_{G}})$；$y\mapsto y$的粗核与某个不变拟同态的空间$W(G,N)$的商向量空间联系起来。假设$N=[G,G]$且$W(G,N)$是有限维的，维数为$\ell$，则我们证明$\iota_{G,N}$的粗核作为粗群与$\mathbb{Z}^{\ell}$同构。与绝对版本不同的是，在许多情况下，包括所有具有有限生成的$G$和幂零的$G/N$的$(G,N)$对，$W(G,N)$是有限维的。作为我们的结果的应用，对于有限生成群之间的群同态$\varphi\colon G\to H$，我们在群内定义了一个$\mathbb{R}$-线性映射，它是自然定义的$\mathbb{R}$-线性映射从$W(H,[H,H])$到$W(G,[G,G])$诱导的映射的对偶。

Let $G$ be a group and $N$ a normal subgroup of $G$. We study the large scale behavior, not the exact values themselves, of the stable mixed commutator length $scl_{G,N}$ on the mixed commutator subgroup $[G,N]$; when $N=G$, $scl_{G,N}$ equals the stable commutator length $scl_G$ on the commutator subgroup $[G,G]$. For this purpose, we regard $scl_{G,N}$ not only as a function from $[G,N]$ to $\mathbb{R}_{\geq 0}$, but as a bi-invariant metric function $d^+_{scl_{G,N}}$ from $[G,N]\times [G,N]$ to $\mathbb{R}_{\geq 0}$. Our main focus is coarse group theoretic structures of $([G,N],d^+_{scl_{G,N}})$. Our preliminary result (the absolute version) connects, via the Bavard duality, $([G,N],d^+_{scl_{G,N}})$ and the quotient vector space of the space of $G$-invariant quasimorphisms on $N$ over one of such homomorphisms. In particular, we prove that the dimension of this vector space equals the asymptotic dimension of $([G,N],d^+_{scl_{G,N}})$. Our main result is the comparative version: we connect the coarse kernel, formulated by Leitner and Vigolo, of the coarse homomorphism $\iota_{G,N}\colon ([G,N],d^+_{scl_{G,N}})\to ([G,N],d^+_{scl_{G}})$; $y\mapsto y$, and a certain quotient vector space $W(G,N)$ of the space of invariant quasimorphisms. Assume that $N=[G,G]$ and that $W(G,N)$ is finite dimensional with dimension $\ell$. Then we prove that the coarse kernel of $\iota_{G,N}$ is isomorphic to $\mathbb{Z}^{\ell}$ as a coarse group. In contrast to the absolute version, the space $W(G,N)$ is finite dimensional in many cases, including all $(G,N)$ with finitely generated $G$ and nilpotent $G/N$. As an application of our result, given a group homomorphism $\varphi\colon G\to H$ between finitely generated groups, we define an $\mathbb{R}$-linear map `inside' the groups, which is dual to the naturally defined $\mathbb{R}$-linear map from $W(H,[H,H])$ to $W(G,[G,G])$ induced by $\varphi$.