In mathematics, a group is a set equipped with an operation that combines any two elements to form a third element while being associative as well as having an identity element and inverse elements. These three conditions, called group axioms, hold for number systems and many other mathematical structures. For example, the integers together with the addition operation form a group. The formulation of the axioms is, however, detached from the concrete nature of the group and its operation. This allows one to handle entities of very different mathematical origins in a flexible way, while retaining essential structural aspects of many objects in abstract algebra and beyond. The ubiquity of groups in numerous areas—both within and outside mathematics—makes them a central organizing principle of contemporary mathematics.Groups share a fundamental kinship with the notion of symmetry. For example, a symmetry group encodes symmetry features of a geometrical object: the group consists of the set of transformations that leave the object unchanged and the operation of combining two such transformations by performing one after the other. Lie groups arise as symmetry groups in geometry but appear also in the Standard Model of particle physics. The Poincaré group is a Lie group consisting of the symmetries of spacetime in special relativity. Point groups describe symmetry in molecular chemistry.
The concept of a group arose from the study of polynomial equations, starting with Évariste Galois in the 1830s, who introduced the term of group (groupe, in French) for the symmetry group of the roots of an equation, now called a Galois group. After contributions from other fields such as number theory and geometry, the group notion was generalized and firmly established around 1870. Modern group theory—an active mathematical discipline—studies groups in their own right. To explore groups, mathematicians have devised various notions to break groups into smaller, better-understandable pieces, such as subgroups, quotient groups and simple groups. In addition to their abstract properties, group theorists also study the different ways in which a group can be expressed concretely, both from a point of view of representation theory (that is, through the representations of the group) and of computational group theory. A theory has been developed for finite groups, which culminated with the classification of finite simple groups, completed in 2004. Since the mid-1980s, geometric group theory, which studies finitely generated groups as geometric objects, has become an active area in group theory.
Perimeter conference http://pirsa.org/C14020
Here are links to the talks' videos and slides PDF
Recent developments in asymptotic safety: tests and properties
Tim Morris
http://pirsa.org/14040085/
What you always wanted to know about CDT, but did not have time to...
Hi, let G be any group . Is there a way of embedding G in some other
group H so that G is normal in H, _other_ than by using the embedding:
G -->G x G' , for some group G'?
I assume this is easier if G is Abelian and is embedded in an
Abelian group. Is there a way of doing this in...
To define spinors in QM, we consider the projective representations of SO(n) that lift to linear representations of the double cover Spin(n). Why don't we consider projective representations of Spin?
Just by looking at the cayley table of a group and looking at its subgroups, is their a theorem or something which tells you if the right and left cosets are equal?
I have question to do and I would love to half the workload by not having to to work out the same thing twice.
Thanks
We have that A and B belong to different representations of the same Lie Group. The representations have the same dimension. X and Y are elements of the respective Lie algebra representations.
A = e^{tX}
B = e^{tY}
We want to show, for a specific matrix M
B^{-1} M B = AM
Does it suffice to...
let us assume G is not cyclic. Let a be an element of G of maximal order. Since G is not cyclic we have <a>≠G. Let b be an element in G, but not in the cyclic subgroup generated by a.
O(a) = m and O(b) = n where O() refers tothe orders. . then how can we use this to construct a subgroup of G...
From my understanding, normal and anomalous dispersion are because the phase velocity is a function of k so it is different for different components of a group so the group will spread out over time.
So what's group velocity dispersion? Is it the same affect (dispersion/ spreading out)...
In a Lorentz group we say there is a proper orthochronous subspace. How can I prove that the product of two orthchronous Lorentz matrices is orthochronous? Thanks. Would appreciate clear proofs.
Hi,
I would like to understand the left-invariant vector field of the additive group of real number. The left translation are defined by
\begin{equation}
L_a : x \mapsto x + a \; , \;\;\; x,a \in G \subseteq \mathbb{R}.
\end{equation}
The differential map is
\begin{equation}
L_{a*} =...
What is the use of infinite-dimensional representation of lie group?
Now, I know Hilbert space is infinite-dimensional, and physical states must be in Hilbert space.
However, for massive fields, the transformation group is SO(3), its unitary representation is finite.
For massless fields, the...
I found what might be the worst written book on Lie Groups. Ever. Until I find one I like better, I'm going to see if I can persevere through the sludge. I'll write out the theorem word for word and then explain what I can. Hopefully someone can decipher it.
Typically, I use the term "chart"...
Hello! I'm currently reading some QFT and have passed the concept of Weyl spinors 2-4 times but this time it didn't make that much sense..
We can identify the Lorentz algebra as two su(2)'s. Hence from QM I'm convinced that the representation of the Lorentz algebra can be of dimension (2s_1 +...
Homework Statement
Consider the following permutation representations of three elements in ##S_3##: $$\Gamma((1,2)) = \begin{pmatrix} 0&1&0\\1&0&0\\0&0&1 \end{pmatrix}\,\,\,\,;\Gamma((1,3)) = \begin{pmatrix} 0&0&1\\0&1&0\\1&0&0 \end{pmatrix}\,\,\,\,\,; \Gamma((1,3,2)) = \begin{pmatrix}...
Homework Statement
Let A = A(p)\times A' where A(p) is a finite commutative p-group (i.e the group has order p^a for p prime and a>0) and A' is a finite commutative group whose order is not divisible by p.
Prove that all elements of A of orders p^k, k\geq0 belong to A(p)
The Attempt...
Homework Statement
a)Write down all irreducible representations of ##\mathbb{Z}_7##.
b)How many of the irreducible representations are faithful?
Homework Equations
Group structure of ##\mathbb{Z}_7 = \left\{e^{2\pi in/7}, \cdot \right\}## for ##n \in \left\{0,...,6\right\}##
The Attempt at a...
In Dijkgraaf and Witten's paper "Topological Gauge Theory and Group Cohomology" it is claimed that...
Why are either of these statements (the Lie group case or the finite case) true?
Mathematicians have produced a wide variety of long and complex proofs of the existence of free groups, and there appears to be a strong emphasis upon finding better proofs that involve a variety of techniques. (Examples are http://www.jstor.org/stable/2978086 and "www.jstor.org/stable/2317030"...
Homework Statement
Let a,b be elements of a group G. Show that the equation ax=b has unique solution.
Homework Equations
none really
The Attempt at a Solution
ax = b . Multiply both sides by a^{-1}. (left multiplication). a is guaranteed to have an inverse since it is an element of a...
Hello,
Frustration in receiving timely responses from my teaching assistant has lead me to this website. Currently have a homework assignment on multiple group diffusion theory and one of the assigned questions is,
Determine the thermal flux due to an isotropic point source, So fast...
Homework Statement
Prove that the group velocity of a wave packet is equal to the particle’s velocity
for a relativistic free particle.
Homework Equations
vgroup = Δω/Δk = dω/dk
E = (h/2π)*ω = √(p2c2 + m2c4)
The Attempt at a Solution
I'll be honest..I have no idea where to...
Here is a problem from some russian book of algebra:
\varphi(x)=y\leftrightarrow\varphi(y)=x and I know \varphi(e)=e. I can see from this that G is a group of odd order. How I prove commutativity? Do you think I can prove first that \varphi(a)=a^{-1}?
Contemporary Abstract Algebra by Gallian
This is Exercise 14 Chapter 3 Page 69
Question
Let $G$ be the group of polynomials under the addition with coefficients from $Z_{10}$. Find the order of $f=7x^2+5x+4$ .
Note: this is not the full question, I removed the remaining parts.
Attempt...
I am reading a text about the splitting of the energy levels in crystals caused by the spin orbit interaction. In particular, the argument is treated from the point of view of the group theory.
The text starts saying that a representation (TxD) for the double group can be obtained from the...
I just though of this and though "it's abstract math meeting physics, so probably not". After looking up fields in several abstract algebra books I thought that maybe fields in physics were called as such in physics because they share something with the mathematical structure of fields in group...
Well I am not sure if this thread belongs here or in mathematics/groups but since it also has to do with physics, I think SR would be the correct place.
An element of the Euclidean group E(n) can be written in the form (O,\vec{b}) which acts:
\vec{x} \rightharpoondown O\vec{x}+\vec{b}
With O...
On an exam question recently, I had to perform a retrosynthesis on a molecule and it had this functional group on it:
it took me by surprise. I decided to cleave the whole thing off, and replace it with a double bond (cuz I know you can make cis diols from double bonds) then things seemed to...
Can anyone give an answer (or give a web reference) to the following question: How is a group assigned to a particle? I've seen groups assigned to shapes, polynomials, permutations, rotations and transformations. But how is a group assigned to a point particle?
You people know that group velocity of a wave packet is calculated with the formula v_g=\frac{d \omega}{d k} .But this gives an expression which,in general,is a function of k.My problem is,I can't think of an interpretation for it.What is that wave-number appearing in the expression for group...
Homework Statement
(a) For SU(N), we have:
N ⊗ N = A_A + S_S
where A corresponds to a field with two antisymetric fundamental SU(N) in- dices φij = −φji, and S corresponds to a field with two symmetric fundamental SU(N) indices φij = φji. By considering an SU(2) subgroup of SU(N), compute...
Homework Statement
Find ##(g_ig_j)^{-1}## for any two elements of group ##G##.
Homework Equations
For matrices ##(AB)^{-1}=B^{-1}A^{-1}##
The Attempt at a Solution
I'm not sure how to show this? I could show that for matrices ##(AB)^{-1}=B^{-1}A^{-1}##. And that for numbers...
##H=-\frac{\hbar^2}{2m}\frac{d^2}{dx^2}+\frac{1}{2}m\omega^2x^2##
Parity
##Px=-x##
end ##e## neutral are group of symmetry of Hamiltonian.
## PH=H##
##eH=H##
so I said it is group of symmetry because don't change Hamiltonian? And ##e## and ##P## form a group under multiplication. Is there...
Homework Statement
Let G be a finite complex matrix group: G \subset M_{n\times n}. Show that, for g \in G, |\text{tr}(g)| \le n and |\text{tr}(g)| = n only for g = e^{i\theta}I.
2. The attempt at a solution
Since G is finite, then every element g \in G has a finite order: g^r = I for some...
Homework Statement
Obtain multiplication table for quaternion group.
Homework Equations
##i^2=j^2=k^2=ijk=-1##
The Attempt at a Solution
I have problem with elements for example ##ji## in the table. For example when I have ##ij## I say
##ijk=-1## and ##k^2=-1## so ##ij=k##. But...
Hello,
I am studying a system of a group of walkers and how they behave.
There are four kind of forces:
- Repulsion between walkers
- A force modeled by the fact that all walkers gather into groups and walk in the same direction so their velocity are // that i will name S.
-...
The lorentz group SO(3,1) is isomorphic to SU(2)*SU(2). Then we can use two numbers (m,n) to indicate the representation corresponding to the two SU(2) groups. I understand (0,0) is lorentz scalar, (1/2,0) or (0,1/2) is weyl spinor. What about (1/2, 1/2)? I don't get why it corresponds to...
Hello everyone! This is my first post here, though I've been a silent observer in PF for a long time.
I'm planning on working through Spivak's "Calculus" or Wilson's "Introduction to Graph Theory" and was wondering if anyone here might be interested in joining a study group for it. There's no...
Homework Statement
Prove that Klein 4 group is not isomorphic with ##Z_4##.
Homework Equations
Klein group has four elements ##\{e,a,b,c\}## such that ##e^2=e,a^2=e,b^2=e,c^2=e##
As far as I know ##Z_4## group is ##(\{\pm 1,\pm i\},\cdot)##. Right?
The Attempt at a Solution
As far...
Homework Statement
Let ##G## be a group of order ##n## where ##n## is an odd squarefree prime (that is, ##n=p_1p_2\cdots p_r## where ##p_i## is an odd prime that appears only once, each ##p_i## distinct). Let ##N## be normal in ##G##. If I have that ##|G/N|=p_j## for some prime in the prime...
Homework Statement
Say you have a small boat moving through water, and creating a short wave-group which is a superposition of waves in the range of 0.2m-2m. If the shore 50meters away, how long will it take the fastest of the wave-components to reach shore? {assume the depth is constantly very...
Greetings,
Just checking if I'm getting this ... please correct me if I'm wrong.
The value of the wavefunction is 'probability amplitude' in discrete case and 'probability amplitude density' in continuous case. The former is a dimensionless complex number and the latter is the same...
This isn't a homework problem, but something from a set of notes that I'd like to better understand. My confusion starts on page 23 here: http://isites.harvard.edu/fs/docs/icb.topic1146665.files/III-9-RenormalizationGroup.pdf. I'm having trouble reproducing his calculation for the...
A group ##G## is said to act on a set ##X## when there is a map ##\phi:G×X \rightarrow X## such that the following conditions hold for any element ##x \in X##.
1. ##\phi(e,x)=x## where ##e## is the identity element of ##G##.
2. ##\phi(g,\phi(h,x))=\phi(gh,x) \ \ \forall g,h \in G##.
My...
Hello,
I have troubles formulating this question properly. So I will explain it through one example.
If we consider the Lie group R=SO(2) of rotations on the plane, we know that we can find a manifold on which the group SO(2) acts regularly: this manifold is the unit circle in ℝ2. In fact...
In transitions in the crystals we always use conservation of wave vector of electron, not electron momentum conservation. For example in an indirect transition from top of valence band to bottom of conduction band, the group velocity of electron and hence its momentum would not change (it is...
Hello! I'm currently reading Peskin and Schroeder and am curious about a qoute on page 38, which concerns representations of the Lorentz group.
”It can be shown that the most general nonlinear transformation laws can be built from these linear transformations, so there is no advantage in...
I have no idea how to do this or where to start. Can someone please help me?
Problem 4.4- Suppose n o and n e are given. In (a) you only need to find the magnitude of the group velocity. Problem #2 in HW 10 may be helpful. You can also directly use the definition of group velocity, i.e., v g =...
I am having trouble proving that my function is surjective. Here is the problem statement:
Problem statement: Let T be the tetrahedral rotation group. Use a suitable action of T on some set, and the permutation representation of this action, to show that T is isomorphic to a subgroup of $S_4$...