View source for Testwiki:Peer review/Algebra/archive1

===[[Wikipedia:Peer review/Algebra/archive1|Algebra]]===
<noinclude>{{Peer review tools|Algebra}}</noinclude>
:{{Peer review links|Algebra| Wikipedia:Peer review/Algebra/archive1}}
<noinclude>[[Category:June 2024 peer reviews]]</noinclude>
<!-- Please add all peer review discussions below this comment, and do not alter what is above. So that the review can be kept within a single section, please do not use level 2 or 3 headers (==...== and ===...===) below to break up the review. Use level 4 (====...====) and so on.-->
{{Closed peer review page}}
I've listed this article for peer review to prepare it for a [[WP:FAC|featured article candidacy]]. I was hoping to get feedback on its current status and what improvements are required to fulfill the [[WP:FA?|featured article criteria]]. 

Thanks, [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 17:05, 14 June 2024 (UTC)

*{{ping|Phlsph7}} This has been posted for over a month without comment. Are you still looking for comments, or can this be closed and nominated to FAC? [[User:Z1720|Z1720]] ([[User talk:Z1720|talk]]) 15:48, 24 July 2024 (UTC)
*:{{ping|Z1720}} Thanks for the reminder! I now posted to the  [[Wikipedia_talk:WikiProject_Mathematics#Peer_review_of_Algebra|WikiProject Mathematics]] to attract more reviewers. I was hoping to keep it open a little longer to see if someone responds. [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 07:44, 25 July 2024 (UTC)
*::@[[User:Phlsph7|Phlsph7]], @[[User:Z1720|Z1720]] Maybe we can start from the sources, images, and other FAC criterias to be checked before heading to the FAC? [[User:Dedhert.Jr|Dedhert.Jr]] ([[User talk:Dedhert.Jr|talk]]) 09:39, 25 July 2024 (UTC)
*:::Hello {{u|Dedhert.Jr}}, that sounds good, thanks for taking a look! [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 10:37, 25 July 2024 (UTC)
*::::To be honest, I'm not actually an expert in FAC, and I don't even have one. You can try to find someone interested in this topic, or ask non-mathematics users to review your article, from which they may find something that will be added or should be removed. [[User:Dedhert.Jr|Dedhert.Jr]] ([[User talk:Dedhert.Jr|talk]]) 10:42, 25 July 2024 (UTC)
*:::::If you or someone else would be willing to read through the article and provide some feedback, this would be helpful to consider potential problems that I may have overlooked. The peer review can be done casually without precisely following the FA criteria and your background in mathematics would be particularly valuable in identifying possible improvements. [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 11:34, 25 July 2024 (UTC)
*My first take is that the second image in {{tl|multiple image}} is not appropriate; <math>\C,\ \N,\ \Q\ \text{and}\ \Z</math> are covered in elementary algebra classes. Perhaps <math>O(n)</math> would be a better choice? <!-- Template:Unsigned --><small class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Chatul|Chatul]] ([[User talk:Chatul#top|talk]] • [[Special:Contributions/Chatul|contribs]]) </small>
*:Thanks for the input! I assume you are referring to the [[Orthogonal group]] <math>O(n)</math>. This could be done but I think it is not the easiest way to introduce abstract algebra. Most introductions to abstract algebra start with more familiar examples of algebraic structures, like the ring of integers. Its true that there is an overlap here with elementary algebra. The main difference is that elementary algebra studies how equations formulated within these algebraic structures can be solved while abstract algebra studies and compares the algebraic structures themselves. [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 16:16, 25 July 2024 (UTC)
*::Yes, Orthogonal group. How about a [[permutation group]]? -- [[User:Chatul|Shmuel (Seymour J.) Metz Username:Chatul]] ([[User talk:Chatul|talk]]) 17:07, 25 July 2024 (UTC)
*::How about using the [[Rubik's Cube group]] as an example of abstract algebra? {{multiple image
|perrow=1 / 1
|total_width=350
|image1=Polynomial2.svg
|alt1=Polynomial equation
|link1=Polynomial equation
|caption1=[[Elementary algebra]] studies which values solve equations formed using arithmetical operations, especially [[polynomial equations]].
|image2=Rubik's cube.svg
|alt2=Signature of the Rubik's Cube group
|link2=Rubik's Cube group
|caption2=[[Abstract algebra]] studies [[algebraic structure]]s, like the [[Rubik's Cube group]], a [[Group (mathematics)|group]] <math>(G, \cdot )</math> that represents the [[Mathematical structure|structure]] of the [[Rubik's Cube]] [[mechanical puzzle]]. Each element of the [[Set (mathematics)|set]] <math>G</math> corresponds to a cube move, which is the effect of any sequence of rotations of the cube's faces.
}} -- [[User:Chatul|Shmuel (Seymour J.) Metz Username:Chatul]] ([[User talk:Chatul|talk]]) 13:51, 26 July 2024 (UTC)
*:::Permutation groups could work if the article was written for mathematicians. But since it is written for a general audience, we would probably have to explain to them first what a permutation is before they can understand that a permutation group is an example of an algebraic structure.
*::::How about [[SO(2)]] as the second image? Perhaps a circle with a curved arrow. I believed that it is simple enough for a layman to understand and that it is not normally covered in elementary algebra. -- [[User:Chatul|Shmuel (Seymour J.) Metz Username:Chatul]] ([[User talk:Chatul|talk]]) 10:24, 28 July 2024 (UTC)
*:::::It's very difficult to find {{green|a representative image}} for abstract algebra that gives the average reader {{green|visual confirmation that they've arrived at the right page}}. Ideally, the image should be self-explanatory without the caption. I fear that, by using a concrete application, like an image of a Rubik's cube or a circle with arrows in it, we give the reader a false impression even if we correctly explain it in the caption. Apologies for dismissing your different lead image ideas. I agree with you that the current abstract algebra image is not ideal either. Maybe the best option would be to remove it and only have the elementary algebra image. [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 15:17, 28 July 2024 (UTC)
*:::I like the idea of using Rubik's cube as an example. It's not particularly representative of Algebra in general (see [[MOS:LEADIMAGE]]), so I think it would be better to include it somewhere else in the article, maybe a short paragraph in the section "Applications". I'll look into it. [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 16:08, 26 July 2024 (UTC)
*::::I found a way to mention Rubik's cube together with the image in the section "Applications". [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 07:44, 27 July 2024 (UTC)

:This article is well-written in a clear style and it is masterfully balanced. I especially appreciate the large number of pictures and the fact that it doesn't focus on only one meaning of the word "algebra". However, there are some issues.
:(I) When I read the descriptions of elementary algebra in this article, as a reader, I am left with the impression that elementary algebra is about solving single polynomial equations. Two examples:
:# ''[[Elementary algebra]] is interested in [[polynomial equations]] and seeks to discover which values [[Equation solving|solve them]].''
:# ''Arithmetic is the study of numerical operations and investigates how numbers are combined and transformed using arithmetic operations like [[addition]], [[subtraction]], [[multiplication]], and [[Division (mathematics)|division]]. For example, the operation of addition combines two numbers, called the addends, into a third number, called the sum, as in {{math|1=2 + 5 = 7}}. Elementary algebra relies on the same operations while allowing variables in addition to regular numbers.''
:# There is no mention of exponentiation, roots, or logs in the context of elementary algebra in this article.
:I think we should mention that exponentiation, roots, logs, and simultaneous equations can come up in problems under the scope of elementary algebra.
:: Thanks for pointing this out. I adjusted the two sentence to make them more general while also mentioning exponentiation, roots, and logarithms. We have to find a middle way here since they should be mentioned but at the same time shouldn't be at the center of the discussion. [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 11:12, 26 July 2024 (UTC)
:(II) Change this excerpt:
:: ''...it is possible to express a general law that applies to any possible combinations of numbers, like the [[Commutative property|principle of commutativity]] expressed in the equation...''
:To this:
:: ''...it is possible to express a general law that applies to any possible combinations of numbers, like the [[Commutative property|commutative property of multiplication]], which is expressed in the equation...''
:Or something similar.
:: Changed. [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 11:15, 26 July 2024 (UTC)
:(III) I am a bit worried about this sentence in the lead, which seems worded strangely:
:: ''They relied on verbal descriptions of problems and solutions until the 16th and 17th centuries, when a rigorous mathematical formalism was developed.''
:After looking into this, I think  "verbal descriptions" just means that they wrote down equations using words and abbreviations instead of symbols. I think this is not how most people would interpret this sentence.
:: I reformulated the sentence, I hope it is clearer now. [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 16:17, 26 July 2024 (UTC)
::: I like your edit, but I added the word "symbolic" to it and now I like it even better. [[User:Mathwriter2718|Mathwriter2718]] ([[User talk:Mathwriter2718|talk]]) 16:29, 26 July 2024 (UTC)
::::I agree, the word helps sharpen the contrast. [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 16:43, 26 July 2024 (UTC)
:(IV) Maybe the section on universal algebra can be written better?
:# Surely at least one of these two statements is true: (a) quasi-identities can be explained better or (b) they don't belong in this article.
:#: Unfortunately, I'm not sure how to explain it better. I moved the paragraph to a footnote. This way, it's still there for the curious but is less likely to confuse the average reader. [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 16:34, 27 July 2024 (UTC)
:#:: Seems like the best solution at this time to me. [[User:Mathwriter2718|Mathwriter2718]] ([[User talk:Mathwriter2718|talk]]) 17:55, 27 July 2024 (UTC)
:# The description of subalgebras reads backwards in the sense that instead of telling us what a subalgebra is, it just apparently lists a few facts about them:
:::: ''Another tool of comparison is the relation between an algebraic structure and its [[Subalgebra#Subalgebras in universal algebra|subalgebra]]. If <math>\langle A, \circ \rangle</math> is a subalgebra of <math>\langle B, \circ \rangle</math> then the set <math>A</math> is a [[subset]] of <math>B</math>. A subalgebra has to use the same operations as the algebraic structure and they have to follow the same axioms.''
::::: I reformulated the passage to have the explanation in a more natural order. [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 16:34, 27 July 2024 (UTC)
:(V) There are a '''lot''' of encyclopedia articles in the references and notes, which would seem to violate [[WP:TERTIARY]]. I wonder if this came up in the GA reviews?
:Best of luck! [[User:Mathwriter2718|Mathwriter2718]] ([[User talk:Mathwriter2718|talk]]) 19:35, 25 July 2024 (UTC)
::One GA reviewer brought up the encyclopedia articles in the references and notes at [[Talk:Algebra/GA1#Referencing_and_other]], but they didn't seem to mind. To be specific, the policy that worries me is:
::: Articles may make an analytic, evaluative, interpretive, or synthetic claim ''only if'' it has been published by a reliable secondary source.
::Which is actually listed under [[WP:SECONDARY]]. It looks to me like most of the "analytic, evaluative, interpretive, or synthetic claim[s]" made in this article have citations to a non-encyclopedic source even if there is also an encyclopedic source, but there are a few exceptions, for example this sentence:
::: Mathematicians soon realized the relevance of group theory to other fields and applied it to disciplines like geometry and number theory.
::It shouldn't be super bad to fill in the gaps. [[User:Mathwriter2718|Mathwriter2718]] ([[User talk:Mathwriter2718|talk]]) 20:57, 25 July 2024 (UTC)
:::I added a secondary source for this claim in the history section. For articles on narrow topics, I would agree with you that it is often preferable to minimize the use of general encyclopedias because of the importance of getting specific details right. But I feel that the situation is different for articles on very general topics like this one, especially when there are good technical encyclopedias are available. For wide-scope articles, it's not so much about particular in-depth details but about getting the overview right. A while back, there was a similar discussion about the FA nomination of the article [[Logic]], see [[Wikipedia_talk:Featured_article_candidates/archive90#Usage_of_tertiary_sources_in_the_article_Logic]] and [[Wikipedia:Peer_review/Logic/archive3]]. 
:::Thanks for all the improvement ideas! [[User:Phlsph7|Phlsph7]] ([[User talk:Phlsph7|talk]]) 07:31, 28 July 2024 (UTC)
::::Thanks for all your work improving this article, and good luck again on getting this to FA status! [[User:Mathwriter2718|Mathwriter2718]] ([[User talk:Mathwriter2718|talk]]) 11:45, 28 July 2024 (UTC)