Group Definition and 1000 Threads

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.

View More On Wikipedia.org
  1. marcus

    Renormalization Group Approaches to Quantum Gravity (conference at PI)

    Perimeter conference http://pirsa.org/C14020 Here are links to the talks' videos and slides PDF Recent developments in asymptotic safety: tests and properties Tim Morris http://pirsa.org/14040085/ What you always wanted to know about CDT, but did not have time to...
  2. W

    Embedding Group as a Normal Subgroup

    Hi, let G be any group . Is there a way of embedding G in some other group H so that G is normal in H, _other_ than by using the embedding: G -->G x G' , for some group G'? I assume this is easier if G is Abelian and is embedded in an Abelian group. Is there a way of doing this in...
  3. E

    Projective representations of the spin group

    To define spinors in QM, we consider the projective representations of SO(n) that lift to linear representations of the double cover Spin(n). Why don't we consider projective representations of Spin?
  4. M

    Are the Right and Left Cosets Equal in a Group's Cayley Table?

    Just by looking at the cayley table of a group and looking at its subgroups, is their a theorem or something which tells you if the right and left cosets are equal? I have question to do and I would love to half the workload by not having to to work out the same thing twice. Thanks
  5. M

    Equality involving matrix exponentials / Lie group representations

    We have that A and B belong to different representations of the same Lie Group. The representations have the same dimension. X and Y are elements of the respective Lie algebra representations. A = e^{tX} B = e^{tY} We want to show, for a specific matrix M B^{-1} M B = AM Does it suffice to...
  6. V

    Supose that G is a finite abelian group that does not contain a subgro

    let us assume G is not cyclic. Let a be an element of G of maximal order. Since G is not cyclic we have <a>≠G. Let b be an element in G, but not in the cyclic subgroup generated by a. O(a) = m and O(b) = n where O() refers tothe orders. . then how can we use this to construct a subgroup of G...
  7. applestrudle

    Group velocity dispersion and normal, anomalous dispersion?

    From my understanding, normal and anomalous dispersion are because the phase velocity is a function of k so it is different for different components of a group so the group will spread out over time. So what's group velocity dispersion? Is it the same affect (dispersion/ spreading out)...
  8. L

    Orthochronous subspace of Lorentz group.

    In a Lorentz group we say there is a proper orthochronous subspace. How can I prove that the product of two orthchronous Lorentz matrices is orthochronous? Thanks. Would appreciate clear proofs.
  9. J

    Group theory and quantum mechanics

    How to you get sets of complete basis functions using group theory ? For example , using triangle group for CH3 Cl ?
  10. A

    Left-invariant vector field of the additive group of real number

    Hi, I would like to understand the left-invariant vector field of the additive group of real number. The left translation are defined by \begin{equation} L_a : x \mapsto x + a \; , \;\;\; x,a \in G \subseteq \mathbb{R}. \end{equation} The differential map is \begin{equation} L_{a*} =...
  11. L

    What is the use of infinite-dimensional representation of group

    What is the use of infinite-dimensional representation of lie group? Now, I know Hilbert space is infinite-dimensional, and physical states must be in Hilbert space. However, for massive fields, the transformation group is SO(3), its unitary representation is finite. For massless fields, the...
  12. Mandelbroth

    Poor Phrasing of a Lie Group Theorem

    I found what might be the worst written book on Lie Groups. Ever. Until I find one I like better, I'm going to see if I can persevere through the sludge. I'll write out the theorem word for word and then explain what I can. Hopefully someone can decipher it. Typically, I use the term "chart"...
  13. K

    Question on the 2-dim representation of the Lorentz group

    Hello! I'm currently reading some QFT and have passed the concept of Weyl spinors 2-4 times but this time it didn't make that much sense.. We can identify the Lorentz algebra as two su(2)'s. Hence from QM I'm convinced that the representation of the Lorentz algebra can be of dimension (2s_1 +...
  14. C

    Obtaining representations of the symmetric group

    Homework Statement Consider the following permutation representations of three elements in ##S_3##: $$\Gamma((1,2)) = \begin{pmatrix} 0&1&0\\1&0&0\\0&0&1 \end{pmatrix}\,\,\,\,;\Gamma((1,3)) = \begin{pmatrix} 0&0&1\\0&1&0\\1&0&0 \end{pmatrix}\,\,\,\,\,; \Gamma((1,3,2)) = \begin{pmatrix}...
  15. J

    Proving the Inclusion of Elements of Finite Commutative p-Groups in A(p)

    Homework Statement Let A = A(p)\times A' where A(p) is a finite commutative p-group (i.e the group has order p^a for p prime and a>0) and A' is a finite commutative group whose order is not divisible by p. Prove that all elements of A of orders p^k, k\geq0 belong to A(p) The Attempt...
  16. C

    Character table for cyclic group of order 7

    Homework Statement a)Write down all irreducible representations of ##\mathbb{Z}_7##. b)How many of the irreducible representations are faithful? Homework Equations Group structure of ##\mathbb{Z}_7 = \left\{e^{2\pi in/7}, \cdot \right\}## for ##n \in \left\{0,...,6\right\}## The Attempt at a...
  17. E

    Group Cohomology: Borel's Finite & Lie Group Cases

    In Dijkgraaf and Witten's paper "Topological Gauge Theory and Group Cohomology" it is claimed that... Why are either of these statements (the Lie group case or the finite case) true?
  18. J

    Free groups: why are they significant in group theory?

    Mathematicians have produced a wide variety of long and complex proofs of the existence of free groups, and there appears to be a strong emphasis upon finding better proofs that involve a variety of techniques. (Examples are http://www.jstor.org/stable/2978086 and "www.jstor.org/stable/2317030"...
  19. U

    Basic Group Theory Proof. Looks easy, might not be.

    Homework Statement Let a,b be elements of a group G. Show that the equation ax=b has unique solution. Homework Equations none really The Attempt at a Solution ax = b . Multiply both sides by a^{-1}. (left multiplication). a is guaranteed to have an inverse since it is an element of a...
  20. R

    Mastering Two Group Diffusion Theory: Solving Thermal Flux Problems with Ease

    Hello, Frustration in receiving timely responses from my teaching assistant has lead me to this website. Currently have a homework assignment on multiple group diffusion theory and one of the assigned questions is, Determine the thermal flux due to an isotropic point source, So fast...
  21. J

    Relationship between Group Velocity and Particle Velocity

    Homework Statement Prove that the group velocity of a wave packet is equal to the particle’s velocity for a relativistic free particle. Homework Equations vgroup = Δω/Δk = dω/dk E = (h/2π)*ω = √(p2c2 + m2c4) The Attempt at a Solution I'll be honest..I have no idea where to...
  22. A

    MHB Group Isomorphism: Proving G Is an Odd, Ablian Group

    Here is a problem from some russian book of algebra: \varphi(x)=y\leftrightarrow\varphi(y)=x and I know \varphi(e)=e. I can see from this that G is a group of odd order. How I prove commutativity? Do you think I can prove first that \varphi(a)=a^{-1}?
  23. alyafey22

    MHB Group of polynomials with coefficients from Z_10.

    Contemporary Abstract Algebra by Gallian This is Exercise 14 Chapter 3 Page 69 Question Let $G$ be the group of polynomials under the addition with coefficients from $Z_{10}$. Find the order of $f=7x^2+5x+4$ . Note: this is not the full question, I removed the remaining parts. Attempt...
  24. V

    Spin orbit and double group representations

    I am reading a text about the splitting of the energy levels in crystals caused by the spin orbit interaction. In particular, the argument is treated from the point of view of the group theory. The text starts saying that a representation (TxD) for the double group can be obtained from the...
  25. Space Pope

    Fields in physics and fields in group theory, are they related?

    I just though of this and though "it's abstract math meeting physics, so probably not". After looking up fields in several abstract algebra books I thought that maybe fields in physics were called as such in physics because they share something with the mathematical structure of fields in group...
  26. ChrisVer

    Understanding Euclidean Group E(n) Elements

    Well I am not sure if this thread belongs here or in mathematics/groups but since it also has to do with physics, I think SR would be the correct place. An element of the Euclidean group E(n) can be written in the form (O,\vec{b}) which acts: \vec{x} \rightharpoondown O\vec{x}+\vec{b} With O...
  27. C

    What is this functional group, and how do you make it

    On an exam question recently, I had to perform a retrosynthesis on a molecule and it had this functional group on it: it took me by surprise. I decided to cleave the whole thing off, and replace it with a double bond (cuz I know you can make cis diols from double bonds) then things seemed to...
  28. R

    The Galois Group of Quarks: How is a Group Assigned to a Particle?

    Can anyone give an answer (or give a web reference) to the following question: How is a group assigned to a particle? I've seen groups assigned to shapes, polynomials, permutations, rotations and transformations. But how is a group assigned to a point particle?
  29. L

    Group Classes of Homework Statement: e, a,b,c,d,f

    Homework Statement ##e = \begin{bmatrix} 1 & 0 \\[0.3em] 0 & 1 \\[0.3em] \end{bmatrix}##, ##a =\frac{1}{2} \begin{bmatrix} 1 & -\sqrt{3} \\[0.3em] -\sqrt{3} & -1 \\[0.3em] \end{bmatrix}##. ##b...
  30. ShayanJ

    Interpreting the Wave-Number in the Formula for Group Velocity

    You people know that group velocity of a wave packet is calculated with the formula v_g=\frac{d \omega}{d k} .But this gives an expression which,in general,is a function of k.My problem is,I can't think of an interpretation for it.What is that wave-number appearing in the expression for group...
  31. R

    Understanding the Symmetry of SU(N) Subgroups in Srednicki's Notation

    Homework Statement (a) For SU(N), we have: N ⊗ N = A_A + S_S where A corresponds to a field with two antisymetric fundamental SU(N) in- dices φij = −φji, and S corresponds to a field with two symmetric fundamental SU(N) indices φij = φji. By considering an SU(2) subgroup of SU(N), compute...
  32. L

    Inverse of Group Elements: Find g_i^-1g_j^-1

    Homework Statement Find ##(g_ig_j)^{-1}## for any two elements of group ##G##. Homework Equations For matrices ##(AB)^{-1}=B^{-1}A^{-1}## The Attempt at a Solution I'm not sure how to show this? I could show that for matrices ##(AB)^{-1}=B^{-1}A^{-1}##. And that for numbers...
  33. L

    What Symmetry Group Does the Quantum Harmonic Oscillator Exhibit?

    ##H=-\frac{\hbar^2}{2m}\frac{d^2}{dx^2}+\frac{1}{2}m\omega^2x^2## Parity ##Px=-x## end ##e## neutral are group of symmetry of Hamiltonian. ## PH=H## ##eH=H## so I said it is group of symmetry because don't change Hamiltonian? And ##e## and ##P## form a group under multiplication. Is there...
  34. J

    Trace of elements in a finite complex matrix group is bounded

    Homework Statement Let G be a finite complex matrix group: G \subset M_{n\times n}. Show that, for g \in G, |\text{tr}(g)| \le n and |\text{tr}(g)| = n only for g = e^{i\theta}I. 2. The attempt at a solution Since G is finite, then every element g \in G has a finite order: g^r = I for some...
  35. L

    Quaternion Group Multiplication Table

    Homework Statement Obtain multiplication table for quaternion group. Homework Equations ##i^2=j^2=k^2=ijk=-1## The Attempt at a Solution I have problem with elements for example ##ji## in the table. For example when I have ##ij## I say ##ijk=-1## and ##k^2=-1## so ##ij=k##. But...
  36. D

    Forces and energy in a system of a group of walkers

    Hello, I am studying a system of a group of walkers and how they behave. There are four kind of forces: - Repulsion between walkers - A force modeled by the fact that all walkers gather into groups and walk in the same direction so their velocity are // that i will name S. -...
  37. K

    The representation of Lorentz group

    The lorentz group SO(3,1) is isomorphic to SU(2)*SU(2). Then we can use two numbers (m,n) to indicate the representation corresponding to the two SU(2) groups. I understand (0,0) is lorentz scalar, (1/2,0) or (0,1/2) is weyl spinor. What about (1/2, 1/2)? I don't get why it corresponds to...
  38. H

    Study group for working through Spivak/Wilson

    Hello everyone! This is my first post here, though I've been a silent observer in PF for a long time. I'm planning on working through Spivak's "Calculus" or Wilson's "Introduction to Graph Theory" and was wondering if anyone here might be interested in joining a study group for it. There's no...
  39. L

    Proof: Proving Klein 4 Group is Not Isomorphic to ##Z_4##

    Homework Statement Prove that Klein 4 group is not isomorphic with ##Z_4##. Homework Equations Klein group has four elements ##\{e,a,b,c\}## such that ##e^2=e,a^2=e,b^2=e,c^2=e## As far as I know ##Z_4## group is ##(\{\pm 1,\pm i\},\cdot)##. Right? The Attempt at a Solution As far...
  40. T

    Intersection of two subgroups trivial, union is the whole group

    Homework Statement Let ##G## be a group of order ##n## where ##n## is an odd squarefree prime (that is, ##n=p_1p_2\cdots p_r## where ##p_i## is an odd prime that appears only once, each ##p_i## distinct). Let ##N## be normal in ##G##. If I have that ##|G/N|=p_j## for some prime in the prime...
  41. L

    Is $\mathcal{R}$ Lie Group Without 0?

    Is it ##(\mathcal{R} without \{0\},\cdot)## Lie group?
  42. N

    Water-waves: Group vs phase velocity

    Homework Statement Say you have a small boat moving through water, and creating a short wave-group which is a superposition of waves in the range of 0.2m-2m. If the shore 50meters away, how long will it take the fastest of the wave-components to reach shore? {assume the depth is constantly very...
  43. D

    Understanding Probability Amplitude, State Operators and Galilei Group

    Greetings, Just checking if I'm getting this ... please correct me if I'm wrong. The value of the wavefunction is 'probability amplitude' in discrete case and 'probability amplitude density' in continuous case. The former is a dimensionless complex number and the latter is the same...
  44. S

    Help Solving Renormalization Group Equations

    This isn't a homework problem, but something from a set of notes that I'd like to better understand. My confusion starts on page 23 here: http://isites.harvard.edu/fs/docs/icb.topic1146665.files/III-9-RenormalizationGroup.pdf. I'm having trouble reproducing his calculation for the...
  45. B

    Does a Group Action Always Use the Group's Original Operation?

    A group ##G## is said to act on a set ##X## when there is a map ##\phi:G×X \rightarrow X## such that the following conditions hold for any element ##x \in X##. 1. ##\phi(e,x)=x## where ##e## is the identity element of ##G##. 2. ##\phi(g,\phi(h,x))=\phi(gh,x) \ \ \forall g,h \in G##. My...
  46. mnb96

    How to find the manifold associated with a Lie Group?

    Hello, I have troubles formulating this question properly. So I will explain it through one example. If we consider the Lie group R=SO(2) of rotations on the plane, we know that we can find a manifold on which the group SO(2) acts regularly: this manifold is the unit circle in ℝ2. In fact...
  47. H

    Relation between k and group velocity in bands

    In transitions in the crystals we always use conservation of wave vector of electron, not electron momentum conservation. For example in an indirect transition from top of valence band to bottom of conduction band, the group velocity of electron and hence its momentum would not change (it is...
  48. K

    Regarding representations of the Lorentz group

    Hello! I'm currently reading Peskin and Schroeder and am curious about a qoute on page 38, which concerns representations of the Lorentz group. ”It can be shown that the most general nonlinear transformation laws can be built from these linear transformations, so there is no advantage in...
  49. J

    MHB Group Velocity and Phase Velocity

    I have no idea how to do this or where to start. Can someone please help me? Problem 4.4- Suppose n o and n e are given. In (a) you only need to find the magnitude of the group velocity. Problem #2 in HW 10 may be helpful. You can also directly use the definition of group velocity, i.e., v g =...
  50. K

    MHB Surjectivity for permutation representation of a group action

    I am having trouble proving that my function is surjective. Here is the problem statement: Problem statement: Let T be the tetrahedral rotation group. Use a suitable action of T on some set, and the permutation representation of this action, to show that T is isomorphic to a subgroup of $S_4$...
Back
Top