Talk:Abelian group

Template:Vital article

Humor of anonymous edits

A stalwart from our lexicon of maths jokes to get us through lectures: What's purple and commutes? An abelian grape.

So, in the unlikely event that you were wondering, that's why the recent anon made those pecular edits! Pete/Pcb21 (talk) 12:45, 9 December 2003 (UTC)

Could be someone who's central heating's out and has to travel on a very cold bus to work? Dysprosia 12:47, 9 December 2003 (UTC)

Just as bad is "What's yellow and equivalent to the Axiom of Choice?"

Zorn's lemon JHobson3 (talk) 11:19, 11 March 2014 (UTC)

Yet another is "What is furry and equivalent to the Axiom of Choice?"

Zorn's lemming — Anita5192 (talk) 17:56, 11 March 2014 (UTC)

Alternatively, Zorn's llama — Preceding unsigned comment added by 128.135.96.37 (talk) 21:53, 25 October 2015 (UTC)

Assessment comment

The comment(s) below were originally left at Talk:Abelian group/Comments, and are posted here for posterity. Following several discussions in past years, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.

Almost a B+ in my opinion... this article could be made real nice real quick. - grubber 15:33, 27 April 2007 (UTC) Exposition is good, but the content doesn't go beyond a few lectures of an introductory abstract algebra course. Needs: more on infinite abelian groups (theory and examples), expansion of relations to other mathematical subjects, main directions of research. The section about automorphisms of finite abelian groups is overly long and should be summarized/moved out. Arcfrk 03:48, 9 July 2007 (UTC)

Last edited at 03:48, 9 July 2007 (UTC). Substituted at 01:42, 5 May 2016 (UTC)

External links modified

Hello fellow Wikipedians,

I have just modified one external link on Abelian group. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

• Added archive https://web.archive.org/20120827093315/http://www.maa.org:80/devlin/devlin_04_04.html to http://www.maa.org/devlin/devlin_04_04.html

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at {{Sourcecheck}}).

Y An editor has reviewed this edit and fixed any errors that were found.

• If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
• If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—^{cyberbot II}_{Talk to my owner:Online} 19:50, 2 July 2016 (UTC)

Finitely generated abelian groups

I have added a section with this title, with a {{main}} template to the eponym article. However, the contents are not the same, as the new section is essentially about the computational issue. Normally it should have been added first to Finitely generated abelian group. But, as these computational aspects are very important, it seems better to introduce them first in the article that most users read first. D.Lazard (talk) 19:12, 2 March 2018 (UTC)

Incidentally that other article is full of links to nonexistent references. Here is what it looks like when I view it:

The history and credit for the fundamental theorem is complicated by the fact that it was proven when group theory was not well-established, and thus early forms, while essentially the modern result and proof, are often stated for a specific case. Briefly, an early form of the finite case was proven in (Gauss 1801), the finite case was proven in (Kronecker 1870), and stated in group-theoretic terms in (Frobenius & Stickelberger 1878). The finitely presented case is solved by Smith normal form, and hence frequently credited to (Smith 1861),[3] though the finitely generated case is sometimes instead credited to (Poincaré 1900); details follow. Harv error: link from #CITEREFGauss1801 doesn't point to any citation. Harv error: link from #CITEREFKronecker1870 doesn't point to any citation. Harv error: link from #CITEREFFrobeniusStickelberger1878 doesn't point to any citation. Harv error: link from #CITEREFSmith1861 doesn't point to any citation. Harv error: link from #CITEREFPoincaré1900 doesn't point to any citation.

The fundamental theorem for finite abelian groups was proven by Leopold Kronecker in (Kronecker 1870), using a group-theoretic proof,[4] though without stating it in group-theoretic terms;[5] a modern presentation of Kronecker's proof is given in (Stillwell 2012), 5.2.2 Kronecker's Theorem, 176–177. This generalized an earlier result of Carl Friedrich Gauss from Disquisitiones Arithmeticae (1801), which classified quadratic forms; Kronecker cited this result of Gauss's. The theorem was stated and proved in the language of groups by Ferdinand Georg Frobenius and Ludwig Stickelberger in 1878.[6][7] Another group-theoretic formulation was given by Kronecker's student Eugen Netto in 1882.[8][9] Harv error: link from #CITEREFKronecker1870 doesn't point to any citation. Harv error: link from #CITEREFStillwell2012 doesn't point to any citation.

