Pseudo-linear algebra over a division ring (Q2216539)

Let \(D\) be a division ring and \(n\) a positive integer. Let \(T\) be a one dimensional pseudo-linear transformation of the row \(n\)-vectors space \(D^n\). The main purpose of the paper under review is to study the subsets of \(D^n\) defined by a system of linear equations, each of which has the form \[ \gamma_1(x_1)+\cdots+\gamma_n(x_n)+c=0, \] where \(c\in D\) and each map \(\gamma_i\) is a linear operator \[ \gamma_i(x)=a_{i,0}x+a_{i,1}T(x)+\cdots+a_{i,m}T^m(x), \] with left coefficients \(a_{i,j}\in T\) for all \(1\leq i \leq n\), \(1\leq j \leq m\). More precisely, the author introduces the notion of twisted Zariski topology on \(D^n\) (which may be considered as an analogous version of the classical Zariski topology) whose basic closed sets are of the form \(\{(x_1, \dots, x_n)\in D^n: \gamma(x_1,\dots, x_n)=0 \hbox{ for all } \gamma\in S\}\), where \(S\) is a set of linear equations of the form \(\gamma_1(x_1)+\cdots+\gamma_n(x_n)+c\). Accordingly, some analogous notions are also introduced and investigated such as \(T\)-affine sets, \(T\)-morphism and comorphism which witnesses a duality between the category of \(T\)-affine sets and that of finitely generated \(K[t,\sigma,\delta]\)-modules. It is proved that if either \(\sigma\) or \(\delta\) are inner, or if \(\sigma\) and \(\delta\) commute, then \(D\) has a linearly surjective extension, which is a notion analogous to an algebraically closed field. Also, the notion of the Zariski dimension of a \(T\)-affine set is also defined and calculated.