On orders and multiple fibre products

bindings central idempotents complete local ring couplings Gorenstein Krull-Schmidt theorem minimal overorder multiple fibre product orders projective indecomposables

Mathematics Subject Classification ID

Quaternion and other division algebras: arithmetic, zeta functions (11R52) Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05)

Review text

Let K be a finite extension of \({\mathbb{Q}}\) or \({\mathbb{Q}}_ p\), R the ring of integers in K. The paper considers R-orders \(\Lambda\) in a finite dimensional semisimple K-algebra \(A=K\Lambda\). Since \(A=A_ 1\times...\times A_ k\) with \(A_ i\) simple K-algebras, \(\Lambda\) is imbedded in an overorder \(\Lambda '=\Lambda_ 1\times...\times \Lambda M_ k\). However the way in which \(\Lambda\) is a suborder of \(\Lambda '\) (the so called couplings or bindings) can be very complicated. One technique often used in the study of orders \(\Lambda\), is to imbed them in larger orders which are easier to treat. In the paper the following construction is suggested; let \(p_ i: A\to A_ i\) be the canonical projections, put \(I_ i=\ker p_ i|_{\Lambda}\) and \({\tilde \Lambda}\):\(=\{(\lambda_ i)\in \prod \Lambda_ i |\lambda_ i\equiv \lambda_ j mod I_ i+I_ j\), \(\forall_ i\neq j\}\). This \({\tilde \Lambda}\) is a multiple fibre product (m.f.p.), i.e. for every i,j there are finite rings \(\Lambda_{ij}\) and ringmorphisms \(h_{ij}: \Lambda_ i\to \Lambda_{ij}\), \(h_{ji}: \Lambda_ j\to \Lambda_{ij}\) such that \({\tilde \Lambda}=\{(\lambda_ i)\in \prod \Lambda_ i |\forall i<j\); \(h_{ij}(\lambda_ i)=h_{ji}(\lambda_ j)\}.\) In the paper the following results on \({\tilde \Lambda}\) are obtained: \({\tilde \Lambda}\) is the unique minimal overorder of \(\Lambda\) which is an m.f.p. - \({\tilde \Lambda}\) contains the same central idempotents as \({\tilde \Lambda}\). - If R is a complete local ring, then if \(P_ 1,...,P_ k\) are the projective indecomposables of \(\Lambda\), \({\tilde \Lambda}\)P\({}_ 1,...,{\tilde \Lambda}P_ k\) are those of \({\tilde \Lambda}\). - Assume \(\Lambda\) is Gorenstein and the Krull-Schmidt theorem holds for \(\Lambda\)-lattices. Then \(\Lambda ={\tilde \Lambda}\) if and only if e(\(\Lambda\))\(\leq 2\). - Let G be a group of square free order then \({\mathbb{Z}}/G\) is an m.f.p., so \({\mathbb{Z}}/G={\tilde {\mathbb{Z}}}/G\).

Recommendations

Cites work

Cited in

(4)

This page was built for publication: On orders and multiple fibre products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q803203)