Category Archives: math

Anything mathematical.

A finitely generated flat module that is not projective

Let's see an example of a finitely-generated flat module that is not projective! What does this provide a counterexample to? If $R$ is a ring that is either right Noetherian or a local ring (that is, has a unique maximal right ideal or equivalently, a unique maximal left ideal), then every finitely-generated flat right $R$-module […]

What is a residually finite group?

We say that a group $G$ is residually finite if for each $g\in G$ that is not equal to the identity of $G$, there exists a finite group $F$ and a group homomorphism $$\varphi:G\to F$$ such that $\varphi(g)$ is not the identity of $F$. The definition does not change if we require that $\varphi$ be […]

Links to Atiyah's preprints on the Riemann hypothesis

Sir Michael Atiyah's preprints are now on the internet: The Riemann Hypothesis The Fine Structure Constant The meat of the claimed proof of the Riemann hypothesis is in Atiyah's construction of the Todd map $T:\C\to \C$. It supposedly comes from the composition of two different isomorphisms $$\C\xrightarrow{t_+} C(A)\xrightarrow{t^{-1}_{-}} \C$$ of the complex field $\C$ with […]

For real? Atiyah's proof of the Riemann hypothesis

Well this is strange indeed: according to this New Scientist article published today, the famous Sir Michael Atiyah is supposed to talk this Monday at the Heidelberg Laureate Forum. The topic: a proof of the Riemann hypothesis. The Riemann hypothesis states that the Riemann Zeta function defined by the analytic continuation of $\zeta(s) = \sum_{n=1}^\infty […]

Abelian categories: examples and nonexamples

I've been talking a little about abelian categories these days. That's because I've been going over Weibel's An Introduction to Homological Algebra. It's a book I read before, and I still feel pretty confident about the material. This time, though, I think I'm going to explore a few different paths that I haven't really given […]