What is Group: Definition and 1000 Discussions

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. A. Neumaier

    A Loop quantum gravity and diffeomorphism group

    How is loop quantum gravity related to the principle of relativity, in particular to the diffeomorphism invariance of general relativity?
  2. M

    MHB Multiplicative group of matrices is nilpotent

    Hey! :o Let $M$ be a field and $G$ the multiplicative group of matrices of the form $\begin{pmatrix} 1 & x & y \\ 0 & 1 & z \\ 0 & 0 & 1 \end{pmatrix}$ with $x,y,z\in M$. I want to show that $G$ is nilpotent. Could you maybe give me some hints what we could do in this case? (Wondering)...
  3. A

    I What are the irreducible representations of point groups and how do I find them?

    As part of physical chemistry I am reading up group theory for molecular symmetries. I realize the way chemistry textbooks treat this must be very different from what mathematicians do. So I want to know how I take a point group, find the matrix operations and get the character table.For an C2...
  4. M

    MHB The group is isomorphic to one of the groups

    Hey! :o I want to show that if $G$ is of order $2p$ with $p$ a prime, then $G\cong \mathbb{Z}_{2p}$ or $G\cong D_p$. I have done the following: We have that $|G|=2p$, so there are $2$-Sylow and $p$-Sylow in $G$. $$P\in \text{Syl}_p(G) , \ |P|=p \\ Q\in \text{Syl}_2(G) , \ |Q|=2$$ Let $x\in...
  5. M

    MHB Show that each such group is solvable

    Hey! :o I am looking at the following exercise: Each group of order $p^2q$, with $p,q$ different primes, is solvable. To show this can we just say that it holds according to Burnside's Theorem ? (Wondering)
  6. S

    Does This Mapping Define a Group Homomorphism from ℤ_n to D_n?

    Homework Statement ℤ_n → D_n sending z modn → g^z where g is rotation by an nth of a turn. Homework Equations Group homomorphism imply θ(g_1*g_2)=θ(g_1)*θ(g_2) The Attempt at a Solution Before anything, I'd like to know if Group homomorphism imply θ(g_1+g_2)=θ(g_1)xθ(g_2) I've seen...
  7. G

    MHB Order of an element in a group

    Say an element $g$ in a group has order $28$. How do I find the order of say $g^8$?
  8. RJLiberator

    Order of (f°h) Group Homework Solution

    Homework Statement Let f,h ∈S_4 be described by: f(1) = 1 f(2) = 4 f(3) = 3 f(4) = 2 h(1) = 4 h(2) = 3 h(3) = 2 h(4) = 1 Express (f°h) in terms of its behavior on {1,2,3,4} and then find the order of (f°h). Homework EquationsThe Attempt at a Solution So, first I express (f°h) in terms of...
  9. Conservation

    Interesting compounds with alcohol functional group

    I'm looking for examples of some interesting compounds that contain alcohol functional group (please, no joke suggestions about various liquor). Bonus points for creativity/thinking-outside-the-box. Thanks.
  10. Einj

    A Euclidean signature and compact gauge group

    Hello everyone, I have been reading around that when performing the analytic continuation to Euclidean space (t\to-i\tau) one also has to continue the gauge field (A_t\to iA_4) in order to keep the gauge group compact. I already knew that the gauge field had to be continued as well but I didn't...
  11. M

    MHB Can a group of order $2^6\cdot 5^6$ be simple?

    Hey! :o I want to show that if $|G|=pqr$ where $p,g,r$ are primes, then $G$ is not simple. We have that a group is simple if it doesn't have any non-trivial normal subgroups, right? (Wondering) Could you give me some hints how we could show that the above group is not simple? (Wondering)...
  12. S

    I Why only normal subgroup is used to obtain group quotient

    Hello! As far as I know any subgroup can, in principle, be used to divide group into bundle of cosets. Then any group element belongs to one of the cosets (or to the subgroup itself). And such division still is not qualified as a quotient. Yes, the bundle of cosets in this case will be...
  13. 1

    A The fundamental group of preimage of covering map

    i: B to Y is an inclusion, p: X to Y is a covering map. Define $D=p^{-1}(B)$, we assume here B and Y are locally path-connected and semi-locally simply connected. The question 1: if B,Y, X are path-connected in what case D is path-connected (dependent on the fundamental groups)? 2 What's the...
  14. M

    MHB Proving the Normality of Inner Automorphism Group in Group Theory

    Hey! :o I want to show that $\text{Inn}(G)\trianglelefteq\text{Aut}(G)$ for each group $G$. We have that the inner automorphisms of $G$ is the following set $\text{Inn}(G)=\{\phi_g\mid g\in G\}$ where $\phi_g$ is an automorphism of $G$ and it is defined as follows: $$\phi_g : G\rightarrow G...
  15. C

    Renormalisation group equation

    Homework Statement The renormalization group equations for the n-point Green’s function ##\Gamma(n) = \langle \psi_{x_1} \dots \psi_{x_n}\rangle ## in a four-dimensional massless field theory is $$\mu \frac{d}{d \mu} \tilde{\Gamma}(n) (g) = 0$$ where the coupling g is defined at mass scale...
  16. M

    MHB The automorphic group is abelian

    Hey! :o I want to show that $\text{Aut}(\mathbb{Z}_n)$ is an abelian group of order $\phi (n)$. We have that $\mathbb{Z}_n$ is cyclic and it is generated by one element. Does it have $\phi (n)$ possible generators? (Wondering) Let $h\in \text{Aut}(\mathbb{Z}_n)$. Then $h(k)=h(1+1+\dots...
  17. V

    Space Group FD3M(OH7): Definition & Meaning

    Hi All Please let me know as to in the space group symbol fd3m(oh7) what do each letters stand for... f= d3= m= (oh7)= Thanking all in anticipation .
  18. mnb96

    Quotient of group by a semidirect product of subgroups

    Hello, if we consider a group G and two subgroups H,K such that HK \cong H \times K, then it is possible to prove that: G/(H\times K) \cong (G/H)/K Can we generalize the above equation to the case where HK \cong H \rtimes K is the semidirect product of H and K? Clearly, if HK is a semidirect...
  19. M

    MHB Understanding Aut(G) Isomorphism to Z2

    Hey! :o The automorphism group of the group $G$, $\text{Aut}(G)$, is the group of isomorphisms from $G$ to $G$, right? (Wondering) How could we show that for example $\text{Aut}(\mathbb{Z})$ is isomorphic to $\mathbb{Z}_2$ ? (Wondering) What function do we use? (Wondering)
  20. neilson18

    What is the potential energy of this group of charges?

    Homework Statement Three electrons form an equilateral triangle 0.800 nm on each side. A proton is at the center of the triangle. Homework Equations U = k[(q_1*q_2)/r] The Attempt at a Solution I tried to use the following equation: k*[(3e^2)/(0.8*10^-9) - (3e^2)/(0.4*10^-9)] I plugged in...
  21. J

    How Is the Ricci Scalar Calculated in Group Manifolds?

    So I'm working with some group manifolds. The part that's getting to me is the Ricci scalar I'm using to describe the curvature. I have identified the groups that I'm using but that's not really relevant at the moment. We're using a left-invariant metric ##\mathcal{M}_{ab}##. Now I've got the...
  22. vetgirl1990

    Which group has greater steric hindrance?

    Does an amino group or ethyl group have greater steric hindrance? Is there a "rule" that I can follow to determine this?
  23. P

    Proof involving group of permutations of {1,2,3,4}.

    Homework Statement Let ##\sigma_4## denote the group of permutations of ##\{1,2,3,4\}## and consider the following elements in ##\sigma_4##: ##x=\bigg(\begin{matrix}1&&2&&3&&4\\2&&1&&4&&3\end{matrix}\bigg);~~~~~~~~~y=\bigg(\begin{matrix}1&&2&&3&&4\\3&&4&&1&&2\end{matrix}\bigg)##...
  24. C

    Permutations of (abc)(efg)(h) in S7

    Homework Statement How many distinct permutations are there of the form (abc)(efg)(h) in S7? Homework Equations 3. The Attempt at a Solution [/B] since we have 7 elements I think for the first part it should be 7 choose 3 then 4 choose 3. And then we multiply those together.
  25. G

    Adjoint representation of Lorentz group

    Hey, There are some posts about the reps of SO, but I'm confused about some physical understanding of this. We define types of fields depending on how they transform under a Lorentz transformation, i.e. which representation of SO(3,1) they carry. The scalar carries the trivial rep, and lives...
  26. ajeet mishra

    Difference between Group and phase velocity

    Hi! I am having problem in understanding the difference between phase and group velocity clearly. In my textbook phase velocity is given by ω/κ while group velocity is by dω/dκ. What is the difference between these two terms? Thank you!
  27. mnb96

    Definition of regular Lie group action

    Hello, in group theory a regular action on a G-set S is such that for every x,y∈S, there exists exactly one g such that g⋅x = y. I noticed however that in the theory of Lie groups the definition of regular action is quite different (see Definition 1.4.8 at this link). Is there a connection...
  28. C

    Is U(n) a Group Under Multiplication Modulo n?

    Homework Statement Show that the set U(n) = {x < n : gcd(x, n) = 1} under multiplication modulo n is a group. Homework Equations 3. The Attempt at a Solution [/B] I know that it is important to have the gcd=1 other wise you would eventually have an element that under the group operation...
  29. Strilanc

    Looking for a nice basis for the general linear group

    I'm looking for a nice set of basis matrices ##B_{i,j}## that cover the matrices of size ##n \times n## when linear combinations are allowed. The nice property I want them to satisfying is something like ##B_{i,j} \cdot B_{a,b} = B_{i+a, j+b}##, i.e. I want multiplication of two basis matrices...
  30. G

    MHB Proving Existence of $N$ for $a^N=e$ in Finite Group $G$

    If $G$ is a finite group, show that there exists a positive integer $N$ such that $a^N = e$ for all $a \in G$. All I understand is that G being finite means $G = \left\{g_1, g_2, g_3, \cdots, g_n\right\}$ for some positive integer $n.$
  31. G

    MHB S3 Group Symmetry: $(xy)^2 \ne x^2y^2$ Example

    Problem: In $S_3$ give an example of two elements $x$ and $y$ such that $(xy)^2 \ne x^2y^2$. Attempt: Consider the mapping $\phi: x_1 \mapsto x_2, x_2 \mapsto x_1, x_3 \mapsto x_3$ and the mapping $\psi: x_1 \mapsto x_2, x_2 \mapsto x_3, x_3 \mapsto x_1$. We have that the elements $\phi, \psi...
  32. G

    MHB Showing that a group is non-abelian

    $4$. If G is a group in which $(a \cdot b)^i = a^i \cdot b^i$ for three consecutive integers $i$ for all $a, b \in G$, show that $G$ is abelian. I've done this one. The next one says: $5$. Show that the conclusion of Problem $4$ does not follow if we assume the relation $(a \cdot b)^i = a^i...
  33. M

    MHB Group R^× isomorphic to the group R?

    Question: Is the group R^{x} isomorphic to the group R? Why? R^{x} = {x ∈ R | x not equal to 0} is a group with usual multiplication as group composition. R is a group with addition as group composition. Is there any subgroup of R^{x} isomorphic to R? What I Know: Sorry, I would have liked...
  34. A

    How to check this type of weld group?

    Hello all, I am not very sure with this kind of weld check, could you give me some help and suggestion? Details as following: Given: Ft=force in y direction Lt=distance between Ft action point and weld group geometric center(y direction) Fl=force in x direction Ll=distance between Fl action...
  35. G

    MHB Prove Abelian Group: $(a \cdot b)^n = a^n \cdot b^n$

    Prove that if $G$ is an abelian group, then for $a, b \in G$ and all integers $n$, $(a \cdot b)^n = a^n \cdot b^n.$ Never mind. I figured it out. We proceed by induction on $n$, then use a lemma in the text.
  36. T

    Trivial group homomorphism from G to Q

    Hello, I have to solve the following problem: Show that a homomorphism from a finite group G to Q, the additive group of rational numbers is trivial, so for every g of G, f(g) = 0. My work so far: f(x+y) = f(x)+f(y) I know that |G| = |ker(f)||Im(f)| I think that somehow I have to find that...
  37. M

    Group Presentations Isomorphisms

    If you are trying to show that two groups, call them H and G, are isomorphic and you know a presentation for H, is it enough to show that G has the same number of generators and that those generators have the same relations?
  38. Twigg

    Jet Prolongation Formulas for Lie Group Symmetries

    I can never derive the prolongation formulas correctly when I want to prove the Lie group symmetries of PDEs. (If I'm lucky I get the transformed tangent bundle coordinate right and botch the rest.) I've gone through a number of textbooks and such in the past, but I haven't found any clear...
  39. G

    Lie Group v Lie algebra representation

    Hi y'all, This is more of a maths question, however I'm confident there are some hardcore mathematical physicists out there amongst you. It's more of a curiosity, and I'm not sure how to address it to convince myself of an answer. I have a Lie group homomorphism \rho : G \rightarrow GL(n...
  40. S

    Group and phase velocity of a wave

    If i am given the de broglie wavelength Of any particle then its sure that i can find the velocity of tat particle if its mass is given. λ= h/mv But the velocity which i found is the group velocity or phase velocity?If it's not the group velocity How can i find it?
  41. S

    Quantum Books on Renormalization (Group) Theory

    Hello Everybody, I am searching for a book that introduces the theory of renormalization other then Peskin Schroeder, I found Peskin Schroeder cumbersome regarding this topic. Can anyone help? Thanks in advance!
  42. G

    Am I verifying that this is a group correctly?

    (a,b)*(c,d)=(ac,bc+d)on the set {(x,y)∈ℝ*ℝ:x≠0} 1.(b,a)*(d,c)=(bd,ad+c) so not commutative 2.[(a,b)*(c,d)]*(e,f)=(ace,(bc+d)e+f)=(ace,bce+de+f) (a,b)*[(c,d)*(e,f)]=(ace,bce+de+f) so associative Is that correct so far? What do I do next?
  43. N

    PhD thesis/dissertation writing support group (in London)?

    I was wondering if anyone knows a good PhD thesis writing support group, either online or in London? I couldn't find any and I wanted to set up a meet up group... but I'm not sure what we would actually do to support each other... and when I finish in a few months, what then? Also I'm afraid...
  44. S

    Lie group multiplication and Lie algebra commutation

    I've heard it said that the commutation relations of the generators of a Lie algebra determine the multiplication laws of the Lie group elements. I would like to prove this statement for ##SO(3)##. I know that the commutation relations are ##[J_{i},J_{j}]=i\epsilon_{ijk}J_{k}##. Can you...
  45. S

    Visualizing group and phase velocity of a wave

    Homework Statement how to visualize group velocity and phase velocity? I tried to to visualize it The velocity of up and down vibration Of the wave as phase velocity. And The velocity of the whole wave in propagating direction as group velocity. AM I CORRECT OR WRONG? Homework EquationsThe...
  46. S

    Deriving the structure constants of the SO(n) group

    The commutation relations for the ##\mathfrak{so(n)}## Lie algebra is:##([A_{ij},A_{mn}])_{st} = -i(A_{j[m}\delta_{n]i}-A_{i[m}\delta_{n]j})_{st}##.where the generators ##(A_{ab})_{st}## of the ##\mathfrak{so(n)}## Lie algebra are given by:##(A_{ab})_{st} =...
  47. applestrudle

    Group Theory why transformations of Hamiltonian are unitary?

    This is what I have so far: I'm trying to show that the matrix D has to be unitary. It is the matrix that transforms the wavefunction.
  48. E

    Why is dispersion important in wave propagation?

    In the propagation of non-monochromatic waves, the group velocity is defined as v_g = \displaystyle \frac{d \omega}{d k} It seems here that \omega is considered a function of k and not viceversa. But in the presence of a signal source, like an antenna in the case of electro-magnetic wave or a...
  49. T

    Deciding between group theory vs. complex analysis

    Hi, I have one spot remaining to take a pure math course, and I'm trying to decide between complex analysis and group theory. Although I've touched some of the basic of dealing with complex numbers in my physics/DE courses, they haven't gone in much depth into them beyond applications. On the...
  50. S

    Is SU(n) a Group Under Matrix Multiplication?

    Homework Statement Show that the set of all ##n \times n## unitary matrices with unit determinant forms a group. 2. Homework Equations The Attempt at a Solution For two unitary matrices ##U_{1}## and ##U_{2}## with unit determinant, det(##U_{1}U_{2}##) = det(##U_{1}##)det(##U_{2}##) = 1...
Back
Top