The fundamental theorem for finitely presented abelian groups was proven by Henry John Stephen Smith in (Smith 1861),[3] as integer matrices correspond to finite presentations of abelian groups (this generalizes to finitely presented modules over a principal ideal domain), and Smith normal form corresponds to classifying finitely presented abelian groups. There is the additional technicality of showing that a finitely presented abelian group is in fact finitely generated, so Smith's classification is not a complete proof for finitely generated abelian groups. Harv error: link from #CITEREFSmith1861 doesn't point to any citation.

The fundamental theorem for finitely generated abelian groups was proven by Henri Poincaré in (Poincaré 1900), using a matrix proof (which generalizes to principal ideal domains). This was done in the context of computing the homology of a complex, specifically the Betti number and torsion coefficients of a dimension of the complex, where the Betti number corresponds to the rank of the free part, and the torsion coefficients correspond to the torsion part.[4] Harv error: link from #CITEREFPoincaré1900 doesn't point to any citation.

Kronecker's proof was generalized to finitely generated abelian groups by Emmy Noether in (Noether 1926).[4] Harv error: link from #CITEREFNoether1926 doesn't point to any citation.

—David Eppstein (talk) 19:34, 2 March 2018 (UTC)

Abstract algebra v. mathematics in the lead

I think it is more appropriate for the lead to begin, "In abstract algebra . . ." instead of "In mathematics . . ." Yes, abelian groups are encountered in almost all parts of mathematics, but the lead should indicate specifically to which area of mathematics the concept belongs.—Anita5192 (talk) 16:36, 4 April 2020 (UTC)

I disagree. The specific area to which the concept belongs, is indicated by the categorization. The fist words are there for indicating to the reader whether the article is the one for which he/she is serching. It is there for indicating that the article is not about a specific group of people. Giving a too restricted field can be confusing for some people: a student of physics learning crystallography or a computer scientist learning cryptography will certainly encounter the phrase "abelian group". If they want more information and read "In abstract algebra", they can think that the article is not for them, as "abstract" is not for them, and it is possible that they do not know well the subdivisions of mathematics. "In algebra" is also not convenient, as it may confuse someone who come here after reading that a space of differentiable functions is an abelian group under addition. So, per WP:LEAST, "In mathematics" is the best choice. D.Lazard (talk) 17:21, 4 April 2020 (UTC)

Preciseness of writing: "applied" preferable over "written"?

The current version of the text contains:

"In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written."

Would it not be more precise to change "written" into "applied" or "carried out"? I think it is the application, and not the way we choose to write things down, that really matters. (Think of function composition: (g ∘ f )(x) = g(f(x)), where we write f after g but apply f before g.)Redav (talk) 14:01, 26 November 2020 (UTC)

I just looked this up in six algebra textbooks. They all define "commutative" (implicitly) in terms of the order in which the operands are written. The article linked in the lead, commutative, also defines the term this way.—Anita5192 (talk) 17:17, 26 November 2020 (UTC)

To me it was so obvious that "applied" trumps "written". But now that you mention sources (which I cannot check, for you did not mention them), I have found a few ones too:

