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. H

    I Group of Wave Vector for k - Action of Space Group

    For a specific wave vector, ##k##, the group of wave vector is defined as all the space group operations that leave ##k## invariant or turn it into ##k+K_m## where ##K_m## is a reciprocal vector. How the translation parts of the space group, ##\tau##, can act on wave vector? Better to say, the...
  2. Adesh

    Understanding the notation in Group Theory

    I was studying mathematical logic and came across this statement of group theory I'm having a hard time in understanding it. I have concluded that ##G## is any set but not an empty one, ##\circ## is a function having input as two variables (both variables are from set...
  3. filip97

    Group Action of C3v on 2x2 Complex Matrices

    Group action on ##2##x##2## complex matrices of group ##C_{3v}## for all matrices from ##C^{22}##, for all ##g## from ##C_{3v}## is given by: ##D(g)A=E(g)AE(g^{-1}), A=\begin{bmatrix}...
  4. L

    A Difference Between Subgroup & Closed Subgroup of a Group

    What is difference between subgroup and closed subgroup of the group? It is confusing to me because every group is closed. In a book Lie groups, Lie algebras and representations by Brian C. Hall is written "The condition that ##G## is closed subgroup, as opposed to merely a subgroup, should be...
  5. pellis

    I Calculating group representation matrices from basis vector/function

    Being myself a chemist, rather than a physicist or mathematician (and after consulting numerous sources which appear to me to skip over the detail): 1) It’s not clear to me how one can go generally from a choice of basis vectors in real space to a representation matrix for a spatial symmetry...
  6. L

    A Unitary representations of Lie group from Lie algebra

    In Quantum Mechanics, by Wigner's theorem, a symmetry can be represented either by a unitary linear or antiunitary antilinear operator on the Hilbert space of states ##\cal H##. If ##G## is then a Lie group of symmetries, for each ##T\in G## we have some ##U(T)## acting on the Hilbert space and...
  7. F

    Why is D4 not primitive on the vertices of a square?

    Proof: Let ##B = \lbrace a \rbrace \subseteq A## and ##\rho \in S_4##. We have two cases, ##\rho(a) = a## in which case ##\rho(B) = B##, or ##\rho(a) \neq a## in which case ##\rho(B) \cap B = \emptyset##. Its clear that ##\rho(A) = A##. So these sets are indeed blocks. Now let ##C## be any...
  8. F

    Universal Mapping Property of Free Groups: Definition and Proof

    Let ##S = \lbrace a, b \rbrace## and define ##F_S## to be the free group, i.e. the set of reduced words of ##\lbrace a, b \rbrace## with the operation concatenation. We then have the universal mapping property: Let ##\phi : S \rightarrow F_S## defined as ##s \mapsto s## and suppose ##\theta : S...
  9. M

    What is the name of the C=N+=C functional group?

    I know R4N+ is a quaternary ammonium, R2C=N+R2 is an iminium, and R-C≡N+-R is a nitrilium, but what is an R2C=N+=CR2 cation called?
  10. Jason Bennett

    Covering of the orthogonal group

    Progress:𝜙:𝑂(3)→ℤ2𝜓:𝑂(3)→𝑆𝑂(3)𝜃:𝑂(3)/𝑆𝑂(3)→ℤ2 𝜙(𝑂)=det(𝑂) with 𝑂∈𝑂(3), that way 𝜙(𝑂)↦{−1,1}≅ℤ2, where 1 is the identity element.Ker(𝜙) = {𝑂∈𝑆𝑂(3)|𝜙(𝑂)=1}=𝑆𝑂(3), since det(𝑂)=1 for 𝑂∈𝑆𝑂(3).By the multiplicative property of the determinant function, 𝜙 = homomorphism. ***What is the form of the...
  11. Frigus

    How can O- and COO- act as an electron releasing group in a π system?

    can anyone explain me how O negative and COO negative acts as electron releasing group,I understood how alkyl groups acts as electron releasing group but I can't understand this
  12. D

    I Quantum number and group theory

    Hi all, Group theory show us that irreducible representation of SO(3) have dimension 2j+1. So we expect to see state with 2j+1 degeneracy. But does group theory help to understand the principle quantum number n ? And in the case of problems with SO(3) symmetry does it explain its strange link...
  13. Jason Bennett

    How Do We Visualize the Manifold Structure of a Lie Group?

    1) How do we determine a Lie group's global properties when the manifold that it represents is not immediately obvious? Allow me to give the definitions I am working with. A Lie group G is a differentiable manifold G which is also a group, such that the group...
  14. Jason Bennett

    Lie groups,Lie algebras, Physics, Lorentz Group,

    1) How do we determine a Lie group's global properties when the manifold that it represents is not immediately obvious? Allow me to give the definitions I am working with. A Lie group G is connected iff \forall g_1, g_2 \in G there exists a continuous curve connecting the two, i.e. there...
  15. M

    What happens if I speed up an Apollo group asteroid?

    Okay, having devised the antimatter bomb, I'm moving along to the concept of using Apollo group asteroids as freight trains for the inner solar system, but my knowledge of orbital mechanics is zilch. For example, (343158) 2009 HC82 appears to have a max speed of about 56 km/s at perihelion...
  16. AutGuy98

    MHB Find n such that the group of the n-th roots of unity has exactly 6 generators

    Hey guys, Sorry that it's been a decent amount of time since my last posting on here. Just want to say upfront that I am extremely appreciative of all the support that you all have given me over my last three or four posts. Words cannot express it and I am more than grateful for it all. But, in...
  17. AutGuy98

    MHB Prove that the 12-th roots of unity in C form a cyclic group

    Hey guys, Sorry that it's been a decent amount of time since my last posting on here. Just want to say upfront that I am extremely appreciative of all the support that you all have given me over my last three or four posts. Words cannot express it and I am more than grateful for it all. But, in...
  18. J

    Algebra Book on how to write proper proofs in Group Theory

    I am trying to learn group theory on my own from Schaum's Outline of Group Theory. I chose this book because there are a lot of exercises with solutions, but I have several problems with it. 1) In many cases the author just makes some handwavey statement and I have to spend hours or days trying...
  19. C

    MHB Group Ring Integral dihedral group with order 6

    Dear Every one, I am having some difficulties with computing an element in the Integral dihedral group with order 6. Some background information for what is a group ring: A group ring defined as the following from Dummit and Foote: Fix a commutative ring $R$ with identity $1\ne0$ and let...
  20. Demystifier

    A Is the Landau pole in QED an artifact of perturbative methods?

    It is often said that the renormalization group (RG) is not a true group but only a semi-group, because the RG transformation is not invertible. But for renormalizable theories, the renormalized Hamiltonian has the same form as the original Hamiltonian, only with some different values of the...
  21. A

    Quantum Good sources for the representations of the Poincare group?

    Weinberg QFT book aside, what are good sources for the representation of the Poincare group used in physics?
  22. J

    I Trying to get the point of some Group Theory Lemmas

    There are two related Lemmas in Schaum's Outline of Group Theory, Chapter 4 that seem excessively convoluted. Either I am missing something or they can be made much simpler and clearer. Lemma 4.2: If H is a subgroup of G and {\rm{X}} \subseteq {\rm{H}} then {\rm{H}} \supseteq \left\{...
  23. E

    I Derivative of the Ad map on a Lie group

    Hi, let ##G## be a Lie group, ##\varrho## its Lie algebra, and consider the adjoint operatores, ##Ad : G \times \varrho \to \varrho##, ##ad: \varrho \times \varrho \to \varrho##. In a paper (https://aip.scitation.org/doi/full/10.1063/1.4893357) the following formula is used. Let ##g(t)## be a...
  24. D

    Other Textbooks for tensors and group theory

    Hello, I am an undergraduate who has taken basic linear algebra and ODE. As for physics, I have taken an online edX quantum mechanics course. I am looking at studying some of the necessary math and physics needed for QFT and particle physics. It looks like I need tensors and group theory...
  25. G

    I What are the general parameters for the in-medium light group speed?

    An electromagnetic wave has a phase speed and a group speed. Or velocities, for that matter. In a medium, the phase speed of a wave is generally determined by the medium's permeability μ and permittivity ε. What are the general parameters that determine the group speed of a wave in a medium?
  26. J

    I Mistake in Schaum's Group Theory?

    Schaum's Outline of Group Theory, Section 3.6e defines {{\rm{L}}_n}\left( {V,F} \right) as the set of all one to one linear transformations of V, the vector space of dimension n over field F. It then says "{{\rm{L}}_n}\left( {V,F} \right) \subseteq {S_V}, clearly". ({S_V} here means the set...
  27. G

    A Is the Exponential Map Always Surjective from Lie Algebras to Lie Groups?

    Is it correct saying that the Exponential limit is an exact solution for passing from a Lie Algebra to a Lie group because a differential manifold with Lie group structure is such that for any point of the transformation the tangent space is by definition the Lie algebra: is that the underlying...
  28. caffeinemachine

    MHB Irreducible representations of a slightly non-abelian group.

    Let $\mu$ be a finite Borel measure on $S^1$. We have an action of $\mathbb Z$ on $L^2(S^1, \mu)$ defined by $n\cdot \varphi = e^{2\pi i n}\varphi$. The following is a standard theorem in functional analysis: Spectral Theorem. Let $\mathbb Z$ act unitarily on a Hilbert space $H$. Let $f$ be any...
  29. S

    I Uncertainty Over Sextans Galaxies' Group Membership

    Hi all. Awesome site! Just wondering if anyone can answer my question: If the Sextans galaxies are inside the group's zero velocity surface, why is there uncertainty over whether they're part of the group?
  30. L

    I Is the identity of a group unique?

    In general, the textbooks says that, if the set ##G## is a group, so to every element ##g \in G## there is other element ##g^{-1} \in G## such that ##g g^{-1} = g^{-1}g = e##, where ##e## is the identity of the group. But I am reading a book where this propriete is write only as ##g^{-1} g =...
  31. S

    A Selection rules using Group Theory: many body

    Hello, I am newish in group theory so sorry if anything in the following is not entirely correct. In general, one can anticipate if a matrix element <i|O|j> is zero or not by seeing if O|j> shares any irreducible representation with |i>. I know how to reduce to IRs the former product but I...
  32. DarMM

    A Haag's Theorem and the Poincare Group

    I'll have to think a bit about what you've written, but just to note this is not true due to Haag's theorem.
  33. C

    I What does the wavenumber in a group velocity represent?

    I'm trying to wrap my head around the dispersion relation ##\omega(k)##. I understand how you can construct a wavepacket by combining multiple traveling waves of different wavelengths. I can then calculate the phase and group velocities of this wavepacket: \begin{align*} v_p &=...
  34. A

    A Create Hamiltonians in condensed matter with group theory

    Hello, I am currently struggling to understand how one can write a Hamiltonian using group theory and change its form according to the symmetry of the system that is considered. The main issue is of course that I have no real experience in using group theory. So to make my question a bit less...
  35. arivero

    A Charge in a Lie Group.... is it always a projection?

    Given a representation of a Lie Group, is there a equivalence between possible electric charges and projections of the roots? For instance, in the standard model Q is a sum of hypercharge Y plus SU(2) charge T, but both Y and T are projectors in root space, and so a linear combination is. But I...
  36. lpetrich

    A Structure of modulo-integer matrix group GL(r,Z(n))?

    Over in the thread The eight-queens chess puzzle and variations of it | Physics Forums I discovered that with a toroidal board, one with periodic boundary conditions, the amount of symmetries becomes surprisingly large (A group-based search for solutions of the n-queens problem - ScienceDirect)...
  37. C

    MHB Proving a Subset of a Group is a Group

    Dear Everyone, I want to show that a subset of a group is still a group by using the subgroup criterion which states that a subset $H$ of a group $G$ is a subgroup if and only if $H \ne \emptyset$ and for all $x,y \in H, xy^{-1}\in H$. I am having trouble how to show that criterion in the...
  38. K

    I Galilean transformations x Galilean Group

    It seems that there is a difference between Galilean transformations and (the transformations of the) Galilean group, for one thing: rotations. The former is usually defined as the transformations ##\{\vec{x'} = \vec x - \vec v t, \ t' = t \}##, where ##\vec v## is the primed frame velocity...
  39. pallab

    Good books on Group theory in High Energy physics

    please suggest me a good book on the high energy physics where group theory is discussed for the beginner.
  40. C

    MHB Proving General Associativity for Group by induction

    Dear Everyone, I am having some troubles with the problem. The problem states: Let $(G,\star)$ be a group with ${a}_{1},{a}_{2},\dots, {a}_{n}$ in $G$. Prove using induction that the value of ${a}_{1}\star {a}_{2} \star \dots \star {a}_{n}$ is independent of how the expression is bracketed...
  41. C

    MHB Proof the set with the multiplication is a group

    Dear Everyone, $\newcommand{\Z}{\mathbb{Z}}$Suppose the set is defined as: $\begin{equation*} {(\Z/n\Z)}^{\times}=\left\{\bar{a}\in \Z/n\Z|\ \text{there exists a}\ \bar{c}\in \Z/n\Z\ \text{with}\ \bar{a}\cdot\bar{c}=1\right\} \end{equation*}$ for $n>1$ I am having some trouble Proving that...
  42. C

    MHB Is a Group Abelian if Inverses Commute?

    Dear Everyone, Here is the problem that I am attempting to prove: "Prove that a group $(G,\star)$ is abelian if and only if ${(a\star b)}^{-1}={a}^{-1}\star {b}^{-1}$ for all a and b in $G$." My attempt: Let $(G,\star)$ be a group $G$ under the binary operation $\star$. Then suppose $G$ is...
  43. arda

    I Why particles have group velocity?

    I just confused about it.Why can't we discribe a particle just one wave function instead of wave packet(group of waves with different phase velocities)?
  44. A

    I What do we mean when we say something transforms "under"....

    What do we mean when we are talking about something that transforms under a representation of a group? Take for example a spinor. What is meant by: this two component spinor transforms under the left handed representation of the Lorentz group? When we talk about something that transforms...
  45. diegzumillo

    A What is geometric group theory and how does it relate to different geometries?

    Hey all I previously asked about some math structure fulfilling some requirements and didn't get much out of it ( Graph or lattice topology discretization ). It was a vague question, granted. Anyway, I seem to have stumbled upon something interesting called geometric group theory. It looks...
  46. W

    Other Using Michael Artin's "Algebra" for Group Theory

    Hi all, I have stumbled upon Artin's book "Algebra" and was wondering if I could use it to do some self-study on Group Theory. Some background: I am a physics undergraduate who has some competence in elementary logic, proofs and linear algebra. It seemed to me that ideas related to Group...
  47. N

    A Levi Civita - SO(4) Group Theory: Proving Relation in Landau and Lifshitz

    Landau and Lifshitz, second volume - Classical Theory of Fields, page 7 $$e_mu,nu,alpha,beta e^alpha, beta, gamma, sigma = -2 ( delta^gamma_mu * delta^sigma_nu delta delta^sigma_mu * delta^gamma_nu ) $$ If for example I calculate the following: $$ e^0,1_alpha,beta e^alpha,beta_0,1 = e_0123...
  48. H

    I Phase and group velocity for a free particle

    Why for the free particle, the group velocity and phase velocity are not the same while we have only one wave? What is the envelope here?
  49. Q

    MHB Symmetrical Group: Prove Properties & Find Element Count

    $$\text{ Let } n∈ \mathbb{N} \text{ and } S_{n} \text{ symmetrical group on } \underline n\underline . \text{ Let } π ∈ S_{n} \text{ and z } \text{ the number of disjunctive Cycles of π. Here will be counted 1 - Cycle }. (a) \text{ Prove that } sgn (π) = (-1)^{n-z}. (b) \text{ Prove that...
  50. A

    Commutator group in the center of a group

    Homework Statement [G,G] is the commutator group. Let ##H\triangleleft G## such that ##H\cap [G,G]## = {e}. Show that ##H \subseteq Z(G)##. Homework EquationsThe Attempt at a Solution In the previous problem I showed that ##G## is abelian iif ##[G,G] = {e}##. I also showed that...
Back
Top