Talk:Group extension

message: I propose this article be moved to group extension, which already redirects here and doesn't require disambiguation. Deco 17:42, 9 December 2005 (UTC)
replies: text: I guess I think it's true that extension (algebra) is the wrong title for this article, group extension is the right title.  I will now move it.  On the other hand, I don't think it should be merged; group extensions are important and will one day grow into their own article, delving into calculations with group cohomology and such. -lethe talk [ +] 07:45, 1 April 2006 (UTC)
replies: text: Very well. Withdrawing the merge proposal. Sim 19:06, 29 April 2006 (UTC)
thread_title:  Move proposal 

message: I made the article a little less of a stub DKleinecke 22:11, 16 November 2006 (UTC)
replies: text: What do you mean by the "second way"?  The reason I exchanged G and H was that the previous version was incorrect under any possible interpretation.  There still remains the question of whether G' is an extension of G by H, or of H by G.  I did some searching, and concluded that the way it is on the page now is the most common usage: but one reference said that the other is sometimes used. Vegasprof 21:51, 23 November 2006 (UTC)
thread_title:  Expansion 

message: I added a sentence about classifying extensions of one abelian group by another, as this is a particularly important special case.  
Also, it seems to me that an extension G of Q should be equipped with a map to Q, not just that it has some quotient that is isomorphic to Q.  Certainly in commutative algebra, an extension of Q by N refers to the whole exact sequence -- is this not the way that group theorists see it? QBobWatson 19:35, 3 October 2007 (UTC)
thread_title:  Abelian extensions 

message: The whole use of terms such as subquotient, semiproduct and such, can be a bit confusing to the novice. The idea that from division, the dividend and the quotient can construct the modulo remainder leads to a singular option, while given the dividend and the modulo, many possible quotients could be inferred. This implies that the group order is not commutative as integer factors, and some representation respecting this could be useful.  —Preceding unsigned comment added by 217.171.129.71 (talk) 18:49, 18 June 2010 (UTC)
thread_title:  A simple explanation of things 

message: I think, this article should include the general construction of group extensions as described in “Über die Erweiterung von Gruppen I”, Otto Schreier, Monatsh. für Mathematik und Pysik, XXXIV. Band, p. 166–180 (1926)  — Preceding unsigned comment added by 141.30.71.211 (talk) 15:05, 10 April 2014 (UTC)
thread_title:  Construcion of extensions 

message: I think a better reference than Morandi's note would be "Maclane - Homology, 1975 edition, p. 124-129" and in particular Theorem 8.8.  — Preceding unsigned comment added by 128.189.137.245 (talk) 00:16, 31 March 2019 (UTC)
thread_title:  Reference for non-central extensions 

message: The current version of this article starts so:
In mathematics, a group extension is a general means of describing a group in terms of a particular normal subgroup and quotient group.  If Q and N are two groups, then G is an extension of Q by N if there is a short exact sequence
:1\to N\to G\to Q\to 1.
If G is an extension of Q by N, then G is a group, N is a normal subgroup of G and the quotient group G/N is isomorphic to the group Q.
This is a bit strange when we regard the following example. 
Let be N=(\mathbb Z,+), G=(\mathbb Z,+),  Q=\mathbb Z/3\mathbb Z
Consider the following short exact sequuence:
:\{0\}\to \mathbb Z\;\overset{\iota}{\to}\;\mathbb Z\;\overset{\pi}{\to}\;\mathbb Z/3\mathbb Z\to \{0\}
where \iota:\mathbb Z\to \mathbb Z: z\mapsto 3z and \pi maps each integer to its modulo-3 equivalence class. Then according to the quotation above, we should say that 
:\mathbb Z is a normal subgroup of \mathbb Z and the quotient group \mathbb Z/\mathbb Z is isomorphic to the group \mathbb Z/3\mathbb Z.
which is not true, because \mathbb Z/\mathbb Z has only one element while \mathbb Z/3\mathbb Z has 3.
This can be corrected so:
In mathematics, a group extension is a general means of describing a group in terms of a particular normal subgroup and quotient group.  If Q and N are two groups, then G is an extension of Q by N if there is a short exact sequence
:1\to N\;\overset{\iota}{\to}\;G\;\overset{\pi}{\to}\;Q \to 1.
If G is an extension of Q by N, then G is a group, \iota(N) is a normal subgroup of G and the quotient group G/\iota(N) is isomorphic to the group Q.
But I am not brave enough to perform this modification in the article.  — Preceding unsigned comment added by 89.135.79.17 (talk) 06:42, 11 November 2019 (UTC)
replies: text: Since nobody reacted, I've performed this modification in the article. 89.135.79.17 (talk) 08:40, 12 December 2019 (UTC)
thread_title:  A problem in the short description 

message: I think it would be nice to have a section of properties of groups which are closed under taking extensions – for example, an extension of a noetherian group by a noetherian group is noetherian. Does anyone else agree that this would be good to include? Joel Brennan (talk) 20:08, 1 April 2022 (UTC)
thread_title:  Properties closed under extensions 

message: The article mentions that the problem is “very hard”, but it doesn’t say what that means. Is it an undecidable problem? If so, this would imply that no algorithm can exist for enumerating all finite groups; the set of all finite groups would be uncomputable. This is not the case for finite _simple_ groups (since they have been completely classified and comprise a small number of infinite families plus some sporadic cases). But such a classification might not be necessarily possible for finite groups in general. 2604:2D80:6984:3800:0:0:0:77FB (talk) 01:43, 10 October 2023 (UTC)
thread_title: Is there an algorithm for this problem?

message: The redirect Trivial extension has been listed at redirects for discussion to determine whether its use and function meets the redirect guidelines. Readers of this page are welcome to comment on this redirect at  until a consensus is reached.   Jay 💬 11:31, 24 December 2023 (UTC)
thread_title:  "[[:Trivial extension]]" listed at [[Wikipedia:Redirects for discussion|Redirects for discussion]]