Resource Lesson
Symmetries in Physics
Printer Friendly Version
A symmetry is a change which returns the system to an state indistinguishable for its starting point. For example, the rotations of n120º or reflections, flips, across each altitude of an equilateral triangle. For each transformation in the table, the starting point is the original triangle (123).
original
(123)
rotated 120º cw
(312)
rotated 120º ccw
(231)
reflected across 1
(132)
reflected across 2
(321)
reflected across 3
(213)
Notice that they all retain the shape of an equilateral triangle.
Or perhaps we could example the rotations of n90º or reflections, flips, across the perpendicular bisectors of the top/bottom and sides or reflections across the diagonal bisectors of the angles of a square.
original
(1234)
rotate cw 90º
(4123)
rotate cw 180º
(3412)
rotated cw 270º
(2341)
reflection across
vertical bisector
(2143)
reflection across horizontal bisector
(4321)
reflection across
leftright diagonal
(1432)
reflection across opposite diagonal
(3214)
Notice that all these transformations still retain the shape of a square.
Without going through the constructions, the reader should see that the transmutations resulting from rotating a circle through any angle, or any fraction of an angle, about an axis passing through its center will result in another circle indistinguishable from the original.
Our first two examples involving equilateral triangles and squares are called
discrete symmetries
; while, this last example is called a
continuous symmetry
.
Noether's Theorems
Amalie Noether (18821935) proved one of the greatest relationships between mathematics and physics 
For every continuous symmetry in nature there is a universal conservation law of physics. And, for every conservation law in nature there must exist a continuous symmetry.
Continuous symmetry under time translation is equivalent to the law of conservation of energy.
Continuous symmetry under space translation is equivalent to the law of conservation of linear momentum.
Continuous symmetry under rotation is equivalent to the law of conservation of angular momentum.
Most students are familiar with "shape symmetries" from their study of geometry. This is not the same as the mathematical symmetry Noether is discussing. Although, shape symmetries are important in physics and often allow students the opportunity to gain valuable information regarding the solution to a problem, we are now going to examine Noether's concept of symmetry..
Symmetries in mathematics are studied in group theory, usually offered in courses called modern or abstract algebra. If objects form a
group
they must obey the following properties:
The group <G, *> is closed under an operation, *. This means that the result of the operation * on two members of the group produces another member of the group.
<G, *> obeys the associative property; that is, a * (b * c) = (a * b) * c.
There is an identity element, e, in <G, *> such that a * e = e * a = a
Every member of the group, <G, *>, has a unique inverse; that is, a * a
^{1}
= a
^{1}
* a = e.
If a group also obeys the commutative property, a * b = b * a for all elements in the group then it is called an
abelian group
.
Using the equilateral triangle transformations in the previous section, we can show that they form a group by using a Cayley table or magic square. In order to fill out the table, we need to give titles to each of our transformations.
identity, e (123)
rotating 120º cw (312)
rotating 120º ccw (231)
reflection across blue (23)
reflection across green (13)
reflection across red (12)
^{o}
e
(312)
(231)
(23)
(13)
(12)
e
e
(312)
(231)
(23)
(13)
(12)
(312)
(312)
(231)
e
(12)
(23)
(13)
(231)
(231)
e
(312)
(13)
(12)
(23)
(23)
(23)
(23)
(12)
e
(312)
(231)
(13)
(13)
(12)
(23)
(231)
e
(312)
(12)
(12)
(23)
(13)
(312)
(231)
e
Notice that this group is
closed
under the binary operation,
^{o}
.
That is, every combination, a
^{o}
b, results in an element of the original set. Notice that there is an
identity element
, (123) or
e
. As seen in the table, every element has a unique inverse; that is, the
identity, e
, appears only once is each row and column. This group can be shown to be associative by examining (a
^{o}
b)
^{o}
c = a
^{o}
(b
^{o}
c) for any three elements in the set. This group is
not commutative
; that is, the order of the operation (row
^{o}
column) does not always give the same result as (column
^{o}
row).
Many group symmetries have special names that all mathematicians and physicists recognize, such as, SO(N) [rotations of a circle SO(2) or a sphere SO(3)], SU(N), Sp(N), and the exceptional groups G2, F4, E6, E7, and E8. The above group of transformations on an equilateral triangle is called S
_{3}
. These are discussions that are well beyond the scope of introductory physics. But it is noteworthy to mention that the following internal symmetries are often referred to when studying the basis for the standard model of particle theory, U(1) x SU(2) x SU(3).
What are some examples of groups in mathematics?
When studying number theory, there are special groups that most students will recognize. One group is the integers under addition, <
Z
, +>. Remember that the integers can be listed as the set containing the positive and negative whole numbers with the addition of zero, or {… 3, 2, 1 0 1, 2, 3,….}. It can be easily verified that this is a group under addition by noticing the presence of the identity element zero, the fact that the set is closed since any two integers when added together give another integer, the fact that addition is associative, and that every positive integer has a unique additive inverse (its negative integer) which when added together equal zero. This group is also commutative.
But would the set of only positive integers,
Z
^{+}
, be a group under the binary operation of addition? Or the set of only negative integers,
Z
^{}
, be a group under the binary operation of addition? The answer is no for either collection, or set, since each respectively has no identity element or additive inverses.
Note that the set of integers in not a group under the binary operation of multiplication since there are no multiplicative inverses (1/p is not an integer). Despite the fact that the integers are closed under multiplication, multiplication obeys the associative property, and the integers have an identity element, 1. The integers are also not a group under division since division is not associative: (2/5)/10 = 0.4 / 10 = 0.04 while 2/(5/10) = 2 / 0.5 = 4.
Notice that the set of rational numbers,
Q
(any number that can be expressed as a quotient of two integers as long as the denominator is not equal to zero), is a group under any of the binary operations of multiplication, addition, and subtraction. But why not under division? The answer is, once again, that division is not associative.
In mathematics, a field is a commutative group with respect to two operations. For example, the rational numbers,
Q
, are a field under addition and multiplication since they are
closed
under both operations, have
identity elements and inverses
under both operations,
associative
under both operations, obey the distributive property of multiplication over addition, a(b + c) = ab + ac. The real numbers (rationals plus irrationals) and complex numbers (a + bi) also form fields under addition and multiplication.
Fields in Physics
In physics, a field can be thought of as a property of space. For example, Newton's gravitational field is a region surrounding a body with mass in which another body having mass will experience a force of attraction. This field follows an inverse square function and is thought to have nonzero values everywhere. Faraday later described an electric field as a region surrounding a charged body (a point charge) in which another charged object will experience a force of attraction or repulsion. This field also follows an inverse square function and is thought to have nonzero values everywhere.
These fields assign a value to each position in space with respect to the location of the center mass/charge. With respect to gravitation, the value is called the gravitational field strength (
g
= GM/r
^{2}
) and with respect to electric fields (
E
= kQ/r
^{2}
). Since these quantities have magnitude and a direction, these fields are called vector fields. These fields have space symmetry since they can be translated or rotated in space and still have the same relative values.
Maxwell's electromagnetic field is actually two vector fields (electric and magnetic). This field has a "physical reality" because they carry energy (electromagnetic radiation). Similar to how the electric field between parallel plates of a capacitor has an energy density, or energy per unit volume, of u = ½(
e
_{o}
E
^{2}
). Similarly, the magnetic field within a solenoid has a energy density of u = ½(
B
^{2}
/µ
_{o}
). One of the most extraordinary results of Maxwell's work was uncovering the fact that the speed of light, c, is equal to
Potential, or voltage, is an example of a scalar field with respect to a particular location in space. To find the potential at a point in space, all you have to do is sum up the contribution of potential due to each nearby charge (V
_{P}
= kq
_{1}
/r
_{1P}
+ kq
_{2}
/r
_{2P}
+ ….). This result is true regardless of the exact position of the charges in space, just as long as their relative positions to each other remain the same. So it is symmetric under translations and rotations of space.
Now let's elaborate a little further on vector fields.
Since the gravitational and electric forces experienced by masses or charges placed in either of these fields are themselves vectors, we will now define a vector space consisting of arrows in a plane(s). This vector space is a set of vectors,
V
, over a scalar field F of real numbers together with two binary operations: vector addition and scalar multiplication. Our vector space must satisfy the following axioms:
vector addition must be closed  that is, adding two vectors
A
and
B
must result in a third vector that is also in the plane
vector addition must be associative  that is, (
A
+
B
) +
C
=
A
+ (
B
+
C
)
vector addition must be commutative  that is,
A
+
B
=
B
+
A
there must be an identity element for vector addition  that is, a vector of length zero,
0 = <0i, 0j>
A note about notation. Sometimes it is more convenient to discuss a vector, not as a diagram, but as an ordered pair. On a twodimensional plane, like those diagrammed above, the magnitude of the vector can be written in terms of the unit vectors
i
= <1,0> and
j
= <0,1>. So a vector that is created by moving 3 units in the xdirections (horizontal) and then 4 units in the ydirections (vertical) could be expressed as
u
= <3
i
, 4
j
>. this vector would have a magnitude of 5 and a direction of 37º. Writing the vector as
u
= (5, 37º) is called polar notation, while writing it as <3
i
, 4
j
> is called component notation.
there must be an additive inverse for each vector  that is,
A
+ (
A
) =
0
The
0
vector can be written as
0 =
<0
i
, 0
j
>
. A
is merely the vector having the same magnitude as
A
but oriented in a direction that is revered by 180º
.
So, for
A =
<n
i
, m
j
>
, A =
<