1. "used" [in https://www.merriam-webster.com/dictionary/commutative];
2. "operating" [in https://www.dictionary.com/browse/commutative];
3. "taken" [in https://mathworld.wolfram.com/Commutative.html combined with e.g. https://mathworld.wolfram.com/Multiplication.html];
4. "multiplied" [in https://books.google.nl/books?id=YruifIx88AQC&pg=PA4&redir_esc=y#v=onepage&q=commutative&f=false, page 6].

All of these point to "applied" or "applying" rather than "written". But rather than counting references (that may or may not be flawed), would not conveying the meaning of commutativity correctly deserve priority here?Redav (talk) 16:12, 29 November 2020 (UTC)

Here, "preciseness" (I would say "accuracy") of mathematics is more important than preciseness of English. None of your sources is reliable here as they are either English dictionaries, or wikis written by many authors, mostly anonymous, or even history books. Here, "applied" would be incorrect, because it is the operation that is applied to the operands. "Taken" and "considered" could be used in this sentenceas as well as "written". Another correct formulation would be to replace "does not depend on the order in which they are written" by "does not depend on their order". My preferred formulation is the last one, but, IMO, it is not useful to spent time for changing the article. D.Lazard (talk) 17:19, 29 November 2020 (UTC)

grothendieck group?

this is an important group.

i first thought "this should be in the sidebar" but anticipated a reversion on the basis that it's a kind of abelian group.

so the next question was: is there a mention of the grothendieck group on the abelian group page? there is not.

i was hoping someone who is familiar with group theory could add a blurb here somewhere.

my opinion is that a mention (subsection or something) on this page would make its sidebar absence justified.

thoughts?— Preceding unsigned comment added by 198.53.108.48 (talk) 00:52, 9 July 2021 (UTC)

Added to § See also. No reason for adding a specific section, as the Grothendieck group is not useful for the study of abelian groups. D.Lazard (talk) 08:11, 9 July 2021 (UTC)

Shelah's Recent Work on Torsion-free Abelian Groups

Should we discuss Shelah's relatively recent proof that the family of countable Torsion-free Abelian Groups is Borel complete? Does that belong in this article, or is that too specific a topic? CessnaMan1989 (talk) 16:09, 12 September 2021 (UTC)

Do you have a reliable source? D.Lazard (talk) 16:19, 12 September 2021 (UTC)

Yes, I have both a primary source(a journal article of the derivations) and several secondary sources including a Quanta Magazine article. I think the Quanta Magazine article explains the work in the clearest terms for encyclopedic purposes. Would the Quanta Magazine article be an acceptable source to cite? CessnaMan1989 (talk) 15:52, 13 September 2021 (UTC)

My experience with Quanta is that they oversimplify to the point of unintelligibility. I don't think they can be used as a reliable source for technical material in mathematics. For the general significance of a result, with the technical parts sourced elsewhere, maybe. —David Eppstein (talk) 18:22, 13 September 2021 (UTC)

Grammatical disimprovement

Hi again dear @David Eppstein:. The sentence below

Abelian groups are named after early 19th century mathematician Niels Henrik Abel.

is grammatically wrong. In the article, the "Abelian group" expression, when used as a concept, is written as singular. I think the concept "Abelian group" is a singular concept not plural. Why did you revert my edition? Please inspect these queries:

1. https://en.wikipedia.org/enwiki/w/index.php?title=Special:Search&limit=500&offset=0&ns0=1&search=%22is+named+after%22&advancedSearch-current={%22fields%22:{%22phrase%22:%22\%22is%20named%20after\%22%22}}
2. https://en.wikipedia.org/enwiki/w/index.php?title=Special:Search&limit=500&offset=0&ns0=1&search=%22are+named+after%22&advancedSearch-current={%22fields%22:{%22phrase%22:%22\%22is%20named%20after\%22%22}}

Thanks, Hooman Mallahzadeh (talk) 03:12, 7 April 2022 (UTC)

I didn't study enough grammar to know why, but "Abelian group is named after ... Abel" is wrong. You might say "An Abelian group..." or "The Abelian group..." but that suggests some Abelian groups were not named after Abel. There is nothing wrong with the common English expression that "Abelian groups are named...". Johnuniq (talk) 03:25, 7 April 2022 (UTC)

It's quite simple, really. @Hooman Mallahzadeh: Your mistake is thinking that a "concept" can be singular or plural: these are purely grammatical terms, and whether a *word* is singular or plural is determined by grammar, not by "whether there are two or more of them". This is why, for example, in "ten stone", the noun 'stone' is singular, because it is the singular form, even though its semantics ("concept") refers to more than one of the unit. (Lots of people don't understand this, though.) Imaginatorium (talk) 03:44, 7 April 2022 (UTC)

@Imaginatorium@Johnuniq Is the sentence below grammatically better?

These groups are named after early 19th century mathematician Niels Henrik Abel.

Or this sentence

The group is named after early 19th century mathematician Niels Henrik Abel.

Because the subject of the word "the" is obvious, no need for the word "Abelian". Although in my opinion the second sentence (i.e., singular with "is") is still better. Hooman Mallahzadeh (talk) 04:16, 7 April 2022 (UTC)

"The group is named after" is absolutely incorrect. That wording implies that there is only one possible abelian group. "These groups are" is not wrong, so much, as it is deliberately obfuscatory (you are taking as many words as before to say things more indirectly and make the reader think about what "these groups" refers to rather than just saying it). —David Eppstein (talk) 05:18, 7 April 2022 (UTC)

Abelian Groups and Conjugacy Classes

The Conjugacy class article states a fact about abelian groups, namely that each conjugacy class of an abelian group is a singleton. I think it would be useful to add a mention of this fact in this article under the 'Properties' section Maximilien Tirard (talk) 18:28, 16 October 2022 (UTC)

Leading image

All  translations  leaving  invariant  a  wallpaper make  up
a commutative group for the binary operation called “function composition”.

I propose to insert at the very beginning the present SVG image and its caption:  a classical example of abelian group.
  Arthur Baelde (talk) 13:17, 3 March 2023 (UTC)