Talk:Commutator

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Mid-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:
Start Class
Mid Importance
 Field: Algebra

commutator in algebras[edit]

How does this correspond to the functional analysis commutator, such as that in the Uncertainty Principle defined by [A,B] = AB-BA

They are certainly connected: the common spirit is to give a "measure" of how much A and B (or whatever) do not commute. The final remark about commutators being defined also in structures different from groups should definitely be expanded. --Goochelaar

The connection is given by going to infinitesimal generators of Lie group elements. This is explained (rather alluded to....) in Lie algebra#Examples point 5 (currently *sic*). In some sense, consider e.g.

g = exp( x ) , h = exp( y )

then

g h = exp(x + y + 1/2[x,y] +...), thus g h g¯¹ h¯¹ = exp( [x,y] +...) (where ... are higher order terms).

It can also be formulated in terms of the derivative of the elements of a Lie group at the origin. MFH: Talk 21:09, 21 Jun 2005 (UTC)

commutator[edit]

It seems the element "g\-1 h\-1 gh" would be more clearly stated as "h\-1 g\-1 gh" Or am I missing something?

Ken Krechmer

The second expression you write is the identity always, since the middle two g's cancel. Thus it is trivial, and doesn't say anything about whehter g and h commute. -Lethe | Talk 01:05, Jun 15, 2005 (UTC)

other convention[edit]

Indeed the order must of course be g,h,g,h. However, the convention differ, and often [g,h] is rather defined as g h g¯¹ h¯¹ which I personally prefer, e.g. in view of the "other" ("algebra") commutator, [A,B]=A B - B A (so the "plain" part remains and what is "minus reverse order" in the latter becomes "times the inverses" in the former). — MFH: Talk 20:42, 21 Jun 2005 (UTC)


another property[edit]

Looking at the ring theory definition of commutator, the property AB = BA + [A,B] seems obvious in retrospect, but a usage (Griffiths, Quantum Mechanics) of that property had me scratching my head for a good ten minutes. *shrug* In case anyone else is scratching their head about it at any time. Popefelix 00:15, 14 December 2005 (UTC)

Matrices in bases[edit]

What does this statement mean?

In linear algebra, if two matrices commute in one basis they will commute in any basis.

It seems to be trying to mean that, if A and B are the matrices of two linear operators with respect to one basis, and A' and B' are the matrices of the same two operators (in the same order) with respect to another basis, then A and B commute if and only if A' and B' do. However, the statement as it stands is meaningless. JadeNB 21:18, 10 October 2006 (UTC)

Standard notation[edit]

The standard mathematical notation for commutator is \scriptstyle{ad(x)(y)=[x,y]}. As I see no reason to depart from the standard, I changed the relevant paragraph. AlainD 10:02, 25 January 2007 (UTC)

notation for ad(x)ad(x)(y)[edit]

I think it's misleading to use the notation "ad(x)^3(y) = [x,[x,[x,y]]]", since there are a lot of different algebras floating around. In particular, ad(x) is a derivation, which has both the usual algebra structure of composition, and a Lie algebra structure induced from the former. Of course y lives in a Lie algebra, where something like y^3 is not defined. I admit that ad(x) may be unambiguous mathematically, but I feel that in this context it's best to avoid confusion if possible. Tesseran 07:46, 28 June 2007 (UTC)

Brief section about the anticommutator[edit]

I suggest that we add a brief section or one-liner about the anticommutator: {A,B} := AB + BA since this notation is not mentioned in the anticommutativity article and comes up a lot (at least in physics). Cheers A13ean (talk) 22:50, 5 October 2008 (UTC)

Agreed (especially since anticommutator redirects here). I made a quick start, feel free to flesh it out a bit. --Strange but untrue (talk) 17:34, 10 November 2008 (UTC)

Reference needed for uncertainty principle[edit]

In the Ring theory section, mention is made of the connection between the commutator, the Heisenberg uncertainty principle and the Robertson-Schrödinger relation. This discussion is clearly from Liboff, I have a copy and I have located the subject matter in the text, but my copy is the 2nd edition, not the 4th edition listed in the References section of the article. Would someone who has access to the 4th edition please update the page number of the reference? — Anita5192 (talk) 05:13, 25 March 2012 (UTC)

Nevermind. I just looked up a copy in the library and fixed this myself. — Anita5192 (talk) 04:51, 27 July 2012 (UTC)