71
$\begingroup$

In the coming spring semester I will be teaching for the first time an introductory (graduate) course in Commutative Algebra. As many people know, I have been plugging away for a while at this subject and keeping my own lecture notes. So I feel relatively prepared to teach the course in the sense that I know more than enough theorems and proofs to cover. However, there is more to teaching a graduate course than just theorems and proofs. Commutative algebra has a reputation for being somewhat dry and unmotivated. After something like 10 years of hard work (over a period of about 15 years!), I am at a point where I find the subject both interesting in and of itself and useful. But how to communicate this to students?

Looking through my notes, the technicalities begin with the introduction of various fundamental classes of modules, especially free, projective and flat modules (but also including other things like finite generation and finite presentation). I remember well that when I first learned this material, projective and (especially) flat modules were a tough sell: for instance, the first time I picked up Bourbaki's Commutative Algebra out of curiosity, I saw that the very first chapter was on flat modules, and I put it down in horror.

How would you introduce these concepts to an early career graduate student? What are the fundamental differences between these classes of modules, and why do we care?

Here are some of my preliminary thoughts:

1) Free modules are of course an easy sell: for such things the usual notions of linear algebra work well, including that of dimension (called "rank" in this case: note that my rings are commutative!). One can easily prove that for a commutative ring R, all R-modules are free iff R is a field, so the need to move beyond free modules is easily linked to the ideal theory of R.

2) Projective modules are important for at least the following reasons.

a) Geometric: A finitely generated module over a ring R is projective iff it is locally free (in the stronger sense of an open cover of $\operatorname{Spec} R$). In other words, projective modules are the way to express vector bundles in algebraic language. I plan to drive this point home by discussing Swan's theorem on modules over $C^{\infty}(M)$.

b) Homological: projective modules play a distinguished role in homological algebra, i.e., in the construction of left-derived functors.

c) K-theoretic: It is of interest to know to what extent finitely generated projective modules must be free. This leads to the construction of $K_0(R)$ -- i.e., stable isomorphism classes of projective modules -- and in the rank one case, to the Picard group $\operatorname{Pic}(R)$.

(After writing the above, I feel that in some sense it is a good enough answer -- certainly these are three important reasons for studying projective modules. But I'm not sure how to explain them to beginning students. Let's be clear that this is part of the question.)

3) Flat modules: this is harder to explain!

a) Geometric: Flatness is the "right" condition for things to vary nicely in families, but this is more of a mantra than an explanation. I think that most people hear this at one point and come to believe and understand it slowly over time.

b) Homological: Flat modules are those which are acyclic for the Tor functors. But this is not a homological algebra course: I would be happiest not to mention Tor at all.

c) Near equivalence with projective modules in the finitely generated case: the difference between finitely generated flat and finitely generated projective modules is very subtle. Recall for instance:

Theorem: For a finitely generated flat module $M$ over a commutative ring $R$, TFAE:
(i) $M$ is projective.
(ii) $M$ is finitely presented.
(iii) The associated rank function is locally constant.

Thus in almost all of the cases of importance to a beginning algebra student -- e.g. if $R$ is Noetherian or is an integral domain -- finitely generated flat modules are projective.

d) However infinitely generated flat modules are a much bigger class, since flatness is preserved under direct limits. In particular, there are large classes of domains $R$ for which a module is flat iff it is torsionfree (namely this holds iff $R$ is a Prufer domain; even the case $R = \mathbb{Z}$ is useful). Perhaps this is significant?

Your insight will be much appreciated.


Update: the prevailing sentiment of the answers thus far seems to be that a very little bit of homological algebra will go a long way in presenting the basic definitions in a unified and useful way. Duly noted.

