Galilean Symmetry Group and the Ten Integrals of Motion
Anchor (Master): Goldstein-Poole-Safko, Classical Mechanics 3e, Ch. 2; Arnold, Mathematical Methods of Classical Mechanics, 2nd ed. (1989), 18-20; Bargmann (1954)
Intuition Beginner
Watch a game of pool from the side of the table. Now walk to the other side and watch the same game. The physics is identical -- the balls collide the same way, follow the same rules, conserve the same quantities -- even though your viewpoint has shifted. This is the simplest instance of Galilean relativity: the laws of mechanics are the same in every inertial frame.
Now imagine a much bigger shift. Get in a train moving at constant velocity and play pool on the train. The game looks exactly the same as it did on the ground. The train is an inertial frame, and no mechanical experiment performed inside it can tell you whether the train is moving or standing still. Galileo articulated this principle in 1632 using the example of a ship: "Shut yourself up with some friend in the main cabin below decks... have the ship proceed with any speed you like, so long as the motion is uniform... you will not be able to tell whether the ship is moving or standing still."
The principle of Galilean relativity says that the laws of physics are the same in all inertial frames. An isolated mechanical system -- one with no external forces -- has ten fundamental symmetries, and each symmetry produces a conserved quantity through Noether's theorem. These ten conserved quantities are the ten integrals of motion:
- Energy (1 quantity): the system looks the same at all times -- time-translation symmetry.
- Linear momentum (3 quantities): the system looks the same from every position -- spatial-translation symmetry in three independent directions.
- Angular momentum (3 quantities): the system looks the same from every angle -- rotational symmetry about three independent axes.
- Center-of-mass motion (3 quantities): the system looks the same in every inertial frame -- Galilean boost symmetry in three independent directions.
The count is . Every isolated Newtonian system has exactly these ten conserved quantities. They are the "integrals of motion" in the sense that they are constants along every valid trajectory -- they integrate to the same value at all times. No other conserved quantities exist for generic isolated systems; the ten integrals are complete.
The deep point is that the symmetries of space and time are the conservation laws. If space is the same everywhere (no preferred origin), momentum is conserved. If space is the same in every direction (no preferred axis), angular momentum is conserved. If time is the same at every moment (no preferred instant), energy is conserved. If physics is the same in every inertial frame (no preferred velocity), the center of mass moves at constant velocity. These are not independent assumptions -- they all follow from a single structure: the Galilean group, the group of all transformations that preserve the form of Newton's laws [source pending].
Visual Beginner
Figure: The ten Galilean symmetries and their conserved quantities. A central circle labelled "Isolated System" radiates ten spokes. Four groups: (1) One spoke labelled "Time Translation" connects to "Energy E"; (2) Three spokes labelled "x-Translation, y-Translation, z-Translation" connect to "Momentum p_x, p_y, p_z"; (3) Three spokes labelled "x-Rotation, y-Rotation, z-Rotation" connect to "Angular Momentum L_x, L_y, L_z"; (4) Three spokes labelled "x-Boost, y-Boost, z-Boost" connect to "Center-of-Mass Motion: K_x, K_y, K_z". A subtitle reads "10 symmetries = 10 conserved quantities".
Figure: Galilean boost of a two-body collision. Two panels. Left panel: In frame S, two particles approach each other along the x-axis, collide at the origin, and rebound. Velocity vectors shown for each particle before and after collision. Right panel: In frame S' moving at velocity v along the x-axis, the same collision is observed. Each velocity vector has been shifted by -v. The collision still conserves total momentum and total kinetic energy. A label reads "Physics is identical in both frames -- Galilean relativity".
Worked example Beginner
A single free particle of mass moves with constant velocity . Its position at time is .
Energy. The kinetic energy is , constant for all time. This is the conserved quantity from time-translation symmetry: the system does not change if you shift the origin of time.
Linear momentum. , constant for all time. This is the conserved quantity from spatial-translation symmetry: the system does not change if you shift the origin of space.
Angular momentum. . The second term vanishes because . So is constant. This is the conserved quantity from rotational symmetry [source pending].
Center-of-mass motion. Define , constant. This is the conserved quantity from boost symmetry: the system does not change if you change to a new inertial frame.
For a single free particle, all four conserved quantities are all constant as a direct consequence of the free-particle equations. For a multi-particle system, they become powerful: the total energy, total momentum, total angular momentum, and center-of-mass motion of an isolated system never change, regardless of how complicated the internal interactions are.
Check your understanding Beginner
Formal definition Intermediate+
The Galilean group
The Galilean group is the group of transformations of Galilean spacetime that preserve the form of Newton's equations. An element acts on a spacetime event as:
where is a time translation, is a spatial translation, is a rotation, and is a Galilean boost (change of inertial frame). The group has dimension [source pending].
The composition law for two elements and is:
The non-abelian structure comes from the rotation subgroup and from the semi-direct product between boosts and translations: the order of translation followed by boost differs from boost followed by translation.
The ten integrals of motion
For a system of particles with masses at positions , interacting through a translation-invariant, rotation-invariant, time-independent internal potential , the ten conserved quantities are [source pending]:
Energy (from time-translation symmetry):
Linear momentum (from spatial-translation symmetry, 3 components):
Angular momentum (from rotational symmetry, 3 components):
Center-of-mass integral (from boost symmetry, 3 components):
where is the total mass and is the center-of-mass position.
The constancy of says that the center of mass moves at constant velocity: , regardless of the internal dynamics. This is the content of Newton's third law for an isolated system.
Galilean Lie algebra
The generators of the Galilean group satisfy the following commutation relations (Lie algebra), written using Poisson brackets on phase space [source pending]:
Here is the total mass of the system, is the Hamiltonian (generator of time translations), are the momentum components, are the angular momentum components, and are the boost generators.
Key features of this algebra:
- The momentum is the Noether charge of spatial translations; it commutes with (energy is conserved).
- The angular momentum generates rotations; it rotates both and as vectors.
- The boost generators do not commute with : . This reflects the fact that boosts change velocities (and hence kinetic energy), but the change is compensated by the shift in the reference frame.
- The boosts have a non-zero bracket with translations: . The total mass appears as a central element -- it commutes with everything.
The appearance of in the algebra is the signal that the Galilean group admits a central extension: the mass is a central charge. This has profound consequences in quantum mechanics, where it leads to a superselection rule for mass [source pending].
Key derivation Intermediate+
Noether derivation for spatial translations
Theorem. If the Lagrangian is invariant under the infinitesimal translation (for each independently), then the total linear momentum is conserved.
Proof. Under the infinitesimal transformation , the Lagrangian changes by . Invariance requires , hence . By the Euler-Lagrange equations, . Summing over : . Since , this gives .
Noether derivation for rotations
Theorem. If is invariant under infinitesimal rotations about axis , then the component of total angular momentum is conserved.
Proof. An infinitesimal rotation about the -axis sends and . The change in is . Invariance requires . Using and the Euler-Lagrange equations: , so is constant. The same argument works for the other two axes.
Noether derivation for Galilean boosts
Theorem. If the Lagrangian of an isolated N-particle system is invariant under Galilean boosts up to a total time derivative, then the quantity is conserved.
Proof. An infinitesimal Galilean boost along sends and (velocities shift by a constant). For the standard Lagrangian :
The change is . This is a total time derivative, so by the extended Noether theorem, the quantity
is conserved. The Noether charge is .
The key difference from translations and rotations is that boosts change by a total time derivative, not by zero. This is a quasi-symmetry: the action changes by a boundary term, which is sufficient for Noether's theorem to apply. The requirement that depends only on relative positions (not on absolute positions) is essential [source pending].
Poisson bracket realization
The ten conserved quantities are functions on the -dimensional phase space. Their Poisson brackets close to form the Galilean Lie algebra:
where is the total mass. The map from Galilean group generators to phase-space functions is a Lie algebra homomorphism (it preserves the bracket structure). This is the Poisson-bracket realization of the Galilean algebra [source pending].
Bridge. The Galilean group organizes the symmetries of Newtonian spacetime into a single algebraic structure; the foundational reason is that the homogeneity and isotropy of space and time, together with the equivalence of inertial frames, generate a 10-dimensional Lie group. The central insight is that the ten conserved quantities are not independent facts but are unified as the coadjoint orbit of the Galilean group acting on phase space. The Poisson bracket algebra of the integrals mirrors the group composition law. The generalisation to non-inertial frames and constrained systems appears in the Hamiltonian formalism via canonical transformations, and putting these together, the Galilean group provides the complete symmetry classification for isolated Newtonian systems.
Exercises Intermediate+
Lean formalization Intermediate+
The formalisation of the Galilean group and the ten integrals requires: (1) the Galilean group as a 10-dimensional Lie group with its matrix representation and composition law; (2) the Galilean Lie algebra with generators , , , and the bracket relations; (3) the Poisson-bracket realisation on mapping Lie algebra generators to phase-space functions; (4) the ten integrals of motion as Noether charges and the proof that their Poisson brackets reproduce the Lie algebra; (5) the Bargmann central extension. Items (1)-(2) can be built on Mathlib's Lie group infrastructure. Items (3)-(4) require the momentum map (co-moment map) from the Lie algebra to smooth functions on the symplectic manifold. Item (5) requires the theory of central extensions of Lie algebras.
Advanced results Master
Galilean group vs Lorentz group
The Galilean group is the limit (or, more precisely, the limit) of the Poincare group, the symmetry group of special relativity. Both groups share the subgroups of rotations and spatial translations , but they differ in how boosts act:
- Galilean boosts: , . Velocities add: .
- Lorentz boosts: with , . Velocities add relativistically: .
The Galilean group has 10 parameters; the Poincare group also has 10 parameters (time translation, 3 spatial translations, 3 rotations, 3 Lorentz boosts). The number of conserved quantities is the same, but their structure differs [source pending]:
| Conserved quantity | Galilean group | Poincare group |
|---|---|---|
| Time translation | Energy | Energy |
| Spatial translations | Momentum | Momentum |
| Rotations | Angular momentum | Angular momentum |
| Boosts | Center-of-mass | Center-of-energy |
In the Galilean limit : , , and the Poincare center-of-energy integral becomes , recovering the Galilean center-of-mass integral.
The key structural difference is in the Lie algebra. For the Poincare group, and . In the limit , the second bracket becomes -- but this is wrong for the Galilean algebra, where . The mass appears as a remnant of the relativistic energy term . This signals that the Galilean group is not simply the Poincare group with ; it is a contraction of the Poincare group (Inonu-Wigner contraction, 1953), and the contraction procedure generates the central extension.
Bargmann central extension
The Galilean group as defined above has the property that , where is a central element (it commutes with all generators). This means the algebra of observables is not the Galilean Lie algebra itself but a central extension of by a one-dimensional center spanned by . This extended algebra is called the Bargmann algebra [source pending].
The Bargmann algebra is an 11-dimensional Lie algebra with generators and the additional relation (M commutes with everything). The bracket is the only place where appears in a non-vanishing bracket..
In classical mechanics, the central extension is a curiosity: you can always work with or quotient out and work with . In quantum mechanics, the situation is fundamentally different. The representation theory of the Galilean group requires projective representations (representations up to a phase), and the projective representations of are in one-to-one correspondence with the ordinary representations of the centrally extended group (the Bargmann group). The mass labels the irreducible projective representations and gives rise to the mass superselection rule: you cannot form coherent superpositions of states with different total mass [source pending].
This is one of the deepest connections between classical and quantum mechanics. The Bargmann central extension, which is an algebraic curiosity in the classical theory, becomes a physical necessity in the quantum theory. It is the reason that mass is a fundamental parameter in non-relativistic quantum mechanics and cannot be changed by any Galilean-invariant operation.
Projective representations
A projective representation of a group on a vector space is a map satisfying , where is a phase factor. For the Galilean group, the phase factor is , where is the total mass and is a 2-cocycle determined by the group composition law.
Bargmann (1954) proved that every continuous projective representation of the Galilean group arises from an ordinary representation of the central extension . The 2-cocycle measures the failure of the representation to be genuine; it is classified by the second cohomology group , and the real parameter labelling the cohomology class is the mass .
The contrast with the Poincare group is sharp. The Poincare group has : all projective representations are genuine representations (can have the phase absorbed). There is no mass superselection rule in relativistic quantum mechanics -- mass is a Casimir operator of the Poincare algebra, not a central charge. This difference is a direct consequence of the Inonu-Wigner contraction: the central charge of the Galilean algebra descends from the term in the Poincare algebra [source pending].
Historical development
Galileo introduced the principle of relativity in 1632 in his Dialogue, using the ship analogy to argue that no mechanical experiment can detect uniform motion. Newton's Principia (1687) formalized this principle in the laws of motion and the Galilean transformation of coordinates between inertial frames.
The systematic study of the Galilean group and its Lie algebra waited until the development of Lie group theory in the late 19th century. Sophus Lie's program (1880s-1890s) provided the general framework for continuous groups, and the Galilean group became a standard example. However, the specific Lie-algebraic structure of the Galilean group -- the bracket -- was not emphasized in the classical mechanics literature until the 20th century.
Eugene Wigner, in his 1939 paper "On Unitary Representations of the Inhomogeneous Lorentz Group," classified the representations of the Poincare group and showed that mass and spin label the irreducible representations. The analogous classification for the Galilean group was carried out by several authors in the 1950s, culminating in Bargmann's 1954 paper "On Unitary Ray Representations of Continuous Groups" (Annals of Mathematics 59, 1-46), which established the central extension and showed that mass is the parameter labelling the projective representations. Bargmann showed that the Galilean group has one substantive central extension, classified by a single real number (the mass), and that this extension is essential for the quantum-mechanical representation theory.
The Inonu-Wigner contraction (1953) clarified the relationship between the Galilean and Poincare groups: the Galilean group is obtained from the Poincare group in the limit , and the central extension of the Galilean algebra arises from the contraction of the Poincare algebra. This provides a systematic derivation of the mass central charge from relativistic physics.
Synthesis. The Galilean group is the foundational reason that all isolated Newtonian systems share the same ten conserved quantities; the central insight is that the symmetries of Galilean spacetime (homogeneity and isotropy of space, homogeneity of time, equivalence of inertial frames) form a 10-dimensional Lie group whose Noether charges are energy, momentum, angular momentum, and center-of-mass motion. This is exactly the content of the Galilean Lie algebra and its Poisson-bracket realization. The consequences extend beyond classical mechanics: the Bargmann central extension makes mass a central charge that governs the projective representations of the Galilean group in quantum mechanics, and the Inonu-Wigner contraction connects the Galilean algebra to the Poincare algebra of special relativity. Putting these together, the ten integrals of motion are not ten independent facts but a single algebraic structure -- the coadjoint orbit of the Galilean group -- that constrains the dynamics of every isolated Newtonian system.
Connections Master
09.02.01The action principle provides the variational framework in which Galilean symmetries are detected (invariance of the Lagrangian); this unit derives the ten conserved quantities as the Noether charges of the 10-dimensional Galilean group acting on the action.09.03.01Noether's theorem provides the general machinery connecting symmetries to conservation laws; this unit applies it systematically to all ten Galilean symmetries, including the boost quasi-symmetry that changes by a total derivative.09.03.04The discrete symmetries of parity and time reversal are not part of the continuous Galilean group but constrain the form of the allowed interactions; combining the ten continuous integrals with discrete symmetry constraints gives the full classification of conserved quantities in Newtonian mechanics.09.04.02Hamilton's equations provide the symplectic framework in which the Galilean generators are realized as functions on phase space; the Poisson bracket algebra of the ten integrals is the Hamiltonian avatar of the Galilean Lie algebra.09.04.03Poisson brackets are the algebraic tool used to verify that the ten integrals close to form the Galilean Lie algebra; the bracket relations among , , , are the defining data of the algebra.12.03.01Quantum mechanics inherits the Galilean symmetry group but requires projective representations; the Bargmann central extension, which appears as a classical algebraic curiosity, becomes a physical necessity in quantum mechanics through the mass superselection rule.
Historical and philosophical context Master
Galileo's Dialogue Concerning the Two Chief World Systems (1632) contains the earliest clear statement of the relativity principle. The famous ship passage (Day Two) argues that observations made inside a smoothly sailing ship cannot determine its speed. This was a direct challenge to the Aristotelian worldview, which held that motion required a cause and could be detected. Galileo's insight was that uniform motion is indistinguishable from rest -- not merely as a practical matter but as a fundamental principle of nature.
Newton incorporated the Galilean relativity principle into his laws of motion (1687). The first law (inertia) states that a body moves at constant velocity unless acted upon by a force; this is the statement that the rest frame of a free particle is an inertial frame. The second and third laws, taken together, imply that the equations of motion are invariant under Galilean transformations. Newton himself noted this invariance in the Scholium to the Principia, though he did not develop its algebraic structure.
The algebraic study of the Galilean group began with the development of Lie theory in the 1880s. Sophus Lie's program of classifying continuous transformation groups provided the natural language for the Galilean group, but the application to physics was not systematic until the 20th century. The key figure was Eugene Wigner, who in 1939 classified the irreducible unitary representations of the Poincare group and showed that mass and spin label the elementary particles. Wigner's approach demonstrated that the symmetry group of spacetime determines the possible types of particles through its representation theory.
Valya Bargmann, a student of Wigner, extended this program to the Galilean group in a series of papers in the early 1950s, culminating in his 1954 Annals of Mathematics paper. Bargmann's crucial discovery was that the Galilean group admits projective representations that are not genuine representations, and these projective representations are classified by the total mass. This was surprising: the Poincare group has no such projective representations (its second cohomology group vanishes). The mass superselection rule -- the impossibility of forming coherent superpositions of states with different total mass -- is a direct consequence of the Bargmann central extension.
The Inonu-Wigner contraction (1953) showed that the Galilean group is a contraction of the Poincare group in the limit . Under this contraction, the Poincare algebra contracts to the Galilean algebra, and the term in the Poincare bracket becomes the central charge in the Galilean algebra. The central extension is thus a relic of the finite speed of light, surviving in the non-relativistic limit.
The philosophical significance of the Galilean group is that it encodes the structure of Newtonian spacetime in algebraic form. The ten symmetries are not assumptions but consequences of the structure of space and time: space is homogeneous (same at every point) and isotropic (same in every direction), time is homogeneous (same at every moment), and inertial frames are equivalent (same physics from every uniformly moving viewpoint). The ten integrals of motion are the physical manifestation of these geometric properties. The Bargmann central extension adds a further dimension: mass is not an arbitrary parameter but a geometric object (a central charge) arising from the structure of the Galilean group. In quantum mechanics, this geometric interpretation of mass becomes a physical constraint (the superselection rule).
Bibliography Master
@book{taylor2005classical,
title = {Classical Mechanics},
author = {Taylor, John R.},
year = {2005},
publisher = {University Science Books},
isbn = {1-891389-22-X},
}@book{goldstein2002classical,
title = {Classical Mechanics},
author = {Goldstein, Herbert and Poole, Charles P. and Safko, John L.},
year = {2002},
edition = {3rd},
publisher = {Pearson},
isbn = {0-201-65702-3},
}@book{landau1976mechanics,
title = {Mechanics},
author = {Landau, Lev D. and Lifshitz, Evgenii M.},
year = {1976},
edition = {3rd},
publisher = {Pergamon Press},
series = {Course of Theoretical Physics},
volume = {1},
}@book{arnold1989mathematical,
title = {Mathematical Methods of Classical Mechanics},
author = {Arnold, Vladimir I.},
year = {1989},
edition = {2nd},
publisher = {Springer-Verlag},
series = {Graduate Texts in Mathematics},
volume = {60},
}@article{bargmann1954unitary,
title = {On Unitary Ray Representations of Continuous Groups},
author = {Bargmann, Valentine},
journal = {Annals of Mathematics},
volume = {59},
number = {1},
pages = {1--46},
year = {1954},
}@article{inonu1953contraction,
title = {On the Contraction of Groups and Their Representations},
author = {In\"{o}n\"{u}, E. and Wigner, E. P.},
journal = {Proceedings of the National Academy of Sciences},
volume = {39},
number = {6},
pages = {510--524},
year = {1953},
}@article{wigner1939unitary,
title = {On Unitary Representations of the Inhomogeneous Lorentz Group},
author = {Wigner, E. P.},
journal = {Annals of Mathematics},
volume = {40},
number = {1},
pages = {149--204},
year = {1939},
}