Que tipo de entidade matemática é um comutador?

[eclipso3000]

Estava pensando...Que tipo de entidade matemática é um comutador?
http://pt.wikipedia.org/wiki/Comutador_(matem%C3%A1tica)

Por exemplo, um autovetor é um vetor, um autovalor é um escalar, um operador linear é uma função, etc...Mas não sei que tipo de entidade matemática é um comutador.

Alguém poderia me ajudar?

Obrigado

[Rui Carpentier]

Eu diria que um comutador é uma operação binária (como a soma ou produto) pois toma dois elementos da estrutura algébrica em questão (álgebra/grupo/anel) e devolve um elemento. Por exemplo, num anel [x,y]=xy-yx.