$\endgroup$
8
  • 5
    $\begingroup$ In my opinion, the very basic projective non-free modules are (fractional) ideals in number rings (and Dedekind domains); this particular case of Pic is very intriguing for those who are interested in algebraic number theory. By the way, do you want to introduce the defintion of a Dedekind domain (early in your course)? $\endgroup$ Nov 18, 2010 at 21:55
  • 3
    $\begingroup$ For projective modules, you might start with the observation that many of the nice properties of free modules follow only from the lifting property. $\endgroup$ Nov 18, 2010 at 22:51
  • 2
    $\begingroup$ This may or may not be helpful to you, but there are many different characterizations of flatness in Lam's book Lectures on Modules and Rings, Ch. 4. Flatness can be viewed purely in terms of linear equations as in Thm. 4.24, the "equational criteria for flatness." This may not add much intuition, but it at least avoids any mention of homological algebra. $\endgroup$ Nov 18, 2010 at 23:10
  • 3
    $\begingroup$ IMHO, the motivation of flatness based on the single case in which one considers the problem of when extension of scalars along a map of rings $A\to B$ preserves exactness is quite good already. In fact, I think that extension of scalars is a great way to motivate tensor products, because it is very very concrete and natural. $\endgroup$ Nov 19, 2010 at 0:39
  • 2
    $\begingroup$ I'm not 100% sure there is really a correct answer to this question. Should it therefore be community wiki instead? I've seen several great answers below and I imagine different professors of algebra reading this page would consider different answers to be "the best" based on what they wanted to impart to their students $\endgroup$ Jun 22, 2011 at 14:43

11 Answers 11

21
$\begingroup$

Hi Pete, this sounds like a lot of fun! I wish I could be there (-:

Here is a concrete and useful property of flatness, you can explain it without using Tor. Suppose $R\to S$ is a flat extension. Then if $I$ is an ideal of $R$, tensoring the exact sequence: $$ 0 \to I \to R \to R/I \to 0$$ with $S$ gives that $I\otimes_RS = IS$. The left hand side is somewhat abstract object, but the right hand side is very concrete.

There are very natural extensions which are flat but not projective. For example, if $R$ is Noetherian and $\dim R>0$, then $S=R[[X]]$ is flat but never projective over $R$.

$\endgroup$
3
  • 7
    $\begingroup$ @Hailong: you can be there as far as I'm concerned. Please feel free to drop by, especially if you don't mind being handed the chalk. $\endgroup$ Nov 19, 2010 at 3:23
  • 1
    $\begingroup$ Dear Long, Thanks for the interesting reference! $\endgroup$
    – Emerton
    Dec 3, 2010 at 8:15
  • $\begingroup$ This is indeed a very nice motivation of flatness. If you wanted even less homological algebra and your students already believed free and projective modules were interesting then I suppose you could introduce flat modules as direct limits of f.g. free modules. After talking about direct summands of free modules, I can't imagine people would be shocked when you asked about direct limits. $\endgroup$ Jun 22, 2011 at 14:35
28
$\begingroup$

All of this is coming from the point of view of being a student. I took a commutative algebra course last winter and am currently taking a homological algebra course, so maybe I can touch on your differentiation between those two perspectives.

It sounds like you want the motivating ideas, and I think those make the most sense homologically. I completely understand your not wanting to introduce Tor and/or Ext, but you don't have to. $Hom_R (P,-)$ is exact iff $P$ is projective, $Hom_R (-,I)$ is exact iff $I$ is injective, and $F \otimes_R -$ is exact iff $F$ is flat. These can even be taken as definitions (these are equivalent to $Tor_1$ and $Ext^1$ vanishing which is each equivalent to all the higher derived functors vanishing).

Edit: What if you don't know why you should care about exact sequences as Pete asked in a comment? Well, you should still care about when functors preserve injections (tensor-ing with flat modules) and surjections (Hom-ing out of projective modules), and this is precisely what flat and projective do for you. This is the only place where exactness might fail, so just skip it and talk about injections and surjections and when they are preserved.

This is how I feel most comfortable thinking about these concepts. It is pretty concrete and not far away from Commutative Algebra (I think, meaning that this is how we talked about it in my commutative algebra class).

I should also mention I appreciate you posting all of those course notes, it is a great resource for us students out there.

$\endgroup$
2
  • 4
    $\begingroup$ @Sean: thanks. I agree that these are nice, clean definitions. But I think more motivation would be helpful: why do we care whether some functor is exact? $\endgroup$ Nov 18, 2010 at 22:41
  • 10
    $\begingroup$ @Pete: In my mind, the exactness of the tensor product is relatively easy to motivate through change of rings. Say you've got your sequence over $R$ and you've got an ideal $I$. Is it still exact when we think of everything as $R/I$ modules? Well, that's what the exactness of the tensor product will tell you. Of course this becomes very useful once you have localization and completions to play with. For $Hom$, it seems easiest to motivate $Hom(-,R)$ by analogy with vector space duals, and you can build up from there to $Hom(-,M)$ and $Hom(M,-)$. $\endgroup$ Nov 18, 2010 at 23:42
24
$\begingroup$

For me, the most intuitive characterization of flatness of an $R$-module $M$ is the "principle of sufficient reason": Whenever elements $x_i$ of $M$ satisfy a linear equation with coefficients in $R$, say $\sum_{i=1}^n r_ix_i=0$, then this is "because" of linear equations holding in $R$; that is, the $x_i$ can be expressed as linear combinations of other elements $y_j\in M$, say $x_i=\sum_j s_{ij}y_j$ (where $s_{ij}\in R$), such that $\sum_i r_is_{ij}=0$ for all $j$. Thus the original linear relation among the $x$'s follows from the expressions in terms of the $y$'s plus properties in $R$ of the coefficients $r_i$ and $s_{ij}$.

Admittedly, this description of flatness doesn't help much with geometry, but it clarifies the algebraic situation. The same intuition also applies, for example, to the notion of "flat functor" that occurs in the study of classifying topoi.

$\endgroup$
3
  • 2
    $\begingroup$ @Andreas: right, this is the "equational criterion of flatness" that Manny Reyes referred to above. I do plan on covering it (it's in my private copy of my notes, although not yet the one posted on my webpage) because it's used to prove that a finitely generated flat module over a local ring is projective. I admit though that I don't have a lot of intuition for what this criterion "really means". Any further hints would be appreciated. $\endgroup$ Nov 19, 2010 at 3:19
  • 4
    $\begingroup$ The equational criterion more or less amounts to the statement: "$M$ is flat IFF every homomorphism from a finitely presented module factors through a free module". (With the instant consequence that flat & finitely presented imply projective.) $\endgroup$ Nov 19, 2010 at 3:39
  • 1
    $\begingroup$ (every homomorphism from a finitely presented module to $M$, of course) $\endgroup$ Nov 19, 2010 at 3:41
19
$\begingroup$

Please forgive these very naïve remarks. I am enjoying the chance to learn something about flatness in trying to contribute to this question. First of all, since as pointed out here, the definition of flatness is that the object behaves as simply as possible under tensor product, it follows that the primary use of the concept is in applications of the tensor product. Now there are three of these that come to mind, (after some review of the literature), namely 1) forming fibers, 2) localizing, (and changing rings) 3) completions.

