No Arabic abstract
We show that any Lambda-ring, in the sense of Riemann-Roch theory, which is finite etale over the rational numbers and has an integral model as a Lambda-ring is contained in a product of cyclotomic fields. In fact, we show that the category of them is described in a Galois-theoretic way in terms of the monoid of pro-finite integers under multiplication and the cyclotomic character. We also study the maximality of these integral models and give a more precise, integral version of the result above. These results reveal an interesting relation between Lambda-rings and class field theory.
In the local, unramified case the determinantal functions associated to the group-ring of a finite group satisfy Galois descent. This note examines the obstructions to Galois determinantal descent in the ramified case.
Let $n geq 2$ be an integer. An emph{$n$-potent} is an element $e$ of a ring $R$ such that $e^n = e$. In this paper, we study $n$-potents in matrices over $R$ and use them to construct an abelian group $K_0^n(R)$. If $A$ is a complex algebra, there is a group isomorphism $K_0^n(A) cong bigl(K_0(A)bigr)^{n-1}$ for all $n geq 2$. However, for algebras over cyclotomic fields, this is not true in general. We consider $K_0^n$ as a covariant functor, and show that it is also functorial for a generalization of homomorphism called an emph{$n$-homomorphism}.
A theory of monoids in the category of bicomodules of a coalgebra $C$ or $C$-rings is developed. This can be viewed as a dual version of the coring theory. The notion of a matrix ring context consisting of two bicomodules and two maps is introduced and the corresponding example of a $C$-ring (termed a {em matrix $C$-ring}) is constructed. It is shown that a matrix ring context can be associated to any bicomodule which is a one-sided quasi-finite injector. Based on this, the notion of a {em Galois module} is introduced and the structure theorem, generalising Schneiders Theorem II [H.-J. Schneider, Israel J. Math., 72 (1990), 167--195], is proven. This is then applied to the $C$-ring associated to a weak entwining structure and a structure theorem for a weak $A$-Galois coextension is derived. The theory of matrix ring contexts for a firm coalgebra (or {em infinite matrix ring contexts}) is outlined. A Galois connection associated to a matrix $C$-ring is constructed.
A long standing problem, which has its roots in low-dimensional homotopy theory, is to classify all finite groups $G$ for which the integral group ring $mathbb{Z}G$ has stably free cancellation (SFC). We extend results of R. G. Swan by giving a condition for SFC and use this to show that $mathbb{Z}G$ has SFC provided at most one copy of the quaternions $mathbb{H}$ occurs in the Wedderburn decomposition of the real group ring $mathbb{R}G$. This generalises the Eichler condition in the case of integral group rings.
The K-theory of a functor may be viewed as a relative version of the K-theory of a ring. In the case of a Galois extension of a number field F/L with rings of integers A/B respectively, this K-theory of the norm functor is an extension of a subgroup of the ideal class group Cl(A) by the 0-Tate cohomology group with coefficients in A*. The Mayer-Vietoris exact sequence enables us to describe quite explicitly this extension which is related to the coinvariants of Cl(A) under the action of the Galois group. We apply these ideas to find results in Number Theory, which are known for some of them with different methods.