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.
Hi,
I am having trouble with this question so it would be really nice if anyone could provide some help.
Let $$\phi: G \to G'$$ be a group homomorphism, and let $$H' \le G'$$ be a subgroup of G'.
a) Show that $$H=\phi^{-1}(H')$$ is a subgroup of G.
b) Now suppose H’ is a normal subgroup of...
Hello,
I was reading these notes on supersymmetry, and in the appendix (which as he says is just to establish his conventions), talks about a lot of group theory and stuff that I don't know. Can someone please recommend a book/lecture notes where I can learn this?
Homework Statement
I need to find an isomorphic group for the following group
F A B C D E F G H < these are the rotations/reflections, f is the operation followed by
A G D E B C H A F
B D G F A H C B E
C E F G H A B C D
D B A H G F E D C
E C H A F G D E B
F H C B E D G F A
G A B C D E...
I've been thinking about complex residues and how they relate to the topology of a function's Riemann's surface. My conclusion is this: it definitely tells us something, but it relates more directly to the Riemann surface of its antiderivative. Specifically:
A closed contour in the plane is...
This is not really a homework questions, rather a concept based one. I am studying from Fraleigh's ''Intro to abstract algebra'' and in chapter 15 it states, that for a group G and normal non-trivial subgroup of N of G, the factor group G/N will be smaller than G. I am not sure how he counts the...
Hi, I am told to give the subgroup H=<α,β> with α,β\inS3
α = (1 2)
β = (2 3)
So I know that H={αkβj|j,k\in(the integers)}
However, would αβα or βαβ (in this case, they're equal) be in H?
The set H={ε,(1 2), (2 3), (1 2 3), (1 3 2)} (or {ε,α,β,αβ,βα})
would not be closed because (1 2...
Homework Statement
Clasify the group Z4xZ2/{0}xZ2 using the fundamental theorem of finitely generated abelian groups.
Homework Equations
FTOFGAG: In short it states that every finitely generated abelian group G is isomorphic to a direct product of cyclic groups of the form...
Hey,
I've been trying to solve this question,
Show that <a in D8 : a2=1> is a not a group.
I might not be processing it properly, but my interpretation of the question is that
<a in D8 : a2=1> = <(a,b): a2=e, b2=2, ab=a-1b>
Which is just D4, a group, the set of dihedral where...
Hey,
I have a small question about groups,
If you have a comunitative 'group' H = <a in H : a2=1>,
Is that enough information to show that it is a group, without knowing the binary operation?
say b is also in H
then a*b=b*a
(a*b)*(b*a) = (a*a)*(b*b) = 1 (since its...
I have just read my first course on Quantum Field Theory (QFT) and have followed the book by Srednicki. I have peeked a bit in the books by Peskin & Schroeder and Ryder also but mostly Srednicki as this was the main course book. Now, I have to do a project in a topic not covered in the course...
I am currently in my second undergraduate quantum course and just finished studying the addition of angular momenta. I am also in my third abstract algebra course and am now covering product groups and group actions. In my QM book (griffiths) there was a reference made to group theory. it said "...
Are there two separate renormalization group equations?
One for how the physical coupling constants change with time, and one for how the bare parameters/coupling constants change with cutoff?
Is there a relationship between the two?
It just seems that textbooks use the term renormalization...
Hey,
I just have a small question regarding the conjugation of permutation groups.
Two permutations are conjugates iff they have the same cycle structure.
However the conjugation permutation, which i'll call s can be any cycle structure. (s-1 a s = b) where a, b and conjugate...
Hey,
I just have a small question regarding the conjugation of permutation groups.
Two permutations are conjugates iff they have the same cycle structure.
However the conjugation permutation, which i'll call s can be any cycle structure. (s-1 a s = b) where a, b and conjugate...
Homework Statement
In set theory, i have a two part question, the first is showing that the system S={set of all real numbers( \Re )}, #}
where a#b=a+b-ab
we have to show that it's not a group.
and then find what c is so that the system = { \Re \cap\overline{c}, # } is a group.Homework...
Hello!
My book here states that for a medium where the index of refraction n increases with increasing frequency (or wavenumber), "the group velocity is less than the phase velocity". This is stated for a wave which is the sum of two waves with equal amplitude and differing frequency...
I was just wondering what the word is that describes the group of Metals and Non-Metals and Metalloids.
like
Hydrogen, Calcium, Carbon are all Elements
Metals, Metalloids and Non-Metals are all _______
If there happens to be no such word please comment so.
find a group isomorphic to ℤ[i]
1. Knowing the below proof, The group of units of ℤ[i] is isomorphic to a familiar group. Which one?
2. We have already shown: "Let R be a ring with unity, and let U denote the set of units in R. Show that U is a group under the multiplication in R."...
G finite abelian group
WTS: There exist sequence of subgroups {e} = Hr c ... c H1 c G
such that Hi/Hi+1 is cyclic of prime order for all i.
My original thought was to create Hi+1 by reducing the power of one of the generators of Hi by a prime p. Then the order of Hi/Hi+1 would be p, but...
Homework Statement
Show that the general linear group GL(3,R) with matrix multiplication is not an abelian
group.
Homework Equations
The Attempt at a Solution
A group to be abelian we have to show that it satisfies the Commutativity.
a*b=b*a
How are we going to show...
Sorry if I formatted this thread incorrectly as its my first post ^^
Homework Statement
For every integer n greater than 2, prove that the group U(n^2 - 1) is not cyclic.
Homework Equations
The Attempt at a Solution
I've done a problem proving that U(2^n) is not cyclic when...
Homework Statement
Determine the orders of all the elements for the symmetric group on 3 symbols S3.
Homework Equations
_______________________________________
The Attempt at a Solution
3 symbols : e,a,b
I don't know how to do the S3 table using just these 3 letters
I can do...
For arbitrary natural numbers a and b, I don't think the direct sum of Z_a and Z_b (considered as additive groups) is isomorphic to Z_ab. But I think if p and q are distinct primes, the direct sum of Z_p^m and Z_q^n is always isomorphic to Z_(p^m * q^n). Am I right? I've been freely using...
Hello,
Let's suppose that I have a Lie group G parametrized by one real scalar t and acting on ℝ2.
Is it generally correct to say that the orbits of the points of ℝ2 under the group action are one-dimensional submanifolds of ℝ2, because G is parametrized by one single scalar?
If so, how can I...
I need to show a group with $g^{2} = 1$ for all g is Abelian. This is all the information given, I do know what Abelian is, and I know that this group is but I don't know how to 'show' it. Can someone help?
Gracias,
GreenGoblin
Hi all,
I'm looking for basic strategies for identifying the subgroups of a group. I believe I have to use conjugacy classes and cycle types, but I'm not sure how to apply those concepts.
Let me pose a specific problem:
Let $G$ be a subgroup of the symmetric group $S_5$, with $|G| = 4$.
By...
Homework Statement
You walk into your class the first day of classes, and you notice that
there are 30 men and 20 women in the class already. Let's suppose you decide to choose
two people from the class to be your study partners.
If you choose your study partners at random, and given...
Let H be a subgroup of G and define the core of H as such
core H={g\inG| g\inaHa^-1 for all a\inG}= \bigcap{aHa^-1|a\inG}
Prove that the core of H is normal in G and core H\subsetH.
I am having a hard time proving this because isn't the definition of core H basically saying the the core...
I would like to study the path components (isotopy classes) of the diffeomorphism group of some compact Riemann surface. To make sense of path connectedness, I require a notion of continuity; hence, I require a notion of an open set of diffeomorphisms. What sort of topology should I put on the...
Would it be correct to call mixture of three chemical solutions, namely salt water, salt water with sodium hydroxide, and salt water with HCl, a group? As I understand this, (which is not entirely realistic) mixture of solutions is associative and closed, salt water would be the identity which...
How does one compute the modular group of the torus? I see how Dehn twists generate the modular group, and I see how Dehn twists are really automorphisms of isotopy classes. Based on this, it seems that the modular group should be Aut(pi1(T^2))=Aut(Z^2)=GL(2,Z). But I've read that the modular...
Hello,
if I have a set of functions of the kind \{ f_t | f_t:\mathbb{R}^2 \rightarrow \mathbb{R}^2 \; ,t\in \mathbb{R} \}, where t is a real scalar parameter. The operation I consider is the composition of functions. What should I do in order to show that it forms a Lie Group?
The general linear group of a vector space GL(V) is the group who's set is the set of all linear maps from V to V that are invertible (automorphisms).
My question is, why is this a group? Surely the zero operator that sends all vectors in V to the zero vector is not invertible? But isn't it...
What is "Little Group"?
In my Quantum Field Theory class, I too often meet with the term "Little Group".
Unfortunately, I cannot find a good description of Little Group until now. I just know it is a subgroup of Lorentz Group.
Can anyone have any brief description of this concept? Or any...
Homework Statement
Is the set of a single element {e} with the multiplication law ee = e a group?Homework Equations
none.The Attempt at a Solution
Yes, it is a group. But that is not my question. My question is how do you ask the question? If I were face to face with you and wanted to ask you...
Renormalization Group concept is rarely given in laymen book on QM and QFT and even Quantum Gravity book like Lisa Randall Warped Passages. They mostly described about
infinity minus infinity and left it from there. So if you were to write about QFT for Dummies. How would you share it such...
The following statements are from the paper with the above title, recommended in another
thread, are from here:
http://fds.oup.com/www.oup.co.uk/pdf/0-19-922719-5.pdf
An interpretion of these statements would be appreciated:
1.
[first paragraph, page 3] What is 'conservation of...
If you consider the permutation representation of Sn in ℂ^n, i.e the transformation which takes a permutation into the operator which uses it to permute the coordinates of a vector, then of course the subspace such that every coordinate of the vector is the same is invariant under the...
Homework Statement
Let G=S_6 acting in the natural way on the set X = \{1,2,3,4,5,6\}.
(a)(i) By fixing 2 points in X, or otherwise, identify a copy of S_4 inside G.
(ii) Using the fact that S_4 contains a subgroup of order 8, find a subgroup of order 16 in G.
(b) Find a copy of S_3...
The group in question is U100, the group of units modulo 100, which, correct me if I'm wrong, is equal to {3, 7, 9, 11, 13, 17, 19, 21, 23, 27, 29, 31, 33, 37, 39, 41, 43, 47, 49, 51, 53, 57, 59, 61, 63, 67, 69, 71, 73, 77, 79, 81, 83, 87, 89, 91, 93, 97, 99}.
How many elements are there of...
I'm trying to prove that every nxn matrix can be written as a linear combination of matrices in GL(n,F).
I know all matrices in GL(n,F) are invertible and hence have linearly independent columns and rows. I was thinking perhaps there is something about the joint bases for the n-dimensional...
The words Poincare and Lorentz sound pretty elegant. I think they are French words like Loreal Or Laurent.
I know Poincare has to do with spacetime translation and Lorentz with rotations symmetry. But how come one commonly heard about Lorentz symmetry in Special Relativity and General...
For some reason, diffeomorphism invariance seems to be treated like a second-class citizen in the land of symmetries. In nonrelativistic quantum mechanics, we consider Galilean invariance so important that we form our Hilbert space operators from irreducible representations of the Galilei...
Hi everyone,
I was just wondering if anyone had any suggestions of more-mathematically-rigorous textbooks on Lie groups and Lie algebras for (high-energy) physicists than, say, Howard Georgi's book.
I have been eying books such as "Symmetries, Lie Algebras And Representations: A Graduate...
Homework Statement
I need help assigning the peaks in a Raman spectrum of acetylene(ethyne).
The peaks are :
Wavenumber Contours
3372 OQS
1973 OQS
613 OPRS
2. The attempt at a solution
Ethyne has 7 vibrational modes (...
Lets say i have elements a,b,c,d,e in some group.
is abcde always = ab(d^-1c^-1)e. My question is and you change elements in the middle of an operation by using the inverse?
Proof showing group is abelian?
Homework Statement
Show that every group G with identity e such that x*x=e for all x in G is abelian.
The Attempt at a Solution
I know that Ii have to show that it's commutative. I start by taking x,y in G and then xy is in G, so
x*x=e...
Hello!
I´m currently reading 'Groups, Representations and Physics' by H.F. Jones and I have drawn some conclusions that I would like to have confirmed + I have some questions. :)
Conclusions:
1. An albelian group has always only one irrep.
2. The direct sum of two representations...
Homework Statement
If f(x) is an irreducible cubic polynomial over a field F, is it ever possible that C_2 may occur as the \operatorname{Aut}(K/F) where K is the splitting field of f?
The Attempt at a Solution
It seems that this should be theoretically possible. In particular, if f is an...