These are all local operations, looking at the inverse image of one point, restricting to a Zariski neighborhood of a point, and restriction to an analytic or formal neighborhood of one point.

Thus one wants to compare the geometry at a point with the geometry near that point. E.g. given an algebraic subvariety through a point, one can take its algebraic germ, formal germ, or analytic germ, and then ask whether one can recover the original germ from these. This is equivalent to asking whether one recovers the original ideal after extending to the localization or completion, and then restricting back to the original ring.

Flatness is the property that tells us yes to all these questions. I.e. both the localization and the completion are flat over the original ring. Moreover, the algebraic and analytic local rings form a “flat pair”, slightly stronger than one being flat over the other, and this apparently implies they have the same completions. This lets us compare analytic and algebraic local rings, by comparing both with their completions. It follows e.g. that the algebraic dimension of an algebraic variety equals the analytic dimension of the associated analytic variety.

Reasoning of this sort allows Serre to prove geometric results such as those mentioned above as well as homological ones. Homological results desired are of the sort that compare the analytic cohomology to the algebraic cohomology. The simplest way to do this is to show that the analytic sheaves and their analytic cohomology is obtained from the algebraic ones by tensoring with flat objects, i.e. changing rings in the simplest way. Then the desired results say that homomorphisms of sheaves, and cohomology of sheaves, commutes with this process of tensoring, i.e. of applying the functor of making these objects analytic. Flatness is the key to all these results.

Thus flatness of one object over another seems to imply a relation between their local geometric structures. This is my take on Serre’s lovely paper GAGA, available free online at NUMDAM, after a brief perusal. It certainly looks worth a careful read.

We have mentioned before the result that a surjective morphism of smooth varieties is flat if and only if the fibers have constant dimension. From perusing Matsumura, other geometric properties of flat maps seem to be: the dimension of (non empty) fibers is always the expected one, i.e. dim(source) - dim(target); the going down theorem holds, hence every subvariety through the point f(p) is the image of a subvariety through p, in particular a flat map cannot separate branches at a point; indeed flat maps cannot remove singularities in any fashion, i.e. f is flat and if f(p) is a regular point, so is p; and a birational flat map is an open immersion.

