Search Results for ""

The convolution of two complex-valued functions on a group G is defined as (a*b)(g)=sum_(k in G)a(k)b(k^(-1)g) where the support (set which is not zero) of each function is ...

A discrete group is a topological group with the discrete topology. Often in practice, discrete groups arise as discrete subgroups of continuous Lie groups acting on a ...

Given a knot diagram, it is possible to construct a collection of variables and equations, and given such a collection, a group naturally arises that is known as the group of ...

An additive group is a group where the operation is called addition and is denoted +. In an additive group, the identity element is called zero, and the inverse of the ...

The general unitary group GU_n(q) is the subgroup of all elements of the general linear group GL(q^2) that fix a given nonsingular Hermitian form. This is equivalent, in the ...

A group action of a topological group G on a topological space X is said to be a proper group action if the mapping G×X->X×X(g,x)|->(gx,x) is a proper map, i.e., inverses of ...

The pair group of a group G is the group that acts on the 2-subsets of {1,...,p} whose permutations are induced by G. Pair groups can be calculated using PairGroup[g] in the ...

The projective symplectic group PSp_n(q) is the group obtained from the symplectic group Sp_n(q) on factoring by the scalar matrices contained in that group. PSp_(2m)(q) is ...

The McLaughlin group is the sporadic group McL of order |McL| = 898128000 (1) = 2^7·3^6·5^3·7·11. (2) It is implemented in the Wolfram Language as McLaughlinGroupMcL[].

A nilpotent Lie group is a Lie group G which is connected and whose Lie algebra is a nilpotent Lie algebra g. That is, its Lie algebra lower central series ...