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

    Residues and the fundamental group

    I've been thinking about complex residues and how they relate to the topology of a function's Riemann's surface. My conclusion is this: it definitely tells us something, but it relates more directly to the Riemann surface of its antiderivative. Specifically: A closed contour in the plane is...
  2. L

    Understanding Group Size Change: G/N in Abstract Algebra

    This is not really a homework questions, rather a concept based one. I am studying from Fraleigh's ''Intro to abstract algebra'' and in chapter 15 it states, that for a group G and normal non-trivial subgroup of N of G, the factor group G/N will be smaller than G. I am not sure how he counts the...
  3. B

    Is the Generated Set of a Group Closed Under Group Operation?

    Hi, I am told to give the subgroup H=<α,β> with α,β\inS3 α = (1 2) β = (2 3) So I know that H={αkβj|j,k\in(the integers)} However, would αβα or βαβ (in this case, they're equal) be in H? The set H={ε,(1 2), (2 3), (1 2 3), (1 3 2)} (or {ε,α,β,αβ,βα}) would not be closed because (1 2...
  4. L

    Classify the group Z4xZ2/0xZ2 using fund.thm. of finetely gen. abl. grps.

    Homework Statement Clasify the group Z4xZ2/{0}xZ2 using the fundamental theorem of finitely generated abelian groups. Homework Equations FTOFGAG: In short it states that every finitely generated abelian group G is isomorphic to a direct product of cyclic groups of the form...
  5. D

    Show <a in D8 : a^2=1> is not a group

    Hey, I've been trying to solve this question, Show that <a in D8 : a2=1> is a not a group. I might not be processing it properly, but my interpretation of the question is that <a in D8 : a2=1> = <(a,b): a2=e, b2=2, ab=a-1b> Which is just D4, a group, the set of dihedral where...
  6. P

    Is Comunitative Group a Group?

    Hey, I have a small question about groups, If you have a comunitative 'group' H = <a in H : a2=1>, Is that enough information to show that it is a group, without knowing the binary operation? say b is also in H then a*b=b*a (a*b)*(b*a) = (a*a)*(b*b) = 1 (since its...
  7. K

    Effective field theory and Wilson's renormalization group

    I have just read my first course on Quantum Field Theory (QFT) and have followed the book by Srednicki. I have peeked a bit in the books by Peskin & Schroeder and Ryder also but mostly Srednicki as this was the main course book. Now, I have to do a project in a topic not covered in the course...
  8. AlexChandler

    Question about the use of group theory in QM

    I am currently in my second undergraduate quantum course and just finished studying the addition of angular momenta. I am also in my third abstract algebra course and am now covering product groups and group actions. In my QM book (griffiths) there was a reference made to group theory. it said "...
  9. G

    Two separate renormalization group equations?

    Are there two separate renormalization group equations? One for how the physical coupling constants change with time, and one for how the bare parameters/coupling constants change with cutoff? Is there a relationship between the two? It just seems that textbooks use the term renormalization...
  10. P

    Permutation group conjugates

    Hey, I just have a small question regarding the conjugation of permutation groups. Two permutations are conjugates iff they have the same cycle structure. However the conjugation permutation, which i'll call s can be any cycle structure. (s-1 a s = b) where a, b and conjugate...
  11. P

    How Many Conjugation Permutations Exist in a Permutation Group?

    Hey, I just have a small question regarding the conjugation of permutation groups. Two permutations are conjugates iff they have the same cycle structure. However the conjugation permutation, which i'll call s can be any cycle structure. (s-1 a s = b) where a, b and conjugate...
  12. B

    Show its not a group for # where a#b=a+b-ab in the set of all real numbers

    Homework Statement In set theory, i have a two part question, the first is showing that the system S={set of all real numbers( \Re )}, #} where a#b=a+b-ab we have to show that it's not a group. and then find what c is so that the system = { \Re \cap\overline{c}, # } is a group.Homework...
  13. T

    EM Group velocity & phase velocity in dispersive medium

    Hello! My book here states that for a medium where the index of refraction n increases with increasing frequency (or wavenumber), "the group velocity is less than the phase velocity". This is stated for a wave which is the sum of two waves with equal amplitude and differing frequency...
  14. G

    Is there a word for the Group with metals, metalloids and non-metals

    I was just wondering what the word is that describes the group of Metals and Non-Metals and Metalloids. like Hydrogen, Calcium, Carbon are all Elements Metals, Metalloids and Non-Metals are all _______ If there happens to be no such word please comment so.
  15. C

    What familiar group is isomorphic to the group of units in ℤ[i]?

    find a group isomorphic to ℤ[i] 1. Knowing the below proof, The group of units of ℤ[i] is isomorphic to a familiar group. Which one? 2. We have already shown: "Let R be a ring with unity, and let U denote the set of units in R. Show that U is a group under the multiplication in R."...
  16. J

    Finite abelian group into sequence of subgroups

    G finite abelian group WTS: There exist sequence of subgroups {e} = Hr c ... c H1 c G such that Hi/Hi+1 is cyclic of prime order for all i. My original thought was to create Hi+1 by reducing the power of one of the generators of Hi by a prime p. Then the order of Hi/Hi+1 would be p, but...
  17. M

    General Linear Group not Abelian

    Homework Statement Show that the general linear group GL(3,R) with matrix multiplication is not an abelian group. Homework Equations The Attempt at a Solution A group to be abelian we have to show that it satisfies the Commutativity. a*b=b*a How are we going to show...
  18. 2

    prove that the group U(n^2 -1) is not cyclic

    Sorry if I formatted this thread incorrectly as its my first post ^^ Homework Statement For every integer n greater than 2, prove that the group U(n^2 - 1) is not cyclic. Homework Equations The Attempt at a Solution I've done a problem proving that U(2^n) is not cyclic when...
  19. M

    Symmetric group S3 with symbols

    Homework Statement Determine the orders of all the elements for the symmetric group on 3 symbols S3. Homework Equations _______________________________________ The Attempt at a Solution 3 symbols : e,a,b I don't know how to do the S3 table using just these 3 letters I can do...
  20. L

    Is the direct sum of cyclic p-groups a cyclic group?

    For arbitrary natural numbers a and b, I don't think the direct sum of Z_a and Z_b (considered as additive groups) is isomorphic to Z_ab. But I think if p and q are distinct primes, the direct sum of Z_p^m and Z_q^n is always isomorphic to Z_(p^m * q^n). Am I right? I've been freely using...
  21. mnb96

    Lie group actions and submanifolds

    Hello, Let's suppose that I have a Lie group G parametrized by one real scalar t and acting on ℝ2. Is it generally correct to say that the orbits of the points of ℝ2 under the group action are one-dimensional submanifolds of ℝ2, because G is parametrized by one single scalar? If so, how can I...
  22. GreenGoblin

    MHB Proving Abelianity in Groups with $g^{2} = 1$: A Simple Proof

    I need to show a group with $g^{2} = 1$ for all g is Abelian. This is all the information given, I do know what Abelian is, and I know that this group is but I don't know how to 'show' it. Can someone help? Gracias, GreenGoblin
  23. B

    MHB Find subgroups of a group for a given order

    Hi all, I'm looking for basic strategies for identifying the subgroups of a group. I believe I have to use conjugacy classes and cycle types, but I'm not sure how to apply those concepts. Let me pose a specific problem: Let $G$ be a subgroup of the symmetric group $S_5$, with $|G| = 4$. By...
  24. X

    Probability: Choosing a girl from a group

    Homework Statement You walk into your class the first day of classes, and you notice that there are 30 men and 20 women in the class already. Let's suppose you decide to choose two people from the class to be your study partners. If you choose your study partners at random, and given...
  25. P

    Proving Core of a Group is Normal in G and Subset of H

    Let H be a subgroup of G and define the core of H as such core H={g\inG| g\inaHa^-1 for all a\inG}= \bigcap{aHa^-1|a\inG} Prove that the core of H is normal in G and core H\subsetH. I am having a hard time proving this because isn't the definition of core H basically saying the the core...
  26. E

    Topology of the diffeomorphism group

    I would like to study the path components (isotopy classes) of the diffeomorphism group of some compact Riemann surface. To make sense of path connectedness, I require a notion of continuity; hence, I require a notion of an open set of diffeomorphisms. What sort of topology should I put on the...
  27. P

    MHB Is a Mixture of Three Chemical Solutions a Group?

    Would it be correct to call mixture of three chemical solutions, namely salt water, salt water with sodium hydroxide, and salt water with HCl, a group? As I understand this, (which is not entirely realistic) mixture of solutions is associative and closed, salt water would be the identity which...
  28. E

    Computing the Modular Group of the Torus

    How does one compute the modular group of the torus? I see how Dehn twists generate the modular group, and I see how Dehn twists are really automorphisms of isotopy classes. Based on this, it seems that the modular group should be Aut(pi1(T^2))=Aut(Z^2)=GL(2,Z). But I've read that the modular...
  29. mnb96

    Test Lie Group: Show it Forms a Lie Group

    Hello, if I have a set of functions of the kind \{ f_t | f_t:\mathbb{R}^2 \rightarrow \mathbb{R}^2 \; ,t\in \mathbb{R} \}, where t is a real scalar parameter. The operation I consider is the composition of functions. What should I do in order to show that it forms a Lie Group?
  30. M

    General Linear Group of a Vector Space

    The general linear group of a vector space GL(V) is the group who's set is the set of all linear maps from V to V that are invertible (automorphisms). My question is, why is this a group? Surely the zero operator that sends all vectors in V to the zero vector is not invertible? But isn't it...
  31. Y

    Discovering the Role of the Little Group in Quantum Field Theory

    What is "Little Group"? In my Quantum Field Theory class, I too often meet with the term "Little Group". Unfortunately, I cannot find a good description of Little Group until now. I just know it is a subgroup of Lorentz Group. Can anyone have any brief description of this concept? Or any...
  32. M

    A Question on Semantics Regarding Group Theory

    Homework Statement Is the set of a single element {e} with the multiplication law ee = e a group?Homework Equations none.The Attempt at a Solution Yes, it is a group. But that is not my question. My question is how do you ask the question? If I were face to face with you and wanted to ask you...
  33. W

    Renormalization Group for dummies

    Renormalization Group concept is rarely given in laymen book on QM and QFT and even Quantum Gravity book like Lisa Randall Warped Passages. They mostly described about infinity minus infinity and left it from there. So if you were to write about QFT for Dummies. How would you share it such...
  34. N

    Quantum field theory and the renormalization group

    The following statements are from the paper with the above title, recommended in another thread, are from here: http://fds.oup.com/www.oup.co.uk/pdf/0-19-922719-5.pdf An interpretion of these statements would be appreciated: 1. [first paragraph, page 3] What is 'conservation of...
  35. Z

    Basic Symmetric Group Representation Question

    If you consider the permutation representation of Sn in ℂ^n, i.e the transformation which takes a permutation into the operator which uses it to permute the coordinates of a vector, then of course the subspace such that every coordinate of the vector is the same is invariant under the...
  36. T

    Solve Symmetric Group Homework: Find Subgroups of S6, S4 & S3 x S3

    Homework Statement Let G=S_6 acting in the natural way on the set X = \{1,2,3,4,5,6\}. (a)(i) By fixing 2 points in X, or otherwise, identify a copy of S_4 inside G. (ii) Using the fact that S_4 contains a subgroup of order 8, find a subgroup of order 16 in G. (b) Find a copy of S_3...
  37. F

    How many elements of order 50 are there in this group?

    The group in question is U100, the group of units modulo 100, which, correct me if I'm wrong, is equal to {3, 7, 9, 11, 13, 17, 19, 21, 23, 27, 29, 31, 33, 37, 39, 41, 43, 47, 49, 51, 53, 57, 59, 61, 63, 67, 69, 71, 73, 77, 79, 81, 83, 87, 89, 91, 93, 97, 99}. How many elements are there of...
  38. F

    The General Linear Group as a basis for all nxn matrices

    I'm trying to prove that every nxn matrix can be written as a linear combination of matrices in GL(n,F). I know all matrices in GL(n,F) are invertible and hence have linearly independent columns and rows. I was thinking perhaps there is something about the joint bases for the n-dimensional...
  39. R

    How would one prove the dihedral group D_n is a group?

    I don't understand how to show that the reflections and rotations are associative. Thanks for any help.
  40. W

    Poincare vs Lorentz Group

    The words Poincare and Lorentz sound pretty elegant. I think they are French words like Loreal Or Laurent. I know Poincare has to do with spacetime translation and Lorentz with rotations symmetry. But how come one commonly heard about Lorentz symmetry in Special Relativity and General...
  41. L

    Why not diffeomorphism group representation theory?

    For some reason, diffeomorphism invariance seems to be treated like a second-class citizen in the land of symmetries. In nonrelativistic quantum mechanics, we consider Galilean invariance so important that we form our Hilbert space operators from irreducible representations of the Galilei...
  42. T

    Rigorous Lie Group and Lie Algebra Textbooks for Physicists

    Hi everyone, I was just wondering if anyone had any suggestions of more-mathematically-rigorous textbooks on Lie groups and Lie algebras for (high-energy) physicists than, say, Howard Georgi's book. I have been eying books such as "Symmetries, Lie Algebras And Representations: A Graduate...
  43. B

    Assigning peaks in a Raman spectrum/ group theory

    Homework Statement I need help assigning the peaks in a Raman spectrum of acetylene(ethyne). The peaks are : Wavenumber Contours 3372 OQS 1973 OQS 613 OPRS 2. The attempt at a solution Ethyne has 7 vibrational modes (...
  44. P

    Group Elements a,b,c,d,e: Inverse Operation?

    Lets say i have elements a,b,c,d,e in some group. is abcde always = ab(d^-1c^-1)e. My question is and you change elements in the middle of an operation by using the inverse?
  45. S

    Proof showing group is abelian?

    Proof showing group is abelian? Homework Statement Show that every group G with identity e such that x*x=e for all x in G is abelian. The Attempt at a Solution I know that Ii have to show that it's commutative. I start by taking x,y in G and then xy is in G, so x*x=e...
  46. H

    Understanding the Relationship between Group Theory and Physics

    Hello! I´m currently reading 'Groups, Representations and Physics' by H.F. Jones and I have drawn some conclusions that I would like to have confirmed + I have some questions. :) Conclusions: 1. An albelian group has always only one irrep. 2. The direct sum of two representations...
  47. K

    C2 as Galois group of an irreducible cubic

    Homework Statement If f(x) is an irreducible cubic polynomial over a field F, is it ever possible that C_2 may occur as the \operatorname{Aut}(K/F) where K is the splitting field of f? The Attempt at a Solution It seems that this should be theoretically possible. In particular, if f is an...
  48. B

    Why is the smallest subgroup of G containing A and B equal to G itself?

    In an example it says that, if |G| = 15 and G has subgroups A,B of G with |A| = 5 and |B| = 3 , then A \cap B must equal \{e_G\} and the smallest subgroup of G containing both A and B is G itself. Could anyone explain why? Thanks!
  49. T

    How Many Orbits Are Formed by Dihedral Group Actions on Colored Squares?

    Homework Statement Let G=D_4 (the group of symmetries (reflections/rotations) of a square) and let X=\{ \text{colourings of the edges of a square using the colours red or blue} \} so a typical element of X is: What is the size of X? Let G act on X in the obvious way. You are given...
  50. B

    Can a group have repeating elements?

    Can a group, G, have repeating elements? And if so does the order of G include these repeated elements? Thanks!
Back
Top