Another remark building on those above is that flatness is a natural weakening of the property of projectiveness, and hence for local rings, of freeness. If finite map behaves well locally when it defines a locally free module, what about a map that lowers dimension? What is the closest thing to locally free that still holds when the fibers vary nicely but not smoothly? I.e. a flat map is a slight weakening of a smooth map. I am struggling here from ignorance. Thanks for the question!

$\endgroup$
5
  • 13
    $\begingroup$ Dear Roy: Last spring I asked Serre about the history. He viewed it as a purely algebraic notion, inspired by usefulness for the back-and-forth passage between analytic and algebraic local rings through their common completion (noetherian property of the former being pretty serious, of course) and clarifying localization. It came as a total surprise to him later that flatness is an important concept in algebraic geometry, and he said that all credit for its geometric significance belongs to Grothendieck; he (Serre) did not anticipate it would be of interest beyond pure algebra. $\endgroup$
    – BCnrd
    Nov 19, 2010 at 4:43
  • $\begingroup$ Thanks. Do you have a favorite reference for where Grothendieck exploits it, analogous to this one I just perused by Serre? It seems to me that even in GAGA Serre shows how it relates local geometric concepts like dimension, but maybe I am stretching, if he says otherwise! $\endgroup$
    – roy smith
    Nov 19, 2010 at 4:53
  • $\begingroup$ BC, I agree there is no visible occurrence in GAGA of the geometry of a general flat map. I was just to imagine how the idea extends. So that was Grothendieck's contribution, that's nice to know. $\endgroup$
    – roy smith
    Nov 19, 2010 at 5:02
  • 5
    $\begingroup$ Dear Roy: My impression is that Serre viewed local analytic dimension as part of algebra. Usefulness of flatness for geometric problems (Hilbert schemes, deformation theory, etc.) is what I think surprised him. There are too many amazing geometric uses of flatness by Grothendieck, so no "favorite": fpqc descent (to work intuitively with $G/H$ and etale topology, etc.), fibral flatness criteria, openness results for loci defined by fibral properties relative to proper fppf maps, flatness of formally etale lfp maps,... Some of your examples are really about excellence (another miracle!), btw. $\endgroup$
    – BCnrd
    Nov 19, 2010 at 5:22
  • 2
    $\begingroup$ Gee, this is nice. In line with the idea that flat maps are a slight weakening of smooth ones, one can just read the titles of the first few sections of SGA 1: i.e. etale maps, smooth maps, flat maps,..... Thanks for prompting me to look at Grothendieck. $\endgroup$
    – roy smith
    Nov 19, 2010 at 5:24
13
$\begingroup$

Pete I agree that locally free is a good geometric intuition for projective. In my algebra class I gave an exercise for the students to prove that the module of tangent vector fields on a 2-sphere is locally free over the ring of smooth functions, and challenged them to show it is not free.

If you introduce direct limits, maybe the fact you mentioned about flatness being preserved is a way to motivate it. I.e. you want to take direct limits of finite generated projectives, but they lose the property of projectivity. So what property do they keep?

But that may be artificial. it is hard to get away from the points made by Sean Tilson. I guess the difficulty there is that Hom is for many of us more intuitive than tensor. So lifting and extension problems are more intuitive than the distinction between IM and ItensorM.

You might review your reasons why flat modules are in the course. If you have an application for them in mind, maybe the application can motivate the concept.

In the spirit of "flat families", I used to cling to the geometric fact that a surjective morphism of smooth algebraic varieties is flat if and only if the fiber dimension is constant, but I don't know if you can use that. Those "local criteria for flatness" are usually among the more advanced flatness topics. E.g. that is treated in the books of Matsumura near the end.

But this suggests that in some contexts flatness is the algebraic version of locally constant geometry.

I have heard that Serre focused on the concept in some of his work relating algebraic and analytic varieties. Maybe the properties he used are illuminating.

Great question.

$\endgroup$
1
  • 9
    $\begingroup$ @Roy: +1 for the audacious suggestion that I track down why I am discussing flat modules in the first place. (If I found out that I had no good application, my natural reaction would be to find one, rather than cut this important concept.) $\endgroup$ Nov 18, 2010 at 22:50
7
$\begingroup$

