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
Prove that any group of order ##15## is cyclic.
2. The attempt at a solution
I am looking at a link here: (http://www.math.rice.edu/~hassett/teaching/356spring04/solution.pdf) and I am confused why "there must be one orbit with five elements and three orbits with three...
Homework Statement
Let G be a group such that |G|>6. Then there are at least 4 conjugacy classes in GHomework Equations
The Attempt at a Solution
Well, I tried by contradiction by using the group of order 7, which must be isomorphic to the cyclic group of order 7, which has 7 conjugacy classes...
Hello,
I want to prove that the set SO(2) of orthogonal 2x2 matrices with det=1 is a Lie group.
The group operation is of course assumed to be the ordinary matrix multiplication \times:SO(2)→SO(2).
I made the following attempt but then got stuck at one point.
We basically have to prove that...
Hello
Homework Statement
I have this tab
http://img18.imageshack.us/img18/3317/eyph.png
Anf I have to find the group and phase velocities for a wavelength λ=550nm
Homework Equations
v(phase)= c/n
v(group)=dw/dk
v(phase)*v(group)=c²/n²
The Attempt at a Solution
I don't know...
Homework Statement
Let ##G## be a group of order ##4, G = {e, a, b, ab}, a^2 = b^2 = e, ab = ba.## Determine Aut(G).
2. The attempt at a solution
How can I do these types of problems?
When doing these types of problems is any automorphism of ##G## always determined by the images? And why...
I'm preparing for an upcoming exam, and as I see one of the typical questions that is frequently asked in our exams is about finding the number of elements that have a particular order in a group like Sn.
I searched on google and came up with some such problems with solutions. To be honest...
Homework Statement
How do I prove that the inner automorphisms is isomorphic to ##S_3##?
The attempt at a solution
I know ##S_3 = \{f: \{ 1,2,3 \}\to\{ 1,2,3 \}\mid f\text{ is a permutation}\}## and I know for every group there is a map whose center is its kernel so the center of of...
Hello Everyone,
I am seeking some guidance in a topic related to my group dissertation subject. The exact title of the dissertation is 'Investigation on the effect of using nano-ceramics on the strength of composite plates subjected to dynamic (impact) load.'. I had initially been bestowed the...
I want to show that if G is a smooth manifold and the multiplication map m:G×G\rightarrow G defined by m(g,h)=gh is smooth, then G is a Lie group.
All there is to show is that the inverse map i(g)=g^{-1} is also a smooth map. We can consider a map F:G×G\rightarrow G×G where F(g,h)=(g,gh) and...
From Artin's Algebra: "Prove that the set ##\operatorname{Aut}(G)## of automorphisms of a group ##G## forms a group, the law of composition being composition of functions."
Of course, we could go through and prove that the four group axioms in the standard definition of a group hold for...
My group has given the task of modeling projection of line and my part is to construct the vertical and horizontal plane.
So my idea is to have two mirrors joined like an laptop, so that we can fold them and they can also be perpendicular.
I'm thinking of making hole in one mirror and a...
Homework Statement
Let Q = {±1, ±i, ±j, ±k} be the quaternion group. Find all homomorphisms from Z2 to Q and from Z4 to Q. Are there any nontrivial homomorphisms from Z3 to Q?
Then, find all subgroups of Q.
Homework Equations
The Attempt at a Solution
I don't even know...
I have a question about quantum field theory.
What does the phrase 'the field is in [certain, e. g. fundamental] representation of a [certain, e. g. SU(2)] group' mean?
I know mathematical definitions of groups and their representations, but what does this specific phrase mean?
When I am reading about the Wilson approach to renormalization in Chapter12.1 of Peskin & Shroeder I am wondering why are you allowed only to contract the \hat{\phi} field (this is the field that carries the high-momentums degrees of freedom)as they show in equation 12.10, I thought that we...
I would like to know why $M_n$ $\not\cong$ $O_n$ x $T_n$, where $M_n$ is the group of isometries of $\mathbb R^n$, $O_n$ is the group of orthogonal matrices, and $T_n$ is the group of translations in $\mathbb R^n$.
**My attempt:** Can I show that one side is abelian, while the other group is...
Homework Statement
Show that for any field F , for n\ge2, the group GL_{n}(F) is not abelian.
Homework Equations
The Attempt at a Solution
I have found a counter example for all such n. First, for n=2, consider the matrices: A = \left( \begin{array}{ccc}
1 & 1\\
1 & 1 \end{array}...
Homework Statement
Hey guys,
So I have the following permutations, which are a subgroup of S3:
σ_{1}=(1)(2)(3), σ_{5}=(1,2,3), σ_{6}=(1,3,2)
This is isomorphic to Z3, which can be written as {1,ω,ω^{2}}
Next, we have the basis for the subgroup of S3:
e_{i}=e_{1},e_{2},e_{3}
And we also have...
Homework Statement
Hi guys,
The title pretty much says it. I need to explain why:
(a) an abelian group of order |G| has precisely |G| conjugacy classes, and
(b) why the irreducible representations of abelian groups are one-dimensional.
Also in my description below, if I make any mathematical...
I have a question that I have approached, but want to check if I'm on the right track.
Let G denote the group of symmetries of a circle. There are infinitely many reflections and rotations. There are no elements besides reflections and rotations. The identity element is the rotation by zero...
Hey guys!
Basically, I was wondering how to prove the following statement. I've seen it in the Hamermesh textbook without proof, so I wanted to know how you go about doing it.
Let's say you have a group element g_{1}, which has a corresponding inverse g_{1}^{-1}. Let's also define a linear...
Hey everyone
Let's say I have two generators, a and b, with the following relations:
a^{5}=b^{2}=E
bab^{-1}=a^{-1};
Where E is the Identity element.
What I've done so far is this - the number of elements of the group is the product of the exponents of both generators, which is 10...
I want to determine the orbits of the proper orthochronous Lorentz group SO^{+}(1,3) .
If I start with a time-like four-momentum p = (m, 0, 0, 0)
with positive time-component p^{0} = m > 0 ,
the orbit of SO^{+}(1,3) in p is given by:
\mathcal{O}(p) \equiv \lbrace \Lambda p...
Hi,
I am looking to find the invariants of products of fields under SU(5) and other possible gauge groups (but let's take SU(5) as an example). Take, for example, two matter fields in the 5* and 10 and two Higgses in 5 and 5* (called H_{5} and \bar{H}_{5*}).
Then the term
5* 10...
Homework Statement
Show that any group of order 4 or less is abelian
2. The attempt at a solution
I came across this hint.
Since its of order 4 we have {e,a,b,c}, where e = identity.
The elements a, b, c must have order 2 or 4. There are two possibilities.
1. a, b, c all have order 2.
2...
Homework Statement
The dielectric constant k of a gas is related to its index of refraction by the relation k = n^{2}.
a. Show that the group velocity for waves traveling in the gas may be expressed in terms of the dielectric constant by
\frac{c}{\sqrt{k}}(1 -...
Hey!
From MathWorld on solvable group:
But why is that a special case? The way I understand it: the normal series can always be made such that all composition factors are simple, but then the composition factors are both simple and Abelian, and hence (isomorphic to) \mathbb Z_p, i.e. the...
Let's say you have a group of 22 people, which you would like to break into 5 different groups -- 3 groups of 4 and 2 groups of 5. How many distinct ways can you form such groups?
I don't want to double count groups. Let's say I number the people from A - V. The group ABCDE and ACDBE should...
My prof has been throwing around some group theory terms when talking about spin and isospin (product representations, irreducible representations, SU(3), etc.) I'm looking for a brief intro to group theory, the kind you might find in a first chapter of a physics textbook, so I can get familiar...
I was reading the derivation on Wikipedia:
http://en.wikipedia.org/wiki/Group_velocity#Derivation
Why is the first part before the integral sign ignored when calculating the velocity? Surely it would also cause a phase shift in some time interval and make the waves move forward (or backward)?
Homework Statement
Prove that no group of order 160 is simple.
Homework Equations
Sylow Theorems, Cauchy's Theorem, Lagrange's Theorem.The Attempt at a Solution
Because 160 = 2^5×5, by the First Sylow theorem, there is a subgroup H of order 2^5 = 32 in G. Let S be the set of all...
1. Homework Statement .
Prove that the only homomorphism between Z5 and Z7 is ψ(x)=0 (the trivial homomorphism).
3. The Attempt at a Solution .
I wanted to check if my solution is correct, so here it goes:
Any element x in Z5 belongs to the set {0,1,2,3,4}
So, I trivially start by...
1. Homework Statement .
Let p be a prime number, m a natural number and G a group of order p^m. Prove that there exists an element a in G such that ord(a)=p.
3. The Attempt at a Solution .
I know of the existence of Lagrange theorem, so what I thought was: I pick an arbitrary element a (I...
Hello,
I'm following the proof for this theorem in my textbook, and there is one part of it that I can't understand. Hopefully you can help me. Here is the part of the theorem and proof up to where I'm stuck:
Let ##N## be a normal subgroup of a group ##G##. Then every subgroup of the...
Hi!
I keep hearing that in the large N limit (so I am talking in specific AdS/CFT but more general too I guess) U(N) and SU(N) are isomorphic. So if I construct, say, the ## \mathcal{N}=1 ## SYM Lagrangian in the large N limit, I can take as gauge group both of the ones mentioned above...
I couldn't find the words to summarize my question perfectly in the title so I will clarify my question here.
Say we have a group G in which every element can be written in the form g_1^{e_1} g_2^{e_2}...g_n^{e_n}, 0 ≤ e_i < |g_i| .
Suppose that there exists a different set g_1', g_2', ...
1. Homework Statement
Let S be the set of complex numbers z such that |z|=1. Is S a cyclic group?
3. The Attempt at a Solution
I think this group isn't cyclic but I don't know how to prove it. My only idea is:
If G is a cyclic group, then there is an element x in G such that...
Homework Statement
Prove or disprove the following assertion. Let G, H, and K be groups. If G × K \cong H × K, then G \cong H.Homework Equations
G × H = \left\{ (g,h): g \in G, h \in H \right\}
The Attempt at a Solution
I don't even know whether the statement is true or false... I tried...
Is any given finite semigroup isomorphic to some finite semigroup S that consists of some subsets of some finite group G under the operation of set multiplication defined in the usual way? (i.e. the product of two subsets A,B of G is the set consisting of all (and only) those elements of G that...
Why must the charged particle that leads to Cherenkov radiation travel faster than the phase velocity of light not the group velocity of light?
One of the sides of the triangle that is used to define cosθ is v=c/n i.e. the phase velocity. I don't see why it's one rather than the other.
Thanks!
Let ##G## be a set equipped with a binary associative operation ##\cdot##.
In both of the following situations, we have a group:
1) ##G## is not empty, and for all ##a,b\in G##, there exists an ##x,y\in G## such that ##bx=a## and ##yb=a##.
2) There exists a special element ##e\in G##...
Hello. I have been looking into group theory for its applications to subject I am studying. I am not a mathematician by profession or training, but I find it has great use to any analytical pursuit. With that said, I have outlined below type of group that I would like to know more about. For...
Hi,
I'm having trouble understanding why the follow composition table for the set \left\{ a, b, c, d \right\} with operation * doesn't define a group.
\begin{array}{c|cccc}
* & a & b & c & d \\ \hline
a & c & d & a & b \\
b & d & c & b & a \\
c & a & b & c & d \\
d & b & a &...
I am reading QFT from Srednicki's book. In the 2nd chapter of this book and in the spin half part of this book, group theory and group representation theory is used. Can you suggest me a book from where I can learn this?
So I'm intending to teach myself some Particle Physics and Standard Model type stuff, I was wondering if someone who's already covered this could give me some advice.
I did some Group Theory a few years back and looking over content pages of lecture notes I occasionally spot references to...
Hi. Today I sat my final first year Modern Physics exam. It went very well, however I got stuck in one question. It asked (i) to prove the following relation for the matter wave \omega^{2}=k^{2}c^{2}+m^{2}c^{4}/\hbar^{2} and (ii) to obtain the group velocity and phase velocity of a matter wave...
Interesting question I've happened upon:
If there is an epimorphism (i.e. onto homomorphism) $\phi:G\times G \to H\times H$, is there necessarily an epimorphism $\psi:G\to H$? If not, under what conditions can we ascertain such an epimorphism given the existence of $\phi$?
I would think that...
Please show me some group theory books that considering the combination of quantum mechanics and relativity theory that leads to the needing of notion of fields.I have heard that the irreducible representation of Poicare group leading to the infinite dimensions representation(meaning field...
I already know about generators, rotations, angular momentum, etc.
When I see questions about SO(3), SU(3), and lie groups as it pertains to quantum mechanics, I always hold off on getting into the discussion because I think maybe I don't know what that means. It all seems really familiar...