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.
Homework Statement
The problem statement is to prove the following identity (the following is the solution provided on the worksheet):
Homework Equations
The definitions of L_{\mu \nu} and P_{\rho} are apparent from the first line of the solution.
The Attempt at a Solution
I get to the...
Hi, I'm interested in doing some self-study this summer and learning some group theory. This has come up a lot as I'm getting into graduate level physics courses, so I'd like a good solid introduction to it.
Any recommendations on a book? Preferably one that's at the level of an introductory...
"Real Time Entanglement" from the Zeilinger Group
And the "Gee Whiz!" article that referenced it:
http://www.preposterousuniverse.com/blog/2013/05/29/visualizing-entanglement-in-real-time/
CW
I recall visiting a website that was a wiki for group theory and had many articles on specific groups, but I don't find it today doing a simple-simon search on keywords like "group theory". Anyone know the website that I'm talking about?
Homework Statement
I want to find the orders of the elements in Z_8/(Z_4 \times Z_4), (Z_4 \times Z_2)/(Z_2 \times Z_2), and D_8/(Z_2 \times Z_2).
Homework Equations
The Attempt at a Solution
The elements of Z_2 \times Z_2 are (0,0), (1,0), (0,1), (1,1), and the elements of Z_8 are of course...
I'm a condensed matter student with limited knowledge of chemistry or bond notation. In the attached paper, I'm trying to understand what is meant by
\equiv\text{Ti}-\text{OH}
and
\equiv\text{Ti}-\text{F}
All I've been able to gather is that these represent "surface groups", although I'm...
Does anyone know what this guy is on about?
I understand some of the basics of group theory and I know there's a connection between Galois theory and the solving of a Rubik's cube, but I'm not sure what law he is even trying to disprove here. I'm assuming something with regards to symmetry or...
Was wondering if the only required definition for finite groups is closure (maybe associativity as well). It seems that is all that is necessary. The inverse and identity necessarily seem to follow based on the fact that if I multiply any element by itself enough times, I have to repeat back to...
Here is the question:
Here is a link to the question:
Quick Proof about a Square Matrix? - Yahoo! Answers
I have posted a link there to this topic so the OP can find my response.
Homework Statement
I am wondering how for determine the central atom's orbitals from the point group character tables described by group theory.
For example CO3^-2 (D3h)
Carbon's (central atom) p-orbitals are described by a1''+e'. The s-orbital is a1'
Homework Equations
The...
"Finite Simple Group (of Order Two)" by the Klein Four a cappella group at Northwestern University (lyrics by Matt Salomone):
The path of love is never smooth
But mine's continuous for you Finite Simple Group (of Order Two) - YouTube
You're the upper bound in the chains of my heart...
Homework Statement
Compute the volume of the group SU(2)
Homework Equations
Possibly related: in a previous part of the problem I showed that any element
g = cos(\theta) + i \hat{n} \cdot \vec{\sigma}sin(\theta)
The Attempt at a Solution
How do I compute the infinitesimal...
When proving that x^m x^n = x^{m+n} and that (x^m)^n = x^{mn} for all elements x in a group, it's easy enough to show that they hold for all m \in \mathbb{Z} and for all n \in \mathbb{N} using induction on n. The case n = 0 is also very easy. But how does one prove this for n \in...
I just want to check if there is anything wrong with my understanding...
Let's say we have a group of order 42 that contains Z_6. Since the group of units of Z_6 has order (3-1)(2-1), it means that we have 2 elements of order 6 in G, right? In other words, for any cyclic subgroup of order n...
I'll be taking an Elementary Abstract algebra class in Summer B (six week session) at my University. It will likely be pretty intense. (I actually requested/petitioned the class and got it). I want to do what I can so that me and my classmates will survive do well in the class, so I'm...
I am new to group theory, and read about a "universal property of abelianization" as follows: let G be a group and let's denote the abelianization of G as Gab (note, recall the abelianization of G is the quotient G/[G,G] where [G,G] denotes the commutator subgroup). Now, suppose we have a...
Greetings!
I have this friend who had synthesis of nanomaterials as his MS thesis. After talking with him, I realized that his passion is on helping the farmers in the agriculture industry. I want to help him find a research group or professor (for his Phd) in which he can apply what he...
Hello.
I'm just beginning my course in algebra. I've been reading Milne, Group Theory ( http://www.jmilne.org/math/CourseNotes/GT310.pdf page 29).
I've found there a very nice proof of the fact that given two elements in a finite group, we cannot really say very much about their product's...
From what I now understand of renormalization it is really a reparametrization of the theory in terms of measurable quantities instead of the 'inobservable bare quantities' that follow the Lagrangian; at least that is one interpretation of what is going on. The originally divergent physical...
Homework Statement
Consider the group D_{4} = <x,y:x^2=1,y^4=1,yx=xy^3> and the homomorphism \Phi : D_{4} \rightarrow Aut(D_{4}) defined by \Phi (g) = \phi _{g}, such that \phi _{g} = g^{-1}xg.
(a) Determine K = ker(\Phi)
(b) Write down the cosets of K.
(c) Let Inn(D_{4}) = \Phi (D_{4})...
Homework Statement
Show that the group velocity
vg=dω/dk
can be written as
vg=v-λ*dv/dλ
where v = phase velocity
Homework Equations
n=n(k)=c/v
k=2∏/λ
ω=2∏f=kv
fλ=c
The Attempt at a Solution
dω/dk = d(kv)/dk= v+k(dv/dk)= v+ck(d(n^-1)/dk) =v-(ck/n^2)(dn/dk)...
Homework Statement
Prove that in SL(2) group the matrix ## \begin{pmatrix} -1 & \lambda \\ 0 & -1 \end{pmatrix} ## can not be presented as a single exponentail but instead as product of two exponentials of ##sl(2)## algebra. ##\lambda \in \mathbb{R} ##
Homework Equations
I don't understand...
Hi all,
Here i ask the fisrt serie of questions i couldn't solve;
A basic knowledge of group theory is supposed for solving them!
------------------------------------------------------------
1- Can you find 3 subgroups H, k and L of a group G such that H U k U L = G ;and no one of the 3...
Homework Statement
Homework Equations
The Attempt at a Solution
For the first question, since [f(a)][g(a)] is in C, can I just say that since C is a ring, it is an abelian group, then the four axioms are proven? Then just show closure? Probably not I'm guessing. Associativity...
Hi!
I'm trying to prove a cyclic group is isomorphic to ring under addition. What the strategy I would take? How would I get it started?
Here's what I know so far:
I need to meet 3 conditions-- 1 to 1, onto, and the operation is preserved. I also know that isomorphic means that the group is...
Homework Statement
Let (G,◦) be a group and let N be a normal subgroup of G. Consider the set of all left cosets of N in G and denote it by G/N:
G/N = {x ◦ N | x ∈ G}.
Find G/N:
(G,◦) = (S3,◦) and N = <β> with β(1) = 2, β(2) = 3, β(3) = 1.
Homework Equations
The Attempt at a Solution
I'm...
Homework Statement
Let G be an ableian group of order mn, where m and n are relativiely prime. If G has
has an element of order m and an element of order n, G is cyclic.
The Attempt at a Solution
ok so we know there will be some element a that is in G such that
a^m=e where e is the...
Hey, just trying to get my head around the logic of this. I can see that if composition factors are cyclic then clearly the group is soluble, since there exists a subnormal series with abelian factors, but I am struggling to see how the converse holds. If a group is soluble, then it has a...
Hello everyone,
I read in Edmond's 'Angular momentum in Quantum Mechanics' that the symmetry group of the 9j symbol is isomorphic to the group S_3 \times S_3 \times S_2.
Why is this? Can anyone shed some light on this?
I need to read about finite abelian groups.
I searched 'finite abelian group' on amazon and the closest search result was 'finite group theory'. Googling didn't help either.
Does there exist a book dedicated to finite abelian groups? If yes, and if you know of a good one then please reply...
Is there a general algorithm for taking the presentation of a group and get the permutation generators for the subgroup of A(S) to which the group is isomorphic?
For example, given x^5=y^4=e, xy=f(c^2) how do I find (12345) and (1243), the permutations corresponding to x and y? BTW, the example...
Hello!
I'm currently reading Ryder - Quantum Field Theory and am a bit confused about his discussion on the correpsondence between Lorentz transformations and SL(2,C) transformations on 2-spinor.
He writes that the Lie algebra of Lorentz transformations can be satisfied by setting
\vec{K}...
Homework Statement
Prove that the proper orthochronous Lorentz group is a linear group. That is SOo(3, 1) = {a \in SO(3, 1) | (ae4, e4) < 0 } where (x,y) = x^T\etay for \eta = [1 0 0 0; 0 1 0 0; 0 0 1 0; 0 0 0 -1] (sorry couldn't work out how to properly display a matrix).
Homework...
Homework Statement
Let's say I have two compounds in an identical solvent. The compounds are also identical except for the following: One has a Br bonded to a tertiary carbon, and the other has an I bonded to a secondary carbon. Which would react first in an Sn1 nucleophilic reaction...
The phase velocity of ocean waves is (gλ/2∏)1/2,where g is the acceleration of gravity.Find the group velocity of ocean waves.
Relevant equations: λ=h/γmv phase velocity= c2/v(velocity of particle) group velocity=v (velocity of particle).
thnxx in advance
Homework Statement
Are all subgroups of a cyclic group cyclic themselves?
Homework Equations
G being cyclic means there exists an element g in G such that <g>=G, meaning we can obtain the whole group G by raising g to powers.
The Attempt at a Solution
Let's look at an arbitrary...
I am reading about group theory in particle physics and I'm slightly confused about the word "representation".
Namely, it is sometimes said that the three lightest quarks form a representation of SU(3), or that the three colors do.
But at the same time, it is said that a group can be...
Thanks! I started a new thread for new questions.
Let me start with one I don't even know makes sense: are there counterparts to the braid group for higher dimensional objects like membranes?
I am very confused by the treatment of Peskin on representations of Lorentz group and spinors.
I am confronted with this stuff for the first time by the way.
For now I just want to start by asking: If, as usual Lorentz transformations rotate and boost frames of reference in Minkowski...
Suppose we have a group with presentation G = <A|R> i.e G is the quotient of the free group F(A) on A by the normal closure <<A>> of some subset A of F(A). Is it true that that fundamental group of the Cayley graph of G (with respect to the generating set A) will be isomorphic to the subgroup...
Hello,
In my abstract algebra class, my teacher really stresses that when you show that a set is a group by satisfying the axioms of a group (law of combination, associativity, identity element, inverse elements) these axioms MUST be proved in order.
This makes some amount of sense to me...
Homework Statement
Let G be a finite group in which every element has a square root. That is, for each x in G, there exists a y in G such that y^2=x. Prove every element in G has a unique square root.
Homework Equations
G being a group means it is a set with operation * satisfying...
Homework Statement
True or False? Every infinite group has an element of infinite order.
Homework Equations
A group is a set G along with an operation * such that
if a,b,c \in G then
(a*b)*c=a*(b*c)
there exists an e in G such that a*e=a
for every a in G there exists an a' such...
I am reading my textbook of QFT (Maggiore, Modern Introduction in QFT), and there is this statement:
"If T^a_R is a representation of the algebra and V a unitary matrix of the same dimension as T^a_R , then V T^a_R V^\dagger is still a solution o the Lie algebra and therefore provides...
Homework Statement
There is a group of 7 people. How many groups of 3 people can be made from the 7 when 2 of the people refuse to be in the same group?
Homework Equations
nCr
The Attempt at a Solution
Here is what I know:
7C3 gives the total number of groups that can be...
Is there an easy way to see if a unitary group is cyclic? The unitary group U(n) is defined as follows U(n)=\{i\in\mathbb{N}:gcd(i,n)=1\}. Cyclic means that there exits a element of the group that generates the entire group.
I just studied group theory. Its all nice with all the definitions and rules that are supposed to be followed for a set with a given operation to be called a group. But I fail to see the importance of defining such an algebraic structure.
What are its uses?