This was one of the aspects of algebra that I enjoyed the most while first learning it. This is the way I would develop the subject:

1) Introduction to exact sequences with an emphasis on short exact sequences. We can use these to illustrate how the properties of any module in such a sequence are related to those of others. Relevant here would be discussions of theorems such as, length of a module is additive, a module has ACC/DCC if and only if a submodule and quotient modulo the submodule have ACC/DCC. We can also develop direct sums via short exact sequences, the short five lemma, the snake lemma here.

2) Projective modules: Given a short exact sequence, $0\to L\to M\to N\to 0$, of $R$-modules, and some other $R$-module $T$ and a homomorphism $T\to L$ there exists a homomorphism $T\to M$ via composition. We can ask the opposite question. When does giving a homomorphism $T\to M$ give a homomorphism $T\to L$. This can be used to motivate $Hom_R(T,-)$. Then we can go on to show this functor is left exact. Then we define projective modules as those which make this functor exact.

3) At this point I would introduce Free modules and motivating them via vector spaces as you suggested. I would also discuss free resolutions since this is a very elegant machinery. Then, I would show that projective modules are just direct summands of free modules.

4) Injective modules: A similar development as for projective modules, this time via the functor $Hom_R(-,T)$. I would also develop the characterizations of injective modules via Baer's theorem and divisible modules.

5) Flat modules: I shall then introduce the functors $T\otimes -$ and $- \otimes T$ and show these are right exact. Then define flat modules as those which make the above functors exact. I shall also discuss that projective modules are flat.

To tie all of this together, I shall then discuss the adjointness of Hom and $\otimes$ followed by Homological algebra if that is part of the course.

$\endgroup$
6
  • $\begingroup$ @Timothy: thanks for your response. Interestingly (to me!), in my notes I currently do not discuss injective modules at all. Obviously in some sense I should, but I think there is something to ponder here in the notion that in commutative algebra itself, projective modules are much more important than injective modules. (Or do people disagree with this? Let me know!) $\endgroup$ Nov 18, 2010 at 22:52
  • $\begingroup$ @Timothy: thinking out loud...whether a projective module is free is one of the great questions of commutative algebra. Asking whether an injective module is cofree does not have the same allure. In my experience, although it is very useful to know that an abelian category has enough injectives, this does not necessarily make injective objects worthy of study. I think that I have never met an injective sheaf in person, for instance. $\endgroup$ Nov 18, 2010 at 22:57
  • 3
    $\begingroup$ @Pere: As someone who studies algebra, I find injective modules are quite ubiquitous. They show up as injective hulls which is a central notion in local cohomology. $\endgroup$ Nov 18, 2010 at 22:59
  • $\begingroup$ @Timothy: fair enough. I don't know anything about local cohomology. I do remember injective envelopes coming up in Part III of Serre's book on representations of finite groups, albeit for modules over non-commutative rings. I would be happy to hear of a reference, so as to broaden my horizons... $\endgroup$ Nov 19, 2010 at 3:59
  • 2
    $\begingroup$ @Timothy: thanks very much for the link, and please don't worry about calling me "Pere": I knew you were talking to me and not to your father. $\endgroup$ Nov 19, 2010 at 4:56
7
$\begingroup$

Another student answer:

Considering 2b, it seems a bit strange that you want to mention derived functors and not to go into $\mathbf{Tor}$ and $\mathbf{Ext}$. The problem with derived functors is that first of all, categories usually have enough injective objects. Secondly, projectives are just a suitable collection of objects to use, but not always. However, the universal property is really important here. Lifting morphisms is something extremely natural to ask (which is the exactness of $\mathbf{Hom}$). This is also a way to mention that projective modules are direct summands of free (which fits perfectly into you sequence of presentation).

Speaking of flat modules, I'd avoid saying about "varying nicely". It's not very convincing the first time you see it (like telling a child that to have a baby one should kiss his partner). I'd also be nice to somehow sneak in the adjointness of $\otimes$ and $\mathbf{Hom}$.

$\endgroup$
2
  • $\begingroup$ @Anton: sorry, maybe I wasn't clear. When I say that I would ideally like to avoid derived functors, that includes Tor and Ext. I am however willing to reconsider that -- a lot of people are saying that it's very important. $\endgroup$ Nov 19, 2010 at 3:22
  • 1
    $\begingroup$ +1 for "like telling a child that to have a baby one should kiss his partner." $\endgroup$ Nov 20, 2010 at 0:15
