On orders and multiple fibre products (Q803203)

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\).