关于函数域中$K_2(\mathcal{O})$均值简单证明的注记

令$\mathbb{F}_q$表示基数为奇数$q$的有限域，$\mathbb{A}=\mathbb{F}_q[T]$为$\mathbb{F}_q$上的多项式环，$k=\mathbb{F}_q(T)$为$\mathbb{F}_q$上的有理函数域。在本文中，我们计算群$K_2(\mathcal{O}_{\gamma D})$大小的平均值，其中$\mathcal{O}_{\gamma D}$表示$\mathbb{A}$在$k(\sqrt{\gamma D})$中的整闭包，$D$为偶次首一、无平方因子多项式，$\gamma$为$\mathbb{F}_q^*$的一个固定生成元。