Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random | Template Test |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Talkback

Downloads

Information
non-commutative structure (Definition)
Definition 0.1   Let $(C,\circ)$ be a structure consisting of a class, $C$, together with a binary operation $\circ$ defined for pairs of objects in $C$ (or elements of $C$ when the latter is a small class, i.e., a set). The structure– and the operation $\circ$– are said to be noncommutative if
$\displaystyle a \circ b \neq b \circ a$ (0.1)

for either at least some or all of the $a,b$ pairs in $C$ for which the operation is defined.

A structure that is noncommutative is also called sometimes a non-Abelian structure, although the latter term is, in general, more often used to specify non-Abelian theories. A binary operation that is not commutative is said to be non-commutative (or noncommutative). Thus, a noncommutative structure can be alternatively defined as any structure whose binary operation is not commutative (that is, in the commutative case one has

$\displaystyle a \circ b = b \circ a$ (0.2)

for all $a,b$ pairs in $C$, and also that the operation $\circ$ is defined for all pairs in $C$).

An example of a commutative structure is the field of real numbers– with two commutative operations in this case– which are the addition and multiplication over the reals.

Remark 0.1   A commutative group is also called Abelian, whereas a category with structure that has commutative diagrams is not necessarily Abelian –unless it does satisfy the Ab1 to Ab6 axioms that define an Abelian category (or equivalently, if it has the properties specified in Mitchell's alternative definition of an Abelian category .)

An example of a non-commutative operation is the multiplication over $n \times n$ matrices. Another example of a noncommutative algebra is a general Clifford algebra, which is of fundamental importance in the algebraic theory of observable quantum operators and also in Quantum Algebraic Topology.



"non-commutative structure" is owned by bci1.

View style:

Also defines:  commutative structure, non-comutative structure
Keywords:  commutative structure, non-comutative structure, Clifford algebra, non-Abelian theories

Cross-references: Quantum Algebraic Topology, quantum operators, observable, algebraic, matrices, Abelian category, commutative diagrams, category, commutative group, field, non-commutative, non-Abelian, noncommutative, objects, operation

This is version 1 of non-commutative structure, born on 2009-03-22.
Object id is 608, canonical name is NonCommutativeStructure.
Accessed 714 times total.

Classification:
Physics Classification: 00. (GENERAL)
 02. (Mathematical methods in physics)
 03. (Quantum mechanics, field theories, and special relativity )
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:

No messages.

Testing some escape charachters for html category with a generator has an injective cogenerator" now escape ” with "