Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In regular everyday English if you say something like "A was extended by B to get C", to me it means that A was in existence, B was added onto it, and now there is a larger object C. For example, "the city was extended by 20 square kilometers."

To me, this is consistent with the mathematical terminology for field extensions. We say things like $\mathbb{C}$ is a field extension of $\mathbb{R}$; The field $\mathbb{R}$ is "surrounded" by $\mathbb{C}$.

But with group extensions, it doesn't work that way, as was pointed out to me here. If $H$ is extended by $K$ to get $G$, it's not $H$ that is "surrounded" by $G$, but rather $K$ that is "surrounded" by $G$.

My questions are:

  1. Is there an alternate understanding of group extensions that make the terminology more consistent with my understanding of everyday English?
  2. Does anyone know the original instance of using the term "extension" for groups the way it is currently used? In particular, I wonder if the idea was first defined in a different language, mistranslated, and stuck.
share|improve this question

2 Answers 2

up vote 10 down vote accepted

Hmmmmm... I checked my books; here's the ones that include a definition:

According to Rotman's Introduction to the Theory of Groups, 4th Edition,

Definition. If $K$ and $Q$ are groups, then an extension of $K$ by $Q$ is a group $G$ having a normal subgroup $K_1 \cong K$ with $G/K_1\cong Q$.

Same definition appears in D.J.S. Robinson's A Course in the Theory of Groups, 2nd Edition.

Marshall Hall's The Theory of Groups states at the beginning of Chapter 15 ("Group Extensions and Cohomology of Groups"):

Generally speaking, any group $G$ which contains a given group $U$ as a subgroup is called an extension of $U$. [...] Here, however, we shall consider only cases in which $U$ is normal in $G$.

He does not seem to define extension in general, but he does say later

Let us suppose that all factors $(u,v)$ in an extension of a group $A$ by a group $H$ lie in the center $B$ of $A$. Then we shall say that $E[A,H,a^u,(u,v)]$ is a central extension of $A$ by $H$.

In the notation that Hall has established, $E[A,H,a^u,(u,v)]$ represents a group in which $A$ is normal, and the quotient modulo $A$ is isomorphic to $H$. So this agrees with the nomenclature in Rotman and Robinson (the book was written in 1959).

Scott's Group Theory (published in 1964), defines:

An extension of $H$ by $F$ is an exact sequence $$1\to H\to G\to F\to E.$$

On the other hand, Isaacs' Finite Group Theory has the opposite convention (p 66):

Given groups $N$ and $H$, a group $G$ is said to be an extension of $H$ by $N$ if there exists $N_0\triangleleft G$ such that $N_0\cong N$ and $G/N_0\cong H$.

He does note, however:

As we mentioned, however, this use of prepositions is sometimes reversed in the literature, so readers should attempt to determine the precise meaning from the context.

Bourbaki (Algebra I.6.1) gives:

Definition. Let $F$ and $G$ be two groups. An *extension of $G$ by $F$ * is a triple $\mathscr{E}=(E,i,p)$, where $E$ is a group, $i$ is an injective homomorphism of $F$ into $E$ and $p$ is a surjective homomorphism of $E$ onto $G$ such that $\mathrm{Im}(i)=\mathrm{Ker}(p)$.

(That is, the usage agrees with Isaacs)

This does not really answer your question about the history; but it does show that both usages are common in the literature, and that the one you call "consistent with everyday English" has been around for at least fifty years or more. I would try to take a look at Schreier's original paper on factor sets and extensions to see which use was original, and which one was introduced later...


Added. I thought about it some more; here's a guess:

If you think of groups as sets with a binary operation on it, then it makes more sense to think of an extension $$1\to N \to G\to Q\to 1$$ as "an extension of $N$ by $Q$", because $G$ "extends" $N$ in the sense that it contains (a copy of) $N$, and the operation on $G$ is an extension (in the function sense) of the operation on $G$.