n
i, 
m
j
>
or; in polar form,
A =
(r,
q
),
A =
(r,
q
+180º)
scalar multiplication must be distributive over vector addition  that is, x(
A
+
B
) = x
A
+ x
B
scalar multiplication must be distributive over field addition  that is, (x + y)
A
= x
A
+ y
A
Let
A = < i , j >
Let x = 3 and y = 4 the x + y = 3 + 4 = 7
So, 7
< i, j >
= 3
< i, j >
+ 4
< i, j >
< 7i, 7j >
=
< 3i, 3j >
+
< 4i, 4j >
< 7i, 7j >
=
< 7i, 7j >
scalar multiplication must be compatible with field multiplication  that is, x(y
A
) = (xy)
A
3
(< 4i, 4j >) =
12
< i, j >
< 12i, 12j > =
12
< i, j >
there must be an identity element for scalar multiplication  that is, 1
A
=
A
where 1 is the multiplicative identity of the field
Notice that all of these axioms just boil down to the fact that a vector space is a mathematical field and once that has been stated, none of the above proofs would be necessary. That is, the mathematical field properties are the properties of the physical vector space. Consequently we now know that these properties can be automatically applied to any vector space whether it be vectors representing displacement, velocity, acceleration, forces, electric fields, magnetic field strength, gravitational field strength, etc. They are universal and can be used as a basis of working with vectors in any order spacetime.
Summary
The benefit of mapping a mathematical structure to a physical process allows theorists the ability to test and predict. For example, in beta decay, physicists in the early 1900's originally feared that momentum and energy might not be conserved. They thought that the conservation laws might have reached their limit of applicability. But that would mean that there were limitations on continuous symmetries under time and space translations. That concept was even more frightening. When Pauli suggested a new particle, the neutrino, that would have zero charge and a small amount of mass, then beta decay would then be composed of a neutron decaying into a proton, electron, and a neutrino. The neutrino would carry away the missing momentum and energy not present in the observed proton and electron. Today physicists know that there are actually six different types of neutrinos: electron neutrinos, muon neutrinos, tau neutrinos, and their associated antiparticles. Pauli's rigid belief in symmetry and its associated conservation processes introduced a whole new class of particles.
Mathematics is the language of physics.
Leon Lederman and Chris Hill, in their book
Symmetry and the Beautiful Universe
, state in pages 6567 that
"Nature has deep underpinnings, nature speaks through the language of mathematics. A theoretical mathematician attempts to create a roadmap of all possible logical systems that could consistently exist, whether they ultimately have anything to do with nature's design or not. … While a theoretical physicist, often borrows from mathematics (or, if there is nothing to borrow, they invent new mathematics) in order to create a mathematical roadmap of things in the real world, in nature. …. Nature gives math its inspiration … but math does not have to do experimentation in the physical world … a logical, consistent, abstract formulation is sufficient. Noether has given us the connection between these two disciples in her theorems."
Richard Feynman in his 1964 Messenger Series of lectures at Cornell, which were later printed in his book
The Character of Physical Law,
designated two cultures:
"those who know and understand mathematics well enough to see the beauty of nature and those who have not. ... It is too bad that it has to be mathematics, and that mathematics is hard for some people.... Physicists cannot make a conversion to any other language. If you want to learn about nature, to appreciate nature, it is necessary to understand the language that she speaks in. ... In the same way all the intellectual arguments in the world will not convey an understanding of nature to those of 'the other culture.' Philosophers may try to teach you by telling you qualitatively about nature, [physicists are] trying to describe her." (page 58)
NY Times, "
The Mighty Mathematician You've Never Heard Of
", March 26, 2012
WizIQ,
Symmetries and Conservation Laws
Terence Tao,
What is a gauge?
Related Documents
Lab:
Labs 
A Battering Ram
Labs 
A Photoelectric Effect Analogy
Labs 
A Physical Pendulum, The Parallel Axis Theorem and A Bit of Calculus
Labs 
Air Track Collisions
Labs 
Ballistic Pendulum
Labs 
Ballistic Pendulum: Muzzle Velocity
Labs 
Bouncing Steel Spheres
Labs 
Calculation of "g" Using Two Types of Pendulums
Labs 
Collision Pendulum: Muzzle Velocity
Labs 
Conical Pendulums
Labs 
Conical Pendulums
Labs 
Conservation of Energy and Vertical Circles
Labs 
Conservation of Momentum
Labs 
Conservation of Momentum in TwoDimensions
Labs 
Impulse
Labs 
Inelastic Collision  Velocity of a Softball
Labs 
Introductory Simple Pendulums
Labs 
Kepler's 1st and 2nd Laws
Labs 
LooptheLoop
Labs 
Moment of Inertia of a Bicycle Wheel
Labs 
Oscillating Springs
Labs 
Ramps: Sliding vs Rolling
Labs 
Roller Coaster, Projectile Motion, and Energy
Labs 
Rotational Inertia
Labs 
Rube Goldberg Challenge
Labs 
Sand Springs
Labs 
Simple Pendulums: Class Data
Labs 
Simple Pendulums: LabPro Data
Labs 
Spring Carts
Labs 
Target Lab: Ball Bearing Rolling Down an Inclined Plane
Labs 
Video LAB: A Gravitron
Labs 
Video LAB: Ball ReBounding From a Wall
Labs 
Video Lab: Blowdart Colliding with Cart
Labs 
Video Lab: Cart Push #2 and #3
Labs 
Video LAB: Circular Motion
Labs 
Video LAB: Looping Rollercoaster
Labs 
Video Lab: M&M Collides with Pop Can
Labs 
Video Lab: Marble Collides with Ballistic Pendulum
Labs 
Water Springs
Resource Lesson:
RL 
A Derivation of the Formulas for Centripetal Acceleration
RL 
A Further Look at Impulse
RL 
APC: Work Notation
RL 
Centripetal Acceleration and Angular Motion
RL 
Conservation of Energy and Springs
RL 
Derivation of Bohr's Model for the Hydrogen Spectrum
RL 
Derivation: Period of a Simple Pendulum
RL 
Energy Conservation in Simple Pendulums
RL 
Famous Discoveries: The FranckHertz Experiment
RL 
Gravitational Energy Wells
RL 
Kepler's Laws
RL 
LC Circuit
RL 
Linear Momentum
RL 
Magnetic Forces on Particles (Part II)
RL 
Mechanical Energy
RL 
Momentum and Energy
RL 
Period of a Pendulum
RL 
Potential Energy Functions
RL 
Principal of Least Action
RL 
Rotational Dynamics: Pivoting Rods
RL 
Rotational Kinematics
RL 
Rotational Kinetic Energy
RL 
SHM Equations
RL 
Simple Harmonic Motion
RL 
Springs and Blocks
RL 
Tension Cases: Four Special Situations
RL 
The Law of Universal Gravitation
RL 
Thin Rods: Moment of Inertia
RL 
Uniform Circular Motion: Centripetal Forces
RL 
Universal Gravitation and Satellites
RL 
Vertical Circles and NonUniform Circular Motion
RL 
Work
RL 
Work and Energy
Review:
REV 
Review: Circular Motion and Universal Gravitation
Worksheet:
APP 
Big Al
APP 
Puppy Love
APP 
Ring Around the Collar
APP 
The Jogger
APP 
The Pepsi Challenge
APP 
The Pet Rock
APP 
The Pool Game
APP 
The Raft
APP 
The Satellite
APP 
The Spring Phling
APP 
Timex
CP 
Centripetal Acceleration
CP 
Centripetal Force
CP 
Conservation of Energy
CP 
Conservation of Momentum
CP 
Momentum
CP 
Momentum and Energy
CP 
Momentum and Kinetic Energy
CP 
Momentum Practice Problems
CP 
Momentum Systems and Conservation
CP 
Power Production
CP 
Satellites: Circular and Elliptical
CP 
Work and Energy
NT 
Circular Orbits
NT 
Cliffs
NT 
Elliptical Orbits
NT 
Escape Velocity
NT 
Gravitation #2
NT 
Ice Boat
NT 
Momentum
NT 
Pendulum
NT 
Ramps
NT 
Rotating Disk
NT 
Satellite Positions
NT 
Spiral Tube
WS 
Advanced Properties of Freely Falling Bodies #1
WS 
Advanced Properties of Freely Falling Bodies #2
WS 
Advanced Properties of Freely Falling Bodies #3
WS 
Basic Practice with Springs
WS 
Charged Projectiles in Uniform Electric Fields
WS 
Energy Methods: More Practice with Projectiles
WS 
Energy Methods: Projectiles
WS 
Energy/Work Vocabulary
WS 
Force vs Displacement Graphs
WS 
Inertial Mass Lab Review Questions
WS 
Introduction to Springs
WS 
Kepler's Laws: Worksheet #1
WS 
Kepler's Laws: Worksheet #2
WS 
Kinematics Along With Work/Energy
WS 
More Practice with SHM Equations
WS 
Pendulum Lab Review
WS 
Pendulum Lab Review
WS 
Potential Energy Functions
WS 
Practice: Momentum and Energy #1
WS 
Practice: Momentum and Energy #2
WS 
Practice: SHM Equations
WS 
Practice: Uniform Circular Motion
WS 
Practice: Vertical Circular Motion
WS 
Rotational Kinetic Energy
WS 
SHM Properties
WS 
Static Springs: The Basics
WS 
Universal Gravitation and Satellites
WS 
Vertical Circular Motion #1
WS 
Work and Energy Practice: An Assortment of Situations
WS 
Work and Energy Practice: Forces at Angles
TB 
Centripetal Acceleration
TB 
Centripetal Force
TB 
Work, Power, Kinetic Energy
PhysicsLAB
Copyright © 19972020
Catharine H. Colwell
All rights reserved.
Application Programmer
Mark Acton