Search Results for ""

A semigroup S is said to be an inverse semigroup if, for every a in S, there is a unique b (called the inverse of a) such that a=aba and b=bab. This is equivalent to the ...

A square matrix A is a special orthogonal matrix if AA^(T)=I, (1) where I is the identity matrix, and the determinant satisfies detA=1. (2) The first condition means that A ...

A square matrix U is a special unitary matrix if UU^*=I, (1) where I is the identity matrix and U^* is the conjugate transpose matrix, and the determinant is detU=1. (2) The ...

A term of endearment used by algebraic topologists when talking about their favorite power tools such as Abelian groups, bundles, homology groups, homotopy groups, K-theory, ...

A symbol used to represent the point and space groups (e.g., 2/m3^_). Some symbols have abbreviated form. The equivalence between Hermann-Mauguin symbols (a.k.a. ...

A theorem proved by É. Cartan in 1913 which classifies the irreducible representations of complex semisimple Lie algebras.

In the plane, there are 17 lattice groups, eight of which are pure translation. In R^3, there are 32 point groups and 230 space groups. In R^4, there are 4783 space lattice ...

Let X be a set of urelements that contains the set N of natural numbers, and let V(X) be a superstructure whose individuals are in X. Let V(^*X) be an enlargement of V(X), ...

A type of maximal Abelian subgroup.

There are at least three definitions of "groupoid" currently in use. The first type of groupoid is an algebraic structure on a set with a binary operator. The only ...