Search Results for ""

Let M(X) denote the group of all invertible maps X->X and let G be any group. A homomorphism theta:G->M(X) is called an action of G on X. Therefore, theta satisfies 1. For ...

A loose term for a true statement which may be a postulate, theorem, etc.

A group action G×X->X is called free if, for all x in X, gx=x implies g=I (i.e., only the identity element fixes any x). In other words, G×X->X is free if the map G×X->X×X ...

A group G is said to act on a set X when there is a map phi:G×X->X such that the following conditions hold for all elements x in X. 1. phi(e,x)=x where e is the identity ...

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 ...

A primitive group action is transitive and it has no nontrivial group blocks. A transitive group action that is not primitive is called imprimitive. A group that has a ...

A group action phi:G×X->X is called faithful if there are no group elements g (except the identity element) such that gx=x for all x in X. Equivalently, the map phi induces ...

A group action G×X->X is effective if there are no trivial actions. In particular, this means that there is no element of the group (besides the identity element) which does ...

A group action G×X->X is transitive if it possesses only a single group orbit, i.e., for every pair of elements x and y, there is a group element g such that gx=y. In this ...

An action with G=R^+.