Spin–statistics theoremIn quantum mechanics, the spin–statistics theorem relates the intrinsic spin of a particle (angular momentum not due to the orbital motion) to the particle statistics it obeys. In units of the reduced Planck constant ħ, all particles that move in 3 dimensions have either integer spin or half-integer spin. In a quantum system, a physical state is described by a state vector. A pair of distinct state vectors are physically equivalent if they differ only by an overall phase factor, ignoring other interactions.
Abelian categoryIn mathematics, an abelian category is a in which morphisms and can be added and in which s and cokernels exist and have desirable properties. The motivating prototypical example of an abelian category is the , Ab. The theory originated in an effort to unify several cohomology theories by Alexander Grothendieck and independently in the slightly earlier work of David Buchsbaum. Abelian categories are very stable categories; for example they are and they satisfy the snake lemma.
Abelian groupIn mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.
Order and disorderIn physics, the terms order and disorder designate the presence or absence of some symmetry or correlation in a many-particle system. In condensed matter physics, systems typically are ordered at low temperatures; upon heating, they undergo one or several phase transitions into less ordered states. Examples for such an order-disorder transition are: the melting of ice: solid-liquid transition, loss of crystalline order; the demagnetization of iron by heating above the Curie temperature: ferromagnetic-paramagnetic transition, loss of magnetic order.
Exact sequenceAn exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an ) such that the of one morphism equals the kernel of the next. In the context of group theory, a sequence of groups and group homomorphisms is said to be exact at if . The sequence is called exact if it is exact at each for all , i.e., if the image of each homomorphism is equal to the kernel of the next. The sequence of groups and homomorphisms may be either finite or infinite.
Free abelian groupIn mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a subset such that every element of the group can be uniquely expressed as an integer combination of finitely many basis elements. For instance the two-dimensional integer lattice forms a free abelian group, with coordinatewise addition as its operation, and with the two points (1,0) and (0,1) as its basis.
Pre-abelian categoryIn mathematics, specifically in , a pre-abelian category is an that has all and . Spelled out in more detail, this means that a category C is pre-abelian if: C is , that is over the of abelian groups (equivalently, all hom-sets in C are abelian groups and composition of morphisms is bilinear); C has all finite (equivalently, all finite coproducts); note that because C is also preadditive, finite products are the same as finite coproducts, making them biproducts; given any morphism f: A → B in C, the equaliser of f and the zero morphism from A to B exists (this is by definition the kernel of f), as does the coequaliser (this is by definition the cokernel of f).
Central chargeIn theoretical physics, a central charge is an operator Z that commutes with all the other symmetry operators. The adjective "central" refers to the center of the symmetry group—the subgroup of elements that commute with all other elements of the original group—often embedded within a Lie algebra. In some cases, such as two-dimensional conformal field theory, a central charge may also commute with all of the other operators, including operators that are not symmetry generators.
Star clusterStar clusters are large groups of stars held together by self-gravitation. Two main types of star clusters can be distinguished: globular clusters are tight groups of ten thousand to millions of old stars which are gravitationally bound, while open clusters are more loosely clustered groups of stars, generally containing fewer than a few hundred members, and are often very young.
Torsion-free abelian groupIn mathematics, specifically in abstract algebra, a torsion-free abelian group is an abelian group which has no non-trivial torsion elements; that is, a group in which the group operation is commutative and the identity element is the only element with finite order. While finitely generated abelian groups are completely classified, not much is known about infinitely generated abelian groups, even in the torsion-free countable case. Abelian group An abelian group is said to be torsion-free if no element other than the identity is of finite order.
