such that for all is the product (in ) .
We can verify from this that for all and that is the identity element of .
Note that the image of is an abelian subgroup of . However, the term one-parameter group or one-parameter subgroup is used for the mapping itself, not for the image of the mapping.
Typically, trivial homomorphisms are excluded from the definition of one-parameter group.
- Different one-parameter groups may have the same image, but differ in terms of the parametrizations. For instance, one of the one-parameter groups may be obtained composing a scalar multiplication with the other. In this case, the groups have the same image but are not the same as one-parameter groups.
- The homomorphism need not be injective. In general, assuming the image of the mapping is a T0 topological group, the mapping is either injective or trivial or its kernel is the set of integer multiples of some number. In the last case, the quotient group is (as an abstract group) isomorphic to the circle group.
- The quotient topology on the one-parameter group from the topology of may be strictly finer than the subspace topology from . This happens, for instance, for a line of irrational slope on a torus.