blob: 389f67d371a4275d5091e14641b3c2d0b2eefc80 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
:PROPERTIES:
:ID: ba7b95b0-0ce6-4b33-9a79-5e5fddaea710
:END:
#+title: group
#+author: Preston Pan
#+description: "Get into groups of three, class"
#+options: broken-links:t
* Definition
A group is an [[id:1b1b522e-d4de-4832-9ca4-c6d1cfee27e6][ordered pair]] \((G, *)\) where \(G\) is a set and \(*\) is a binary operation (operation defined between two members of set G) defined such that:
\begin{align*}
a * b \in G \\
\exists e : a * e = a
\end{align*}
where the operation \(*\) is said to be closed under \(G\), and \(e\) is called the /identity/ of group \((G, *)\).
** Associativity
This is the property such that:
\begin{align*}
(a * b) * c = a * (b * c)
\end{align*}
** inverse
:PROPERTIES:
:ID: 4f088813-cf40-4194-9251-b2392a50dc1c
:END:
An inverse is defined as follows:
\begin{align*}
\forall a \exists a^{-1} : a * a^{-1} = e
\end{align*}
* Motivation
In [[id:ece8bf94-4e3c-4939-a77a-9949c1ec0dc6][physics]], natural phenomena including conservation laws follow from group symmetries.
|
