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.
I am working on myself on a problem looks like this:
Let ##G'## be a group and let ##\phi## be a homomorphism from ##G## to ##G'.## Assume that ##G## is simple, that ##|G| \neq 2##, and that ##G'## has a normal subgroup ##N## of index 2. Show that ##\phi (G) \subseteq N##.
I have been asking...
My daughter needs my help, and I am stumped. Here is the problem:
In the first round of the city soccer tournament, the teams in group A finished as follows:
Team------>Goals For------>Goals Against----->Points
Naranja---> 4--------------->2-------------------->7
Bleu------>...
Hi, let p : E--->B be a covering map. Then we have a result that for every subgroup of ## \pi_1(B) ## we have an associated covering map. Now, going in sort-of the reverse direction, is there a way of figuring out what ## \pi_1(B) ## is, if we know a collection of covering maps for B; what...
I came across this problem in class note but I was stuck:
Assume that ##G## be a group of order 21, assume also that ##G'## is a group of order 35, and let ##\phi## be a homomorphism from ##G## to ##G.'## Assume that ##G## does not have a normal subgroup of order 3. Show that ##\phi (g) = 1##...
What is the relationship between transmission of information and group velocity of a wave packet?
I always keep hearing things like information always travels at the group velocity, it can't go faster than light etc. While I do understand (to an extent) about information not exceeding the...
In Srednicki's text on quantum field theory, he has a chapter on quantum Lorentz invariance. He presents the commutation relations between the generators of the Lorentz group (equation 2.16) as follows:
$$[M^{\mu\nu},M^{\rho\sigma}] =...
Want to learn QFT but often lose courage when seeing such a huge book(M. Srednicki). The author also suggests learn with someone else. Is there any group for this?
Hey! :o
We consider the polynomial $f(x)=x^3+x^2-2x-1 \in \mathbb{Q}[x]$ and let $E$ be its splitting field.
How can we find the group $Gal(E/\mathbb{Q})$ ?? (Wondering)
Hello,
I feel very uncomfortable with some aspects of the theory of valuations, places, and valuation rings.
Here is one of my problems :
Assume that L/K is a finite Galois extension of fields, and that F is a place from K to its residual field k, whose associated valuation ring is discrete.
F...
Hi,
I'm trying to understand the process of finding the elements of a given group, such as SE(2). What I do understand is limited to finding elements of very simple symmetry groups, such as those corresponding to rotations/reflections of shapes. My overall knowledge of groups is also pretty...
Homework Statement
What is the strongest acid among the following: H2O, H2S, H2Se, H2Te
2. The attempt at a solution
I noticed they are in the same group so I think the idea is to pick the compound with the group 6 element that is largest in atomic size...I think it's H2Te because atomic size...
Homework Statement
Let ##G## be a group such that its center ##Z(G)## has finite index. Prove that every conjugacy class has finite elements.
Homework EquationsThe Attempt at a Solution
I know that ##[G:Z(G)]<\infty##. If I consider the action on ##G## on itself by conjugation, each...
1- How can infer from the determinant of the matrix if the latter is real or complex?
2- Can we have tensors in an N-dimensional space with indices bigger than N?
Hi,
I am trying to understand the derivation of the Lorentz generators but I am stuck.
I am reading this paper at the moment: http://arxiv.org/pdf/1103.0156.pdf
I don't understand the following step in equation 15 on page 3:
\omega^{\alpha}_{\beta}=g^{\alpha\mu}\omega_{\mu\beta}
I don't...
Hi,
In chapter 12 of GSW volume 2, the authors remark, "spinors form a representation of SO(n) that does not arise from a representation of GL(2,R)."
What do they mean by this?
More generally, since SO(n) is a subgroup of GL(2,R) won't every representation of GL(2,R) be a representation of...
I was hoping someone could check the following solutions to these 3 basic questions on cyclic groups and provide theorems to back them up.
1. How many elements of order 8 are there in C_{45}?
Solution: \varphi(8)=4
2. How many elements of order 2 are there in C_{20}\times C_{30}?
Solution...
Hey folks,
I'm trying to dip into group theory and got now some questions about irreducibility.
A representation D(G) is reducibel iff there is an invariant subspace.
Do this imply now that every representation (which is a matrix (GL(N,K)) is reducibel if it is diagonalizable?Best regards
I was rethinking about some things I learned but I came to things that seemed to be not firm enough in my mind.
1) When we want to find the unitary matrix that block-diagonalizes a certain matrix through a similarity transformation, we should find the eigenvectors of that matrix and stick them...
Homework Statement
Determine all the subgroups of (A,x_85) justify.
where A = {1, 2, 4, 8, 16, 32, 43, 64}.The Attempt at a Solution
To determine all of the subgroups of A, we find the distinct subgroups of A.
<1> = {1}
<2> = {1,2,4..} and so on?
<4> = ...
...
is this true? are there any other...
Hello,
I am learning Feynman diagrams and I still do not understad quite well the symmetry factor idea. The equation is:
$$ \frac{1}{O(G)} = \frac{M}{n!(4!)^n} $$
I was trying the next example:
If I am not wrong it is O(G) = 10 taking care of the asymmetry of each pair of internal lines...
In my class, we have denoted the elements of the dihedral group ##D_4## as ##\{R_0, R_{90}, R_{180}, R_{270}, F_{\nearrow}, F_{\nwarrow}, F_{\leftrightarrow}, F_{\updownarrow} \}##. Not surprising, I was rather bewildered when I searched the internet for information on this group and encountered...
The problem: Suppose G is Abelian with two representations as the internal direct product of subgroups: G=HxK1, G=HxK2. Assume K1 is a subset of K2 and show K1=K2.
My attempted solution: I took the element (e_H, k_2), where e_H is the identity element of H and k_2 is an arbitrary element in K2...
Hello everyone,
I am working with an arbitrary finite group ##G##, and I am trying to prove a certain property about the order of an arbitrary element ##g \in G##. Supposedly, if we are dealing with a such a group, then ##o(g)##, which is the cardinality of the set ##| \langle g \rangle |##, is...
In Ng (the group index for a range of wavelengths), there is an index of refraction n used, but if the medium is dispersive, meaning n is a function of wavelength λ, which n is used? Is it some kind of an average? Or does n not change much over this range of wavelengths? if it doesn't change...
Hello everyone,
I have to demonstrate that the two groups ##(\mathbb{Q'}, \cdot )## and ##(\mathbb{R'}, \cdot )##, where ##\mathbb{Q'} = \mathbb{Q} \setminus \{0\}## and ##\mathbb{R'} = \mathbb{R} \setminus \{0\}##.
While trying to solve this problem, a thought suddenly occurred to me. Here is...
In the context of the homomorphism between SL(2,C) and SO(3,1), I have that
\textbf{x}=\overline{\sigma}_{\mu}x^{\mu}
x^{\mu}=\frac{1}{2}tr(\sigma^{\mu}\textbf{x})
give the explicit form of the isomorphism, where \textbf{x} is a 2x2 matrix of SL(2,C) and x^{\mu} a 4-vector of SO(3,1)...
Homework Statement
Exercises: https://mega.co.nz/#!YdIgjA7T!WmgIpFjCoO-elDyPtUkDNarm21sZ_xet6OTJndPGiRY
Text: https://mega.co.nz/#!pVRxVKIC!RfFZiW2atRNj9ycGa4Xx_7Nu5FO4a1e6wmyQVLCcGlQ
2. Homework Equations The Attempt at a Solution
This is what I made, obviously all help would be appreciated...
I am trying to do an exercise where I am showing that the set of all elements of $\Bbb{Z}_n$ that are coprime with n form a group under modular addition.
So far I have shown associativity, identity, and closure, but I'm having trouble showing the existence of an inverse. I know I can't use...
Homework Statement
G is a finite group. K is normal to G. If G/K has an element of order n, show that G has an element of order n.
Homework Equations
none.
The Attempt at a Solution
(Kg)^n = K for some Kg in G/K.
(Kg)^n = (Kg^n) = K, hence g^n = 1 where g is an element of G.
Is this...
I got a table for a simple pendulum. I have 8 lengths, from 0.20m going up by 0.01 to 0.27. For each length, I have time for 10 oscillations (10T) that I've measured, and I have repeated the measurement twice for each length. Then I got the average time for 10T. I divided this average to give me...
Hey! :o
"Show that a group of even order contains an odd number of elements of order $2$."
We know that the order of an element of a finite group divides the order of the group.
Since, the order of the group is even, there are elements of order $2$.
But how can I show that the number of...
Hey! :o
Show that a cyclic group with only one generator can have at most two elements.
I thought the following:
When $a \neq e$ is in the group, then $a^{-1}$ is also in the group.
So, when $a$ is a generator, then $a^{-1}$ is also a generator.
Is this correct?? (Wondering)
But I how can I...
Hello,
I have a group (G,\cdot) that has a subgroup H \leq G, and I consider the action of H on G defined as follows:
\varphi(h,g)=h\cdot g
In other words, the action is simply given by the group operation.
Now I am interested in finding a (non-trivial) invariant function w.r.t. the action of...
In Lang's book,page 39-40, he factorizes ##F_{ab}(M)## with respect to the subgroup generated by all elements of type ##[x+y]-[x]-[y]##. I don't quite understand why he does this. I know that he is trying to create inverse elements, but I don't see why that factorization necessarily satisfies...
I am reading "Introduction to Ring Theory" by P. M. Cohn (Springer Undergraduate Mathematics Series)
In Chapter 2: Linear Algebras and Artinian Rings we read the following on page 55:https://www.physicsforums.com/attachments/3142I am trying to get an idea of what Cohn says and means by a group...
In the following stackexchange thread, the answerer says that there is a Riemannian metric on \mathbb{R} such that the isometry group is trivial.
http://math.stackexchange.com/questions/492892/isometry-group-of-a-manifold
This does not seem correct to me, and I cannot follow what he is...
Homework Statement
Let S be the subset of group G that contains identity element 1 such that left co sets aS with a in G, partition G .Probe that S is a subgroup of G.
Homework Equations
{hS : h belongs to G } is a partition of G.
The Attempt at a Solution
For h in S if I show that hS is S...
From what I understand, the little group for a particle moving at the speed of light, has 3 generators. 2 generators generate gauge transformation, and 1 generator rotates the particle about its axis of motion.
I have 3 questions:
1) Do all particles moving at the speed of light (not...
List every generator of each subgroup of order 8 in \mathbb{Z}_{32}.
I was told to use the following theorem:
Let G be a cyclic group of order n and suppose that a\in G is a generator of the group. If b=a^k, then the order of b is n/d, where d=\text{gcd}(k,n).
However, I am unsure how this...
Hey everyone, I've got a question in elementary group theory.
Suppose we have a group G, and we want to completely partition it into multiple subgroups, such that the only element each subgroup shares with any other is the identity element. Is this ever possible?
I think that such a...
MIT OCW recently posted their introductory quantum class 8.04 at
http://ocw.mit.edu/courses/physics/8-04-quantum-physics-i-spring-2013/
I was wondering if anyone would be interested in going through the course. I'm primarily studying it to get ready for the MIT MOOC 8.05x Quantum Physics...
Hi,
I'm hoping to clear up a few uncertainties in my mind about proving that the identity element and inverses of elements in a group are unique.
Suppose we have a group \left(G, \ast\right). From the group axioms, we know that at least one element b exists in G, such that a \ast b = b \ast...
We fix some N=1,2,3,\ldots, and define the factor group \mathbb{Z}_N as \mathbb{Z}/N\mathbb{Z}, and denote the elements x+N\mathbb{Z} as [x], where x\in\mathbb{Z}. My question is that how do you solve [x_1] and [x_2] out of
\left(\begin{array}{c}
\lbrack y_1\rbrack \\ \lbrack y_2\rbrack \\...
[The homework format does not appear on mobile]
Problem: Show that a finite group of even order has elements of order 2
Attempt:
The book gives a suggested approach that lead me to write the most round about, ugly proof I've ever written.
Can't I just say:
1.) If G has even order, G/{1} has...
I know this post is in the topology thread of this forum, for group theory, this seemed like the reasonable choice to post it in. I realize group theory is of great importance in physics and I'm trying to eventually understand Emmy Noether's theorem.
I'm learning group theory on my own, and...
Good afternoon : I now what I've written here : https://www.physicsforums.com/showthread.php?t=763322 in the first message. I've made the Clebsh Cordon theorem with the components. Which can be represented by the Young tableau.
There also the SU(3) and the su(3) representation of dimension...
Hi, Is still there a bird group classified as Palmipedes? I can not find enough information in the internet for it and this is also the first entry in this science forum.
Best Regards.
Hello,
why one can use a bi-doublet scalar field (2,2) under SU(2)L x SU(2)R ? In terms of group theory, we should have only triplets (3,1) or (1,3) since 2 x 2=3+1 ? But in left right symmetric models, indeed yukawa coupling are formed with bi-doublet scalars.
Best regards