6
$\begingroup$

In the question there have been already mentioned many deep applications of these notions for modules (flat, projective, free). However, I think that an introductory course should not focus on these aspects. It would be very nice (at least for the ones who can follow...) if some applications are at least mentioned and are partially worked out as exercises. The students will learn the "big story" later, perhaps even in the same course of commutative algebra. But as for the introduction of these notions, I would just use the standard definitions (see Sean Tilson's answer). They later also apply in abelian categories (whereas, "free" generalizes rather to left adjoint functors). I think an introductory course should show the students how to work with the new objects and what can be done with them.

For example, it is pretty useful that a short exact sequence $0 \to I \to M \to P \to 0$ splits if $P$ is projective, and that the converse is also true: If $P$ has the property that every short exact sequence of the above type splits, then $P$ is projective. By duality, there is a dual statement characterizing the injectivity of $I$. A propos, it should be partially pointed out that the notions of projective and injective are dual to each other, and the reason that they differ so horribly in $R$-Mod comes from the fact that this category has no autoequivalence.

Concerning flatness, it should be pointed out that they are stable under directed colimits and have various other nice local properties which fails for the notions of projective and free.

Here is a beautiful theorem which fascinated me when I started to learn commutative algebra and algebraic geometry. It basically says that freeness of a module "extends from points to open neighborhoods".

Let $M$ be a finitely presented $A$-module and $\mathfrak{p} \subseteq A$ a prime ideal such that $M_\mathfrak{p}$ is free. Then there is some $f \in A \backslash \mathfrak{p}$, such that $M_f$ is free.

I would certainly include this in the course. The proof is also pretty illuminating, using some of the devissage arguments which are important in commutative algebra and algebraic geometry.

$\endgroup$
6
$\begingroup$

You might perhaps mention Lazard's theorem.

$\endgroup$
1
  • 1
    $\begingroup$ @Greg: Thanks. The Govorov-Lazard Theorem (a module is flat iff it can be expressed as the direct limit of finitely generated free modules) is in the latest copy of my notes. $\endgroup$ Nov 19, 2010 at 20:58
2
$\begingroup$

The question reminds me of the time when I was studying mathematics. I had attended a course on algebra (some basic theory of group, rings, categories, loads of Galois theory and some valuation theory, which was the main area of research of the lecturer). Commutative algebra was the first subject I studied on my own, because I wanted to attend a course on algebraic curves, and because I needed some commutative algebra for my diploma thesis. This is not a direct answer to your question, but maybe some thoughts from that time are of use...

Literature: As a student I found Bourbaki, Nagata (local rings) and Matsumura (Comm. rings) too difficult as a starting point. I liked the book of Atiyah-MacDonald and I loved the book "Kommutative Algebra" of Brüske, Ischebeck, Vogel. The Brüske-Ischebeck-Vogel book is out of print and available online http://wwwmath.uni-muenster.de/u/ischebeck/SkriptBrskeIschebeckVogel.pdf. If I had to teach a course on commutative algebra, then I would surely have this book on my desk again. Unfortunately it is written in German, but nevertheless it might be worth to have a look...

Free, projective and flat modules: I remember that I needed them for my thesis project and my thesis contained a section summarizing these things. I think at that time I was fine with the account in the BIV book. They define M projective iff $Hom(M, -)$ is exact, flat iff $M\otimes -$ is exact and injective if $Hom(-, M)$ is exact. I found this natural at a first reading, and later on the step to $Ext$ and $Tor$ was quite natural as well. (Maybe I was influenced a bit by the fact that categories and functors were always in the air in Munich at that time and were mentioned in my algebra course.) Having these definitions at hand, one can directly go into the proof of theorems comparing these classes of modules...

$\endgroup$
1
$\begingroup$

Coincidentally, I was on the verge of posing a flatness question. But it concerned flat homomorphisms of commutative rings, rather than flat modules.

I finally slogged through Durov's proof of the "affine base change theorem" for his generalized rings. As far as I can tell, the only use he makes of flatness is the fact that it forces base change to preserve finite products.

No one has mentioned that motivation so far. Is that a typical use?

$\endgroup$
1
  • $\begingroup$ Yes flatness is a typical ingredient for base change theorems in algebraic geometry. $\endgroup$ Jan 31, 2012 at 10:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.