Lfox at 22:31, 27 May 2024

2024-05-27T22:31:44Z

← Older revision		Revision as of 22:31, 27 May 2024
Line 1:		Line 1:
	[TODO ~~defn~~]		Consider a thing with some [[symmetry]]. A symmetry is a transformation of a thing which leaves its essential properties unchanged.<ref group="note">[TODO placeholder note]</ref>

	~~Consider a thing with some [[symmetry]].~~ A ~~symmetry~~ is ~~a transformation~~ of ~~the~~ thing ~~which leaves it unchanged~~.		A '''group''' is all the symmetries of some thing, considered together as a unit.

	~~Technically speaking~~,		For any given thing, there are some subtleties in specifying what we mean by its symmetry. Precisely which properties do we consider essential? The answer to that should be covered in the [[symmetry]] article.

	~~== Finite~~ groups ==		For groups, there is an additional question we must ask. For any given thing with symmetry, by what standard do we say that two such transformations are "the same" transformation? For example, circles have a rotational symmetry. Let <math>T_1</math> denote the transformation which rotates the circle to the left by 90˚ over the course of 1 second, and let <math>T_2</math> denote the transfomation which does the same thing over the course of 2 seconds. Are <math>T_1</math> and <math>T_2</math> to be considered ''the same'' transformation, or not?

	== ~~Infinite groups~~ ==		We will answer this question clearly for discrete symmetries. For continuous symmetries, it is much more subtle and involves some advanced topics.

			== Symmetries of discrete things ==
			[TODO elaborate]

			The idea is that for a discrete symmetry, you can model the "essential" structure that you care about as a finite set, with some structure (things like functions or relations on the set). A symmetry of such a thing is a bijection from the underlying set to itself, such that when you transport the structure across the bijection, you get a structure which is ''equal to'' the original structure. It is obvious that the set of all such symmetries is finite, and that it forms a group.

			For example, the symmetries of a square are in the following sense the group <math>D_4</math>. We model a square by a set of vertices <math>V = \{ v_1, v_2, v_3, v_4 \} </math>, and a set of relations <math display="block">A = \{ \{v_1, v_2\}, \{v_2, v_3\}, \{v_3, v_4\}, \{v_1,v_4\} \} \subset 2^A</math> signifying that two vertices are connected by an edge. A symmetry of the square is a bijection <math>\varphi : V \rightarrow V</math> such that if <math>\{ x, y \} \in A</math> then <math>\{ \varphi(x), \varphi(y) \} \in A</math>.

			== Symmetries of continuous things ==
			To talk about the symmetries of continuous things, you need to get some sort of handle on the continuum. This involves things like Lie theory, algebraic topology, measure theory, and more. It is very advanced, so I don't plan to write about it for a long time. I will, however, give one example that shows the complexity involved.

			Consider two pennies sitting on a table. Let's say that the symmetry they possess is that they are identical, so we can swap them. By one way of talking about equivalence, we can say that two swapping transformations are equivalent if and only if they leave the pennies in the same place when they are finished; by that standard the pennies admit a <math>\mathbb{Z}_2</math> symmetry. According to another way of talking about equivalence we can say that two swapping transformations are equivalent if and only if the world-lines of the pennies during one transformation are homotopic to the world-lines of the pennies during the other; by that standard the pennies admit a <math>\mathbb{Z}</math> symmetry.

	== Notes ==		== Notes ==
	<references group="note" />		<references group="note" />

Lfox: Created page with "[TODO defn] Consider a thing with some symmetry. A symmetry is a transformation of the thing which leaves it unchanged. Technically speaking, == Finite groups == == Infinite groups == == Notes == "

2024-05-27T21:55:37Z

Created page with "[TODO defn] Consider a thing with some symmetry. A symmetry is a transformation of the thing which leaves it unchanged. Technically speaking, == Finite groups == == Infinite groups == == Notes == <references group="note" />"

New page

[TODO defn]

Consider a thing with some [[symmetry]]. A symmetry is a transformation of the thing which leaves it unchanged.

Technically speaking,

== Finite groups ==

== Infinite groups ==

== Notes ==
<references group="note" />

Group - Revision history

Lfox at 22:31, 27 May 2024

Lfox: Created page with "[TODO defn] Consider a thing with some symmetry. A symmetry is a transformation of the thing which leaves it unchanged. Technically speaking, == Finite groups == == Infinite groups == == Notes == "