Bourbaki

习题 5, § 2

标签 0BJ6,永久不变。引用为 [Bourbaki, Tag 0BJ6]。

一般拓扑, III, 299

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

如果对于GG到GG的每个a∈Ga \in G、映射x→xax−1x \to xax^{-1}是连续的,则半拓扑群GG是准拓扑。每个交换半拓扑群都是准拓扑。

a) 证明准拓扑群的闭子群的归一化器是闭的。

b) 令GG为准拓扑群,它由ee的每个邻域(分别是相连的)生成。证明GG的每个离散(或完全断开)正常子群DD都包含在GG的中心中(如果a∈Da \in D,表明存在ee的邻域VV,使得每个xax−1=axax^{-1} = a x∈Vx \in V)。

c) 令GG为矩阵(10yx)\begin{pmatrix} 1 & 0 \\ y & x \end{pmatrix}的群,其中xx和yy分别为实数和x>0x > 0。 If we identify GG with a subset of R2\mathbf{R}^2 by means of the mapping (x,y)→(10yx)(x, y) \to \begin{pmatrix} 1 & 0 \\ y & x \end{pmatrix}, then the topology T0\mathfrak{T}_0 induced on GG by the topology of R2\mathbf{R}^2 is compatible with the group structure of GG. 令HH为所有矩阵(10y1)\begin{pmatrix} 1 & 0 \\ y & 1 \end{pmatrix}中GG由……组成的正规子群,并令H∗H^*为HH中单位元素的补集。 Define a topology T\mathfrak{T}, finer than T0\mathfrak{T}_0, by taking as a fundamental system of neighbourhoods of ee in GG the intersections of neighbourhoods of ee in the topology T0\mathfrak{T}_0 with the complement of H∗H^* in GG. 对于这个拓扑T\mathfrak{T},证明GG是连通的半拓扑群,它不是准拓扑,并且HH是不包含在中心中的离散子群。 \

解答

尚未写出解答。

被以下引用

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。