Encyclopaedia Britannica, 11th Edition, "Groups, Theory of" to "Gwyniad": Volume 12, Slice 6Various
Science
Encyclopaedia Britannica, 11th Edition, "Groups, Theory of" to "Gwyniad": Volume 12, Slice 6
Various
Encyclopedias and dictionaries
is an operation of the above form, the group is triply transitive.
Every subgroup of order two leaves one point unchanged, and all such
subgroups are conjugate. A cyclical subgroup leaves either two
distinct points or two coincident points unchanged. A subgroup which
either leaves two points unchanged or interchanges them is an example
of a "mixed" group.
The analysis of the general projective group must obviously increase
very rapidly in complexity, as the dimensions of the space to which it
applies increase. This analysis has been completely carried out for
the projective group of the plane, with the result of showing that
there are thirty distinct types of subgroup. Excluding the general
group itself, every one of these leaves either a point, a line, or a
conic section unaltered. For space of three dimensions Lie has also
carried out a similar investigation, but the results are extremely
complicated. One general result of great importance at which Lie
arrives in this connexion is that every projective group in space of
three dimensions, other than the general group, leaves either a point,
a curve, a surface or a linear complex unaltered.
Returning now to the case of a single variable, it can be shown that
any finite continuous group in one variable is either cyclical or of
order two or three, and that by a suitable transformation any such
group may be changed into a projective group.
The genesis of an infinite as distinguished from a finite continuous
group may be well illustrated by considering it in the case of a
single variable. The infinitesimal operations of the projective group
in one variable are d/dx, x(d/dx), x^2(d/dx). If these combined with
x^3(d/dx) be taken as infinitesimal operations from which to generate
a continuous group among the infinitesimal operations of the group,
there must occur the combinant of x^2(d/dx) and x^3(d/dx). This is
x^4(d/dx). The combinant of this and x^2(d/dx) is 2x^5(d/dx) and so
on. Hence x^_r(d/dx), where r is any positive integer, is an
infinitesimal operation of the group. The general infinitesimal
operation of the group is therefore [f](x)(d/dx), where [f](x) is an
arbitrary integral function of x.
Public-domain text, read in full here on John Shaqi.
Reviews
Reviews
No reviews yet
Be the first to share your thoughts on this work.
Join the Discussion
Join the discussion
Sign in to leave a comment or review.
Sign InorCreate an account