Localisation at cliques in group rings (Q1072621): Difference between revisions

Prime ideals P, Q of a noetherian ring R are linked if there is an ideal A contained in \(P\cap Q\) such that (P\(\cap Q)/A\) is an R/P-R/Q-bimodule that is torsion free on both sides. In this case, any Ore set of elements regular modulo P must also be regular modulo Q. The graph of links of R is the directed graph on spec(R) with an edge \(P\rightsquigarrow Q\) whenever P and Q are linked. The largest possible candidate for an Ore set of elements regular modulo P then consists of those elements that are regular modulo each prime Q in the clique of P; that is, the connected component of the graph of links that contains P. In this note the author shows that if \(R=kG\), with k an uncountable field of characteristic zero and G a polycyclic-by-finite group, then this set of elements is an Ore set and so localisation is possible. In general, the clique of P is a countable set, and in the presence of an uncountable central subfield a sufficient condition for the localisation to exist is that there be an upper bound on the uniform dimensions of the rings R/Q for Q in the clique of P. This result is obtained in the present note for SG, whenever S is a commutative Noetherian ring. The localisation result is already known for fields of characteristic p, but the case of a countable field of characteristic zero remains open and is probably a difficult question.