However, groups were not originally thought of this way. Originally, groups were objects that acted on sets. (Burnside calls the elements of a group "operations"). If you have an action of $Q$ on a set $X$, then given an extension $$1\to N\to G\to Q\to 1$$ there is a natural way to extend that action to all of $G$; by contrast, if you have an extension as above and an action of $N$, it may be impossible to "extend it" to an action of $G$. As an example, the natural action of $S_6$ on $\{1,2\ldots,6\}$ cannot be extended to $\mathrm{Aut}(S_6)$, even though we have an extension $$1 \to S_6 \to \mathrm{Aut}(S_6)\to C_2\to 1.$$ Here, if you think of groups as "operations on a set", it makes more sense to think of $G$ as "extending" the set of operations from $Q$ to $G$.

So thinking in terms of actions (as you would if you do a lot of representation theory or character theory, which is what Isaacs does, for instance, or what Ken Brown does in Cohomology of Groups), then the terminology that calls $G$ an extension of the quotient by the kernel makes more sense. Thinking in terms of sets with an operation on it makes it so that it makes more sense to call $G$ an extension of the kernel by the quotient.

Again, this is just an (informed) guess; looking at Schreier's paper would likely settle which one was first or why.

share|improve this answer
    
Thanks for all of these references. The older references are consistent with how I would guess the terminology should be, and it's nice to see Isaac's note about mixed prepositions. Modern references I've looked at (like Wikipedia) should have similar notes. I imagine the Bourbaki text was originally in French; I still wonder if a mistranslation is the historical explanation for all of this. –  alex.jordan Sep 14 '11 at 22:44
    
@alex: I don't think it's a mistranslation. I'm about to add what is just a guess, but which I think is probably close to the mark. Checking Schreier's paper would probably settle it. –  Arturo Magidin Sep 15 '11 at 0:08
    
@alex.jordan, Arturo: Schreier's first paper on group extensions is here. In the very first sentence (and later on) he speaks of *Erweiterungen von $\mathfrak{A}$ mit Hilfe von $\mathfrak{B}$* "extensions of $\mathfrak{A}$ with the help of $\mathfrak{B}$" and he means that $\mathfrak{A}$ is the normal subgroup and $\mathfrak{B}$ is the quotient. Groups are algebraic structures, not acting elsewhere. Side note: The idea of classifying extensions is attributed to Hölder's work on groups of order $p^3, p^2q, pqr, p^4$ in a footnote on the very first page. –  t.b. Sep 15 '11 at 0:49
    
@Alex: Dear Arturo and Alex, My experience (as someone who uses homological algebra frequently, but who is not a pure algebraist but rather a number theorist who also discusses frequently with algebraic geometers and representation theorists) is that the terminology of Bourbaki and Isaacs is what is used. (I wasn't aware that the alternative had any legitimacy at all before reading this answer.) The reason is that, in the analogous situation for modules, where $A$ and $B$ are $R$-modules for a ring $R$, the group of extensions of $A$ by $B$ (in the Bourbaki sense), usually denoted ... –  Matt E Sep 15 '11 at 1:37
1  
@Matt: I had the same question as Alex about your comment. I believe the point is that there is no disagreement about what $Hom(A,B)$ should mean (morphisms from A to B), so if you want $Ext^1(A,B)$ to mean "extensions of $A$ by $B$" and you want to preserve the relation that $Ext^1(A,B)$ is a derived functor of $Hom(A,B)$ then there is only one way to define "extensions of $A$ by $B$". –  Ted Sep 16 '11 at 7:09

I have come to my own answer to my first question. (It looks like the unusually long comment thread on Arturo's answer leads to the same basic place - see Arturo's comment currently at the end of the thread. If anyone feels like upvoting this answer, consider upvoting a comment in that thread instead/too.)

If the quotient of two groups has an action on some object, then the parent group can act on that object as well. I find this consistent with the English of extending a small thing to a larger thing. It's a little more like extending a group action to a larger group action, rather than a group to a larger group, but tomatoes, potatoes, tomatoes, potatoes.


And this answer to the first question makes the second question less worthy of consideration. Although I want to thank several people involved in Arturo's answer for documenting how both language conventions are in use.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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