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.
Assume that G of order 48 has 3 sylow 2-subgroups. Let G act on the set of such subgroups by conjugation. How do I know that this action is onto? I know that all 3 subgroups are conjugate but I'm not sure this is enough.
Homework Statement
Show that there is no non-abelian group G such that Z(G)=\mathbb{Z}_2, which satisfies the short exact \mathbb{Z}_2\rightarrow G\rightarrow\mathbb{Z}_2^3.The Attempt at a Solution
I have knowledge of group theory up through proofs of the Sylow theorems. I know the center is...
Homework Statement
Prove that any subgroup of a finitely generated abelian group is finitely generated.
Homework Equations
The Attempt at a Solution
I've attempted a proof by induction on the number of generators. The case n=1 corresponds to a cyclic group, and any subgroup of a...
first ,
if p is prime , show that an element has order p in Sn iff it's cycle decomosition is a product of commuting p-cycles
my solution is very diffrent about the one in the book and I don't know if my strategy is right
my proof
______
let T is an element of Sn
and the cycle...
Homework Statement
I am trying to prove the following:
Let G be a finite group and let \{p,q\} be the set of primes dividing the order of G. Show that PQ=QP for any P Sylow p-subgroup of G and Q Sylow q-subgroup of G. Deduce that G=PQ.
Homework Equations
The set PQ=\{xy: x \in P \text{ and }...
Hi guys,
I have quastion about groups:
G is abelian group with an identity element "e".
If xx=e then x=e.
Is it true or false?
I was thinking and my feeling is that it's true but I just can't prove it.
I started with:
(*) ae=ea=a
(*) aa^-1 = a^-1 a = e
those from the...
Homework Statement
G is a group, H is a subgroup of G, G acts on G/H in the standard manner, and N(H) is the normalizer of H in G. Show that there is an isomorphism between Aut(G/H) and N(H)/H, where Aut(G/H) is the set of G-equivariant bijections f:G/H -> G/H
Homework Equations...
So I was working through some problems in Herstein's Algebra on my own time, and I came across something I wasn't so sure about.
The question was, Find a non-abelian group of order 21 (Hint: let a3=e and b7=e and find some i such that a-1ba=bi≠b which is consistent with the assumptions that...
Consider θ:Z -> Z is a mapping where θ(n) = n^3 and it's homomorphism under multiplication. In this case, it's not a homomorphism under addition.
So my question is this. In general, if we show that a group is homomorphic under multiplication, does this imply that it is not under addition...
Homework Statement
Let (G,.) be an non-abelian group. Choose distinct x and y such that xy≠yx.
Show that if x2≠1 then x2\notin{e,x,y,xy,yx}
The Attempt at a Solution
If x2=x would imply x.x.x-1=x.x-1 and x=e which cannot be.
If x2= xy or x2=yx would imply x=y which also cannot be...
the polynomial x^4+8x+12=0 has the Galois group A4. I have all its roots, but can't figure out its splitting field. The roots are
\alpha_1=\sqrt{2}(\sqrt{\cos{(\pi/9)}}+i\sqrt{\cos{(2\pi/9)}}+i\sqrt{\cos{(4\pi/9)}})
\alpha_2=\sqrt{2}(\sqrt{\cos{(\pi/9)}} -...
I have difficulty understanding the exact concept of group velocity. Consider a wave packet as a linear combination of a number of eigenstates of a 1-D particle in box. The dispersion curve(\omegaversus k) is composed of discrete points located on a parabola. Well, for each point one can...
Homework Statement
Let G = \langle x,y \ | \ x^2, y^3, (xy)^3 \rangle, and f: G \rightarrow A_4 the unique homomorphism such that f(x) = a, f(y) = b, where a = (12)(34) and b = (123). Prove that f is an isomorphism. You may assume that it is surjective.
Homework Equations
N/A
The...
I was wondering if there are any theorems that specify an exact number of subgroups that a group G has, maybe given certain conditions.The closest thing I know is a theorem that says if G is finite and cyclic of order n it has exactly one subgroup of order d for each divisor d or n. I am not...
hi ,
let (G,*) be a semigroup with the property that for any two elements a,b belongs to G , the equations:
a*x=b , y*a=b
have solutions x,y in G , verify that (G,*) forms a group.
---
my attempt
first one ,
* is associative as (G,*) is a semigroup
assume a=b ,then ...
Hi guys,
This is a general question that I'm thinking about now. Imagine that I've been given a set which is a group and we have defined a topology on it. how can I show that the group operation is continuous? Actually to begin with, how can I know if the group operation is really continuous...
I am currently reading a paper discussing the convexity of the image of moment maps for loop groups. In particular, if G is a compact Lie group and S^1 is the circle, the paper defines the loops group to be the set of function f: S^1 \to G of "Sobolev class H^1 ." Now in the traditional...
i know that this can be proved easily using the lower central series, but i am having a hard time trying to prove this using the upper central series definition.
I saw a proof which said that if H is a subgroup of G, Z_{r}(H) \geq Z_{r}(G) \cap H for all r. So if G is nilpotent which means...
Homework Statement
show that the group velocity and phase velocity are related by
d vgroup = vphase - \lambda ( (d vphase) / (d \lambda) )
Homework Equations
vphase = \lambdaf
vgroup = d\omega/dkThe Attempt at a Solution
dw/dk = \lambdaf - \lambda(d\lambdaf/d\lambda)
dw/dk = \lambdaf -...
Let G be a finite group. Under what circumstances ...
Homework Statement
... is that map δ:G→G defined by δ(x)=x2 an automorphism of F.
Homework Equations
And automorphism δ:G→G is a bijective homomorphism.
The Attempt at a Solution
The only circumstance I've so far found is...
Does anyone have any intuitive idea of how to visualize a group. The closest thing I know of in terms of a group visualization tool is a Cayley graph. I was wondering if anybody knows of a better method to visualise a group? And slightly different question what is the use of Cayley graph?
Say we have a cyclic group G, and a generator a in G. This means [a] = G. We know the order of an element a, is the order of the group it generates, [a], and also this is the smallest integer s such that as=e, where e is the identity element. In this case, [a]=G, so s is just the order of G...
What about in a ring where we have two binary operations defined. I get super confused when I see someone just switch from something like n*a to a + a + ... + a (n times, where * is the binary operation on the "semigroup" part of the ring, and + is the operation on the "group" part of the ring)...
1) Since Wigner it is well known that for massless particles of spin s the physical states are labelled by helicity h = ±s; other states are absent. So e.g. for photons the physical states are labelled by |kμ, h> with kμkμ = 0 and h = ±1 and we have two d.o.f.
2) For gauge theories with...
Homework Statement
The question is out of Hungerford's Algebra (Graduate Texts in Mathematics). Page 69,#7:
Show that the group defined by generators a,b and relations a^2=e, b^3 = e is infinite and nonabelian.
Homework Equations
The Attempt at a Solution
My professor gave...
How we speak about the coil of primary in phase of a versus secondary coil
this is accepted (as there is on same core)
But question about
we say this transformer (ex) is vector group Dy11
that means phase difference between primary and secondary voltage is 330 angle
!
It's conflicted...
Can group have a "volume"?
For example, SL(n, R) is a subgroup in a linear matrix space with det A = 1. So can this equation represent a certain "region" in the n-dimensional linear space and therefore that it has a "volume"?
Homework Statement
Had this question on a test today and now I'm having second thoughts. We were asked to assign the point group of symmetry for the compound XeO2F4.
Homework Equations
NoneThe Attempt at a Solution
I had initially thought that it fell under D4h because it contains 1 C4 axis...
Homework Statement
A group presentation G = (a,b : a^m = b^n = 1, ba = a^db) defines a group of order mn if and only if d^n \equiv 1 (mod m).
Homework Equations
One book that I read presents a solution in a way of constructing a group of said order by defining associative binary...
I know the physical meaning of phase as well as the group velocity.
I want to know the mathematical relationship between the phase velocity and group velocity.
Thanks a lot.
Monoid of "specifications" for a group
The question of whether there is any standard math associated with specifications of ordered pairs on a group went nowhere (https://www.physicsforums.com/showthread.php?t=640395), so I will spell out what I have in mind.
It appears possible to define a...
It is a well known fact that the Lorentz group of transfornations are linear.
Now reading the wiki entry on the LG it spends a good deal explaining its identity component subgroup, the restricted LG group, and it turns out it is isomorphic to the linear fractional transformation group, which are...
Hi everybody,
Can somebody help me with the following proof.
Show that for the Poincaré group
P=T\odot L
Where T is the group of translations and L is the Lorentz group and P is the semi-direct product of the two subgroups
I know the axioms for a semi-direct product in this case are...
Homework Statement
Let H be a subgroup of G
Prove xH=yH ⇔ x-1.y\inH
Homework Equations
The Attempt at a Solution
If x.H = y.H then x,y\inH
since H is a subgroup x-1,y-1\inH
and the closure of H means x-1.y\inH
Proving the reverse is my problem despite the fact that I'm sure...
Hello,
Please help in solving the four set of problems, i will be very happy explaining comment as really want to understand.
The problem will spread to the extent of understanding preduduschey.
1 Problems:
The set M, M = {e^(j*2*pi*k/n) , k= 0,1,2...n-1} denotes the set of the nth...
I am trying to understand phase and group velocities in a few different contexts, but require some assistance. From pictures I have seen how these speeds can be different, and I have come to understand that the phase velocity can be greater than the speed of light because it does not actually...
Homework Statement
I'm trying to find the galois group of x^5 - 1 over Q, and then for each subgroup of the galois group identify which subfield is fixed.
Homework Equations
The Attempt at a Solution
If w = exp(2*I*PI/5), then the roots not in Q are w, w^2, w^3, w^4. Its fairly...
I have heard, but never seen a representation, that we know the characteristics of photons because of their reaction with other charges particles. So what exact physical motions are induced on the particles when a photon travels through them. Does the magnitude of the electric and magnetic...
Is there a technical term in group theory for (what I would call) partially specified elements of a group?
I mean "partially specified" in the following sense:
An elements of a group acts as permuation on the set of elements of the group. So a group element can be considered to be a function...
1. The problem statement, all variables and given/known data
Let (G,*) be a group, and denote the inverse of an element x
by x'. Show that f: G to G defined by f(x) = x' is a bijection,
by explicitly writing down an inverse. Given x, y in G, what is
f(x *y)?
Homework Equations...
Homework Statement
There are two groups, group 1 and 2. Group 1 has a 0.5 chance of losing $36, while group 2 has a 0.1 chance of losing $36 dollars. The groups are of equal size. Now an insurance company is willing to cover the losses for a payment. However, the insurance company has an...
Homework Statement
The only thing I need to do now is show that isometric functions commute. I've shown the 3 properties that prove the the set G of isometric functions is a group.
Homework Equations
If f:Z-->Z is bijective and preserves distances, then f is isometric.
The Attempt...
I'm working on a problem where I have to find the little co-group and star of two wave vectors for a diamond structure (space group 227). I know I have to act on the vector by the symmetry operations in the group (perhaps only the ones in the isogonal point group, Oh?) and see if it remains the...
A little bit of background I have passed all my qualifiers and my even passed my preliminary exam (research plan). My research area was particle searches at the CMS detector. The issues that led to me being dismissed was due to my computing ability. I am able to program however had very little...
Homework Statement
I'm given the refractive index of a piece of glass:
$$n(\omega)=A+B\omega$$
And I have to find the speed at which a pulse of radiation will travel through the glass at an angular frequency $$\omega = 1.2 \times 10^{15} s^{-1}$$
I also have A = 1.4, B=3.00 x 10^-17.
Homework...
32 point group system "mmm" in Orthorhombic crystal
Hello,
I am trying to understand the mmm symmetry in a orthorhombic crystal. Looking from the diagram I know there are 5 diads which will give me 10 unique planes in the same form. But how do I know the exact planes that are in the form given...
Homework Statement
A wave packet in a dispersive medium is given as :
y(t) =cos(x-5t)cos(.2x-.4t)cos(.1x-.2t)
Find group velocity and phase velocity for the wave packet. Hence plot w-k variation for the calculated values.
2. The attempt at a solution
We know that for the wave, Vg = dw/dk and...
what is an infinite group that has exactly two elements with order 4?
i let G be an infinite group for all R_5 ( multiplication modulo 5) within this interval [1,7)
so i got |2|=|3|=4.
i'm not sure this is the right answer but i couldn't think of anything else at a moment. help please.
Can anyone recommend some litterature on representations of the Lorentz group. I'm reading about the dirac equation and there the spinor representation is used, but I would very much like to get a deeper understanding on what is going on.