In article <email@example.com>,
>John Baez wrote:
>> And, extensions
>> 1 -> F -> E -> B -> 1
>> People have also thought about "abelian extensions". That's an even
>> more special case where all three groups are abelian. The set of
>> isomorphism classes of such extensions is called Ext(B,F).
>I am pretty sure that is not standard terminology. In an abelian
>extension, only F is required to be abelian, not E and B.
Hmm. Maybe you're right. But then I'm not sure what the standard
terminology *is* for the kind of extension where all three groups
There should be *some* name for them, since they're wildly popular
in homological algebra, which is a kind of algebra used by topologists.
When kids take an introductory course in homology and cohomology, they
typically learn a bit of this - mainly stuff about "Tor" and "Ext".
Ext(B,F) is the set - actually an abelian group - of isomorphism
classes of extensions
1 -> F -> E -> B -> 1
where F, E and B are all abelian. But, when I pulled down Rotman's book
"An Introduction to Homological Algebra" and tried to see what he
called these extensions, I found he just called them "extensions" -
because in that chapter, he's not considering any other kind!
Well, actually he's considering short exact sequences of R-modules
for any ring R. When R = Z such R-modules are abelian groups - so
nonabelian groups don't even get in the door, in this chapter. There's
lots of nice machinery that works only in this "completely abelian"
My excitement with Schreier theory came from seeing more clearly
than before the nice machinery that works when you're trying to
classify extensions without assuming ANY abelianness. It's
less familiar, because to see how nice it is, you need to understand
Btw, I put a more detailed explanation of this stuff in the "addendum"
to week223 here: