Talk:Commutative property

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Good article Commutative property has been listed as one of the Mathematics good articles under the good article criteria. If you can improve it further, please do so. If it no longer meets these criteria, you can reassess it.
Article milestones
Date Process Result
August 9, 2007 Good article nominee Listed
August 23, 2007 Good article reassessment Kept
Current status: Good article
WikiProject Mathematics (Rated GA-class, Top-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
GA Class
Top Importance
 Field: Basics (historical)

Article title[edit]

It's called commutivity, not commutativity, I'm pretty sure. — Preceding unsigned comment added by Phys (talkcontribs) 23:56, 11 August 2003 (UTC)

I came here wondering about which is correct. This very article uses both commutivity and commutativity, which I think is...bad. If you do a Google search with one of the words you'll see that "commutativity" is WAAAAY preferred over "commutivity." But I must say, I've only heard people speak "commutivity" with an emphasis on the first syllable. "Commutativity" would make more sense with the "-ity" being a suffix on "commutative" and I suspect it is the correct version. Now I'm going to start listening closely whenever I have a conversation with somebody about binary operators.... 205.175.97.219 (talk) 08:08, 10 January 2014 (UTC)
The article now has commutativity 11 times and commutivity only once. As you say, Google also greatly prefers commutativity, so I think Wikipedia should consider that the correct term. I will delete the one reference to commutivity as an alternate term. Dirac66 (talk) 01:35, 11 January 2014 (UTC)

Old requested move, December 2005[edit]

The following discussion is closed. Please do not modify it. Subsequent comments should be made in a new section.

Commutative operation -> Commutativity

The article is talking about the meaning of commutative rather than the operation

Voting
Add *Support or *Oppose followed by an optional one sentence explanation, then sign your vote with ~~~~
  • Oppose The page should probably instead be moved to Commutation or Commutation (mathematics), since that is the noun form of this word, and the word used for the logic replacement rule of this nature.—jiy (talk) 19:34, 10 December 2005 (UTC)
Discussion
Add any additional comments
Result

It was requested that this article be renamed but there was no consensus for it to be moved. WhiteNight T | @ | C 03:38, 28 December 2005 (UTC)


The above discussion is closed. Please do not modify it. Subsequent comments should be made in a new section.


Note[edit]

This probably needs to be clarified; especially if we are going to use the language of category theory elsewhere. Septentrionalis 01:55, 6 May 2006 (UTC)

"Noncommutative"[edit]

  • "So, subtraction is commutative if and only if x = y and noncommutative for any other pair of real numbers."

Who actually uses that language? Anyone? Melchoir 14:59, 2 June 2006 (UTC)

I say we just x that line.--Emplynx 15:41, 5 June 2006 (UTC)

A more accurate formulation would be The pair (x,y) commutes (or: x commutes with y) with respect to the operator subtraction, if and only if  x \neq y . Since this does not hold for all pairs (x,y), the operation is not commutative. This is somewhat lengthy, but perhaps worth it. The point is that the whole operation as one unit is either commutative or non-commutative. JoergenB 11:58, 27 August 2006 (UTC)


Operator definition[edit]

I think that a reference to the difference between function and infix notation for operators might be of use for the non-professionals. I also think restoring a multiplication sign might help. In my experience, fresh students often find some difficulty in relating the two statements f(y,z) = f(z,y) and yz = zy.

However, I noted that binary operations (as distinguished from operators???) are defined in a more restricted manner in these pages, as operators on one set. While a commutative operator indeed must be defined on a 'Cartesian square' rather than on an arbitrary Cartesian product, its result may reside in a different set. After all, an ordinary scalar product (aka 'dot product') on a vector space is ordinarily called a commutative operation. The discussion of `infix' versus `prefix' notation I only found in the `operator' items. JoergenB 12:34, 27 August 2006 (UTC)

Binary operation briefly addresses notation; perhaps too late? It sounds like you have some good ideas for the article. By all means, please take a shot at implementing them! Melchoir 16:33, 27 August 2006 (UTC)

Indeed, it does discuss notation; thanks for pointing it out. I'll wait with editing, until I have a better grip on the conflicting binary operation definitions issue. If indeed the range always should be a factor of the domain, for 'binary operations', then several items should be rewritten or removed (e.g., dot_product). JoergenB 01:06, 28 August 2006 (UTC)

The following discussion is an archived debate of the proposal. Please do not modify it. Subsequent comments should be made in a new section on the talk page. No further edits should be made to this section.

The result of the debate was Page moved for consistency, per discussion below. -GTBacchus(talk) 21:47, 16 September 2006 (UTC)

Requested move, 2006[edit]

Commutative operationCommutativity – Follow Anticommutativity, Associativity, Power associativity, Distributivity, and Alternativity. Melchoir 16:15, 7 September 2006 (UTC)

Survey[edit]

Add "* Support" or "* Oppose" followed by an optional one-sentence explanation, then sign your opinion with ~~~~

  • Support (provided a link from the old name is retained). Melchoir's consistency argument seems reasonable.JoergenB 14:39, 12 September 2006 (UTC)

Discussion[edit]

Add any additional comments

The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made in a new section on this talk page. No further edits should be made to this section.

what about the derivation[edit]

this article (and the associativity article) should have some context describing how the concept is (was) derived. Is it subject to proof? Is it axiomatic? drefty.mac 20:32, 26 October 2006 (UTC)

Simple example[edit]

I added a simple example via the "+" operator at the beginning of the page because I think that, for "standard" readers this clarifies commutativity a lot in a sinlge line (see Associativity for comparison).

new introduction[edit]

I added a whole new introduction. Please check if it is ok. ssepp(talk) 18:25, 31 May 2007 (UTC)

July 2007 Rewrite[edit]

I clarified the introduction a bit and removed the example, it cluttered the lead. I removed all math from the lead to make it more accessible since this article is in the basics section of math. I switched the article to use the binary operation notation everywhere, and added the binary function notation in a generalizations section. I plan to go back through later and add references. -Weston.pace 18:12, 12 July 2007 (UTC)

Does anyone know if multivariate functions are commutative if the order of their parameters doesn't matter? -Weston.pace 20:42, 12 July 2007 (UTC)

GA Review[edit]

Well-written, easy to understand article. Short and to the point. I wish other mathematics articles were this easy to understand! ;-)

There are a few minor issues which need to be addressed before granting GA status. The 'common uses' section could overall be expanded a bit. For one, it mentions that, "the commutativity of well known operations (such as addition and multiplication on real and complex numbers) is often used (or implicitly assumed) in proofs." But there are no references of this, and no examples or wikilinks to proofs to illustrate this. As it stands right now, this is mainly just hearsay -- "Yeah, this is used in all sorts of math proofs,... yadayadayada!" Please provide some actual examples, and possibly a reference or two.

Under 'Examples: Commutative operations in math', it would help if the multiplication example of 2x3 = 3x2 matched up with the graphical example, which is 3x5 = 5x3.

The references to websites (links) need to have dates of retrieval added to them (e.g. when was the URL last accessed/checked? "Retrieved on August 3, 2007"). It would also be helpful if author and publisher (who the website belongs to) information was added to website links as well.

Other than that, this article looks great! Dr. Cash 20:43, 3 August 2007 (UTC)

GA status reviewed[edit]

This article has been reviewed as part of Wikipedia:WikiProject Good articles/Project quality task force. I believe the article currently meets the criteria and should remain listed as a Good article. The article history has been updated to reflect this review. (oldid reference #:152489007) OhanaUnitedTalk page 02:32, 24 August 2007 (UTC)

Poor Image[edit]

Commutative Multiplication.svg

This colourful image is used to illustrate the commutivity of multiplication: . The image may illustrate the point for the specific example of 5x3 = 3x5, but it is not persuasive in the general case that AxB = BxA. I think a two-dimensional array of objects (arranged in a grid) would be more appropriate:

                * * *
* * * * *       * * *
* * * * *   =   * * *
* * * * *       * * *
                * * *

This ASCII illustration is more persuasive that M rows containing N objects yields the same total as N columns containing M objects.

Is there someone with the necessay skills willing to create such an illustration? reetep 13:01, 30 October 2007 (UTC)

I'm getting rid of the picture of the grapes because it's just plain confusing. Three does not equal five. Dithridge (talk) 22:01, 23 October 2008 (UTC)

Well I reverted it; sorry. I think the image is good and useful: the rectangle of stars is not better, just different. The grapes image shows clearly that commutativity of multiplication is far from obvious in real-life situations. Robinh 07:10, 24 October 2008 (UTC)
The graph picture is totally unobvious. I just now realized that the left set had 5 grapes each and the right set had 3 grapes each. If a picture is going to illustrate an idea it should be obvious from the first moment your eyes see it. Mikemill (talk) 16:35, 4 November 2008 (UTC)
I agree that the grape picture takes a second to realize what's going on. But I think it's great for multiplication because it isn't inherently obvious that multiplication is commutative. In the grape example, as in many applications of multiplication, one operand represents a quantity with units (5 grapes) and the other operand represents a unitless scalar (3). It is not especially intuitive that 3 * (5 grapes) is equal to 5 * (3 grapes) and I think the picture illustrates this well. 205.175.97.219 (talk) 08:12, 10 January 2014 (UTC)

combination[edit]

wouldn't it be good to make fact that commutativity is just a kind of combination more visible? could chain some further lookuping by peoples 84.16.123.194 (talk) 05:17, 2 April 2008 (UTC) {tshepo nobela ul} —Preceding unsigned comment added by 196.21.218.142 (talk) 00:13, 2 November 2008 (UTC)

relation of commutativity and associativity[edit]

I've restored the sentence

The associative property is closely related to the commutative property.

This was recently removed with "meaningless" as the edit summary. To the contrary, the associative identity (ab)•c = a•(bc) for fixed a and c and arbitrary b is equivalent to the commutative identity (a•—)∘(—•c) = (—•c)∘(a•—). I found a reference for this in the paper

I'd like to check whether additional references are available. In particular, is anyone aware of an earlier reference for the claim that associativity is a kind of commutativity (and not just that associativity can be defined by a commutative diagram)? Michael Slone (talk) 01:12, 17 April 2009 (UTC)

Linear Algebra / Physics[edit]

This article could do with an explanation or brief discussion, or even a link to such, of non-commuting linear operators as used in quantum mechanics. There is a link to particle statistics, labelled as a link to a discussion of commutativity in physics, but that page does not in fact discuss commutativity at all. Nathaniel Virgo (talk) 11:30, 24 June 2010 (UTC)

I have now added a new section on commutativity and the uncertainty principle in quantum mechanics, along with a link to the main article on the Heisenberg uncertainty principle for further explanations. Dirac66 (talk) 01:20, 9 July 2010 (UTC)

Concatenation example confusing[edit]

Am I the only one who does not understand the diagram purporting to show that concatenation is non-commutative? (in the section "Noncommutative operations in everyday life")? What is the meaning of EA + ≠ + TTEA followed by ( ) ≠ ( ) EATTEA ??

A simpler and clearer example might be EA + TT = EATT ≠ TTEA = TT + EA. Dirac66 (talk) 02:42, 10 July 2010 (UTC)

Yes, despite my best efforts I cannot understand it either, your example is clearer. —Preceding unsigned comment added by 80.169.145.30 (talk) 09:35, 12 August 2010 (UTC)
Thanks for the support. I have now changed the article to use the simpler example, although with one T because EAT and TEA are English words. I can't do a nice multicolour graphic like the previous one, but clearly it is more important to be understandable and mathematically correct. Dirac66 (talk) 02:25, 13 August 2010 (UTC)

Symmetry of addition.svg[edit]

In the Related Concepts section. I think the image used to show the symmetry of addition isn't really clear to someone who doesn't know what they're looking for. I think explicitly drawing the y=x line and pointing out that squares opposite each other from the line are the same shade would help clarify things in this way. 71.208.180.110 (talk) 19:41, 11 November 2010 (UTC)

Move again.[edit]

New page title should be Commutative property. I object to the 2006 move on similar grounds to the objection voiced at #Old requested move, December 2005. Commutativity is not a word, at least not one commonly used by reliable sources in the mathematics community. I will suggest moving all the other -ivity words to their correct locations also. Cliff (talk) 21:28, 1 April 2011 (UTC)

Attempted move since no discussion for over a month, however was unable to perform the move because page currently exists as redirect here. Requesting administrator assistance below. Cliff (talk) 23:11, 5 May 2011 (UTC)

Requested move 2011[edit]

The following discussion is an archived discussion of a requested move. Please do not modify it. Subsequent comments should be made in a new section on the talk page. No further edits should be made to this section.

The result of the move request was: page moved. Vegaswikian (talk) 16:30, 12 May 2011 (UTC)



CommutativityCommutative property – New page title should be Commutative property. I object to the 2006 move on similar grounds to the objection voiced at #Old requested move, December 2005. Commutativity is not a word, at least not one commonly used by reliable sources in the mathematics community. Cliff (talk) 23:11, 5 May 2011 (UTC)

Support: Commutative is a more common word than commutativity, so Commutative property is likely a more likely term for readers to search. Commutativity exists but is less common. I count 50 uses of commutative in this article, and only 5 of commutativity. A Google search gives 1590 K hits for commutative and only 390 K for commutativity. Dirac66 (talk) 11:46, 6 May 2011 (UTC)

P.S. Another possibility is Commutative operation. Dirac66 (talk) 12:24, 6 May 2011 (UTC)
I'd even accept Commutative rule as it is described in some textbooks, but these -ivity words are a blight. Cliff (talk) 18:12, 6 May 2011 (UTC)
The above discussion is preserved as an archive of a requested move. Please do not modify it. Subsequent comments should be made in a new section on this talk page. No further edits should be made to this section.

Duh[edit]

Of course commutativity is a word and it's even a noun http://www.merriam-webster.com/dictionary/commutativity. As for the extremely dubious claim that "commutativity" as a word is not used by mathematicians try searching for it in Google Books. This article is written by the clueless, (GA) reviewed by the clueless and maintained by the even more clueless... Which is the essence of Wikipedia. JMP EAX (talk) 01:01, 26 August 2014 (UTC)

In fact if I search for "commutative property" in GB I find mostly texts aimed at high school and below, at least on the 1st page of hits. Contrast with the same search for commutativity. So the argument(s) really are "difficult word for American kids". JMP EAX (talk) 03:45, 26 August 2014 (UTC)

There is no excuse for using a more difficult word in a general encyclopaedia when a more easily understood one is available. We are not writing papers for peer reviewed journals here and there should be no assumption of background knowledge. If you have such a low opinion of Wikipedia what on earth are you doing here? If you think everyone who writes for Wikipedia is clueless, what does that say about you? But in any case there are, in fact, several notable mathematicians writing articles on Wikipedia. SpinningSpark 14:59, 5 November 2014 (UTC)

Noncommutative operations in mathematics[edit]

In this section we have;

  • Some truth functions are noncommutative, since the truth tables for the functions are different when one changes the order of the operands.
For example, Bpq = Cqp; Cpq = Bqp; Fpq = Gqp; Gpq = Fqp; Hpq = Iqp; Ipq = Hqp; Lpq = Mqp; Mpq = Lqp.

It may be that I am just not familiar with the notation being used here, but it seems pretty meaningless to me. I especially don't understand why it is necessary to repeat the same thing over and over with different letters. In the end, there is no statement or proof that Bpq != Bqp so I fail to see how this necessariy amounts to noncommutative. Why not simply give an example of a truth table that does not commute such as,

A B f (A,B)
0 0 0
0 1 0
1 0 1
0 0 0

SpinningSpark 15:25, 5 November 2014 (UTC)

Since there was no response, I have made the change. SpinningSpark 18:56, 30 November 2014 (UTC)
I notice that the Bpq, Cpq, etc. notation refers to the list of functions at Table of binary truth functions. However I suspects most non-specialists do not know this notation, so your version is clearly preferable.
We could also note that your truth tables are equivalent to the functions (A AND NOT B) and (B AND NOT A). (Write in proper notation if you wish; I haven't figured out yet how to parse these expressions.) Dirac66 (talk) 01:49, 2 December 2014 (UTC)
Ah, thanks for the link. But even after I now understand the notation, I still maintain that the statement does not demonstrate non-commutativity. The statement Bpq = Cqp; Cpq = Bqp does not exclude commutativity since Bpq = Bqp is still a possible solution. The whole thing relies on the reader already knowing that Bpq does not commute, in which case the author may as well have stopped writing after "Some truth functions are noncommutative". At the very least some explanation or link for the notation should have been provided. I suspect that even a lot of specialists have not come across this notation, I spent years on this stuff as an undegraduate EE and never saw it. I'll put your suggestion in the article, along with the link. SpinningSpark 10:01, 7 January 2015 (UTC)