Topologically simple infinite matrix groups indexed by ordered sets
The author focuses on groups of units of incidence rings, which is a class of infinite matrix groups indexed by ordered sets, with a topological perspective.\N\NLet \((\Lambda,\preceq)\) be a preordered set. In particular, the order is reflexive, transitive but not necessarily antisymmetric. Here, the author defines an \textit{interval} as \([s_1,s_2]:=\{s\in\Lambda: s_1\preceq s\preceq s_2\}\), where \(s_1,s_2\in\Lambda\). The preordered set \(\Lambda\) is \textit{locally finite} if for every \(s_1\preceq s_2\) in \(\Lambda\) the set \([s_1,s_2]\) is finite.\N\NAn \textit{absolute topological ring} is a topological ring such that its group of units with the subspace topology is a topological group. All topological rings and groups in this paper are Hausdorff spaces.\N\NLet \(P\) be a commutative ring with identity and \((\Lambda,\preceq)\) a locally finite preordered set. The \textit{incidence ring} of \(\Lambda\) over \(P\) is defined as \(M_\Lambda(P):=\{(a_{s_1,s_2})\in P^{\Lambda\times\Lambda}:\text{ if }a_{s_1,s_2}\neq 0\text{ then }s_1\preceq s_2\}\) with coordinatewise sum and multiplication \((a_{s_1,s_2})(b_{s_1,s_2})=(c_{s_1,s_2})\), where \(c_{s_1,s_2}=\sum\limits_{t\in[s_1,s_2]}a_{s_1,t}b_{t,s_2}\). The group of units of \(M_{\Lambda}(P)\) is the \textit{general linear group} \(\mathrm{GL}_\Lambda(P):=\{A\in M_{\Lambda}(P):\exists A^{-1}\in M_\Lambda(P)\}\). The author proves as a corollary that \(M_\Lambda(P)\) is an absolute topological ring if and only if, \(P\) is an absolute topological ring and then \(\mathrm{GL}_\Lambda(P)\) is a closed subgroup of \(\prod\limits_{(a,b)\in\Lambda\times\Lambda}P\) with the product topology that makes \(\mathrm{LG}_\Lambda(P)\) a topological group.\N\NInfinite matrix groups of topological fields can be used to build simple topological matrix groups. The paper ends by relating the structure of these groups with elementary totally disconnected locally compact groups, an important class for the study of totally disconnected locally compact groups.
- A history of infinite matrices: a study of denumerably infinite linear systems as the first step in the history of operators defined on function spaces
- An inverse matrix of an upper triangular matrix can be lower triangular
- Commutator subgroup of Vershik-Kerov group.
- Commutator subgroup of Vershik-Kerov group. II.
- Elementary totally disconnected locally compact groups
- Finite traces and representations of the group of infinite matrices over a finite field
- Groups acting on trees: From local to global structure
- Incidence rings of pre-ordered sets
- Inverses of Matrices $\{a_{ij}\}$ which Satisfy $a_{ij} = 0$ for $j > i+p$.
- Linear groups with an exposition of the \textit{Galois} field theory.
- On an infinite-dimensional group over a finite field
- Parabolic subgroups of Vershik-Kerov’s group
- Structure of incidence algebras and their automorphism groups
- Topologically simple, totally disconnected, locally compact infinite matrix groups
This page was built for publication: Topologically simple infinite matrix groups indexed by ordered sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6998574)
