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

    Proving the Last Term in the Poincaré Group Lie Algebra Identity

    Homework Statement The problem statement is to prove the following identity (the following is the solution provided on the worksheet): Homework Equations The definitions of L_{\mu \nu} and P_{\rho} are apparent from the first line of the solution. The Attempt at a Solution I get to the...
  2. D

    What are some recommended introductory books on group theory for physicists?

    Hi, I'm interested in doing some self-study this summer and learning some group theory. This has come up a lot as I'm getting into graduate level physics courses, so I'd like a good solid introduction to it. Any recommendations on a book? Preferably one that's at the level of an introductory...
  3. C

    Real Time Entanglement from the Zeilinger Group

    "Real Time Entanglement" from the Zeilinger Group And the "Gee Whiz!" article that referenced it: http://www.preposterousuniverse.com/blog/2013/05/29/visualizing-entanglement-in-real-time/ CW
  4. S

    What's the URL for the fantastic group theory wiki?

    I recall visiting a website that was a wiki for group theory and had many articles on specific groups, but I don't find it today doing a simple-simon search on keywords like "group theory". Anyone know the website that I'm talking about?
  5. B

    Phase velocity and group velocity

    I Still don't understand why the group velocity has to be less than c but phase velocity not. Can you explain me this? Thank you :cry:
  6. A

    Orders of elements in a quotient group.

    Homework Statement I want to find the orders of the elements in Z_8/(Z_4 \times Z_4), (Z_4 \times Z_2)/(Z_2 \times Z_2), and D_8/(Z_2 \times Z_2). Homework Equations The Attempt at a Solution The elements of Z_2 \times Z_2 are (0,0), (1,0), (0,1), (1,1), and the elements of Z_8 are of course...
  7. C

    Surface Fluorination/Hydroxyl Group

    I'm a condensed matter student with limited knowledge of chemistry or bond notation. In the attached paper, I'm trying to understand what is meant by \equiv\text{Ti}-\text{OH} and \equiv\text{Ti}-\text{F} All I've been able to gather is that these represent "surface groups", although I'm...
  8. J

    MHB How Does Group Theory Apply to Solving a Rubik's Cube?

    Does anyone know what this guy is on about? I understand some of the basics of group theory and I know there's a connection between Galois theory and the solving of a Rubik's cube, but I'm not sure what law he is even trying to disprove here. I'm assuming something with regards to symmetry or...
  9. T

    Group definition for finite groups

    Was wondering if the only required definition for finite groups is closure (maybe associativity as well). It seems that is all that is necessary. The inverse and identity necessarily seem to follow based on the fact that if I multiply any element by itself enough times, I have to repeat back to...
  10. Fernando Revilla

    MHB Music Freak's question at Yahoo Answers (Trace in the lnear group)

    Here is the question: Here is a link to the question: Quick Proof about a Square Matrix? - Yahoo! Answers I have posted a link there to this topic so the OP can find my response.
  11. M

    MO Diagram from Group Theory: Central Atom

    Homework Statement I am wondering how for determine the central atom's orbitals from the point group character tables described by group theory. For example CO3^-2 (D3h) Carbon's (central atom) p-orbitals are described by a1''+e'. The s-orbital is a1' Homework Equations The...
  12. M

    MHB What Is a Finite Simple Group of Order Two?

    "Finite Simple Group (of Order Two)" by the Klein Four a cappella group at Northwestern University (lyrics by Matt Salomone): The path of love is never smooth But mine's continuous for you Finite Simple Group (of Order Two) - YouTube You're the upper bound in the chains of my heart...
  13. E

    How Is the Volume of SU(2) Calculated?

    Homework Statement Compute the volume of the group SU(2) Homework Equations Possibly related: in a previous part of the problem I showed that any element g = cos(\theta) + i \hat{n} \cdot \vec{\sigma}sin(\theta) The Attempt at a Solution How do I compute the infinitesimal...
  14. M

    Proving Basic Exponent Properties for a Group

    When proving that x^m x^n = x^{m+n} and that (x^m)^n = x^{mn} for all elements x in a group, it's easy enough to show that they hold for all m \in \mathbb{Z} and for all n \in \mathbb{N} using induction on n. The case n = 0 is also very easy. But how does one prove this for n \in...
  15. A

    Order of Elements in a Group: A Quick Check of Understanding

    I just want to check if there is anything wrong with my understanding... Let's say we have a group of order 42 that contains Z_6. Since the group of units of Z_6 has order (3-1)(2-1), it means that we have 2 elements of order 6 in G, right? In other words, for any cyclic subgroup of order n...
  16. dkotschessaa

    Creating an Online Study Group - Options?

    I'll be taking an Elementary Abstract algebra class in Summer B (six week session) at my University. It will likely be pretty intense. (I actually requested/petitioned the class and got it). I want to do what I can so that me and my classmates will survive do well in the class, so I'm...
  17. D

    Commutator subgroup a subgroup of any Abelian quotient group?

    I am new to group theory, and read about a "universal property of abelianization" as follows: let G be a group and let's denote the abelianization of G as Gab (note, recall the abelianization of G is the quotient G/[G,G] where [G,G] denotes the commutator subgroup). Now, suppose we have a...
  18. schrodingerscat11

    Professor or Research Group that works on Nanotechnology-agriculture

    Greetings! I have this friend who had synthesis of nanomaterials as his MS thesis. After talking with him, I realized that his passion is on helping the farmers in the agriculture industry. I want to help him find a research group or professor (for his Phd) in which he can apply what he...
  19. A

    MHB Order of product of elements in a group

    Hello. I'm just beginning my course in algebra. I've been reading Milne, Group Theory ( http://www.jmilne.org/math/CourseNotes/GT310.pdf page 29). I've found there a very nice proof of the fact that given two elements in a finite group, we cannot really say very much about their product's...
  20. C

    Understanding the renormalization group

    From what I now understand of renormalization it is really a reparametrization of the theory in terms of measurable quantities instead of the 'inobservable bare quantities' that follow the Lagrangian; at least that is one interpretation of what is going on. The originally divergent physical...
  21. N

    Solve Tricky Group Problem Homework: D_4

    Homework Statement Consider the group D_{4} = <x,y:x^2=1,y^4=1,yx=xy^3> and the homomorphism \Phi : D_{4} \rightarrow Aut(D_{4}) defined by \Phi (g) = \phi _{g}, such that \phi _{g} = g^{-1}xg. (a) Determine K = ker(\Phi) (b) Write down the cosets of K. (c) Let Inn(D_{4}) = \Phi (D_{4})...
  22. S

    Group Velocity in terms of Wavlength and velocity

    Homework Statement Show that the group velocity vg=dω/dk can be written as vg=v-λ*dv/dλ where v = phase velocity Homework Equations n=n(k)=c/v k=2∏/λ ω=2∏f=kv fλ=c The Attempt at a Solution dω/dk = d(kv)/dk= v+k(dv/dk)= v+ck(d(n^-1)/dk) =v-(ck/n^2)(dn/dk)...
  23. U

    Relation between group velocity and phase velocity

    Homework Statement Homework Equations The Attempt at a Solution Is my initial assumption wrong?
  24. L

    Can All Elements of SL(2) Be Expressed as a Single Exponential?

    Homework Statement Prove that in SL(2) group the matrix ## \begin{pmatrix} -1 & \lambda \\ 0 & -1 \end{pmatrix} ## can not be presented as a single exponentail but instead as product of two exponentials of ##sl(2)## algebra. ##\lambda \in \mathbb{R} ## Homework Equations I don't understand...
  25. Mathelogician

    MHB Can Subgroups Form a Group by Union Without Containing Each Other?

    Hi all, Here i ask the fisrt serie of questions i couldn't solve; A basic knowledge of group theory is supposed for solving them! ------------------------------------------------------------ 1- Can you find 3 subgroups H, k and L of a group G such that H U k U L = G ;and no one of the 3...
  26. stripes

    Proving Abelian Group Structure in C^A

    Homework Statement Homework Equations The Attempt at a Solution For the first question, since [f(a)][g(a)] is in C, can I just say that since C is a ring, it is an abelian group, then the four axioms are proven? Then just show closure? Probably not I'm guessing. Associativity...
  27. Bruce Wayne1

    MHB Help Proving Isomorphism of a group

    Hi! I'm trying to prove a cyclic group is isomorphic to ring under addition. What the strategy I would take? How would I get it started? Here's what I know so far: I need to meet 3 conditions-- 1 to 1, onto, and the operation is preserved. I also know that isomorphic means that the group is...
  28. N

    S3 Group G/N: Find Left Cosets of N

    Homework Statement Let (G,◦) be a group and let N be a normal subgroup of G. Consider the set of all left cosets of N in G and denote it by G/N: G/N = {x ◦ N | x ∈ G}. Find G/N: (G,◦) = (S3,◦) and N = <β> with β(1) = 2, β(2) = 3, β(3) = 1. Homework Equations The Attempt at a Solution I'm...
  29. C

    Proof Group Homework: Cyclic if Has Order m & n Elements

    Homework Statement Let G be an ableian group of order mn, where m and n are relativiely prime. If G has has an element of order m and an element of order n, G is cyclic. The Attempt at a Solution ok so we know there will be some element a that is in G such that a^m=e where e is the...
  30. L

    How Is the Quotient Group G/H Isomorphic to G'?

    How can one prove that for homomorphism G \xrightarrow{\rho} G' and H as kernel of homomorphism, quotient group G/H is isomorphic to G'? Thanks.
  31. T

    Composition Factors cyclic IFF finite group soluble

    Hey, just trying to get my head around the logic of this. I can see that if composition factors are cyclic then clearly the group is soluble, since there exists a subnormal series with abelian factors, but I am struggling to see how the converse holds. If a group is soluble, then it has a...
  32. Y

    Why is the Symmetry Group of the 9j Symbol Isomorphic to S_3 x S_3 x S_2?

    Hello everyone, I read in Edmond's 'Angular momentum in Quantum Mechanics' that the symmetry group of the 9j symbol is isomorphic to the group S_3 \times S_3 \times S_2. Why is this? Can anyone shed some light on this?
  33. caffeinemachine

    MHB Finite abelian group textbook help

    I need to read about finite abelian groups. I searched 'finite abelian group' on amazon and the closest search result was 'finite group theory'. Googling didn't help either. Does there exist a book dedicated to finite abelian groups? If yes, and if you know of a good one then please reply...
  34. T

    Presentation of a group to generators in A(S)

    Is there a general algorithm for taking the presentation of a group and get the permutation generators for the subgroup of A(S) to which the group is isomorphic? For example, given x^5=y^4=e, xy=f(c^2) how do I find (12345) and (1243), the permutations corresponding to x and y? BTW, the example...
  35. K

    About the Lie algebra of our Lorentz group

    Hello! I'm currently reading Ryder - Quantum Field Theory and am a bit confused about his discussion on the correpsondence between Lorentz transformations and SL(2,C) transformations on 2-spinor. He writes that the Lie algebra of Lorentz transformations can be satisfied by setting \vec{K}...
  36. T

    Prove that the proper orthochronous Lorentz group is a linear group

    Homework Statement Prove that the proper orthochronous Lorentz group is a linear group. That is SOo(3, 1) = {a \in SO(3, 1) | (ae4, e4) < 0 } where (x,y) = x^T\etay for \eta = [1 0 0 0; 0 1 0 0; 0 0 1 0; 0 0 0 -1] (sorry couldn't work out how to properly display a matrix). Homework...
  37. T

    Sn1 Reactions: Substrate structure vs leaving group stabilit

    Homework Statement Let's say I have two compounds in an identical solvent. The compounds are also identical except for the following: One has a Br bonded to a tertiary carbon, and the other has an I bonded to a secondary carbon. Which would react first in an Sn1 nucleophilic reaction...
  38. P

    Finding Group Velocity and Phase Velocity

    The phase velocity of ocean waves is (gλ/2∏)1/2,where g is the acceleration of gravity.Find the group velocity of ocean waves. Relevant equations: λ=h/γmv phase velocity= c2/v(velocity of particle) group velocity=v (velocity of particle). thnxx in advance
  39. R

    Is every Subgroup of a Cyclic Group itself Cyclic?

    Homework Statement Are all subgroups of a cyclic group cyclic themselves? Homework Equations G being cyclic means there exists an element g in G such that <g>=G, meaning we can obtain the whole group G by raising g to powers. The Attempt at a Solution Let's look at an arbitrary...
  40. J

    Simple group theory vocabulary issue

    I am reading about group theory in particle physics and I'm slightly confused about the word "representation". Namely, it is sometimes said that the three lightest quarks form a representation of SU(3), or that the three colors do. But at the same time, it is said that a group can be...
  41. atyy

    GFT & Braid Group: Exploring Connections in n-Dimensional Manifolds

    Thanks! I started a new thread for new questions. Let me start with one I don't even know makes sense: are there counterparts to the braid group for higher dimensional objects like membranes?
  42. S

    Representation of Lorentz group and spinors (in Peskin page 38)

    I am very confused by the treatment of Peskin on representations of Lorentz group and spinors. I am confronted with this stuff for the first time by the way. For now I just want to start by asking: If, as usual Lorentz transformations rotate and boost frames of reference in Minkowski...
  43. M

    Fundamental Group of a Cayley Graph

    Suppose we have a group with presentation G = <A|R> i.e G is the quotient of the free group F(A) on A by the normal closure <<A>> of some subset A of F(A). Is it true that that fundamental group of the Cayley graph of G (with respect to the generating set A) will be isomorphic to the subgroup...
  44. B

    Group Axiom Ordering: Proving Associativity First

    Hello, In my abstract algebra class, my teacher really stresses that when you show that a set is a group by satisfying the axioms of a group (law of combination, associativity, identity element, inverse elements) these axioms MUST be proved in order. This makes some amount of sense to me...
  45. R

    Let G be a finite group in which every element has a square root

    Homework Statement Let G be a finite group in which every element has a square root. That is, for each x in G, there exists a y in G such that y^2=x. Prove every element in G has a unique square root. Homework Equations G being a group means it is a set with operation * satisfying...
  46. R

    True or False? Every infinite group has an element of infinite order.

    Homework Statement True or False? Every infinite group has an element of infinite order. Homework Equations A group is a set G along with an operation * such that if a,b,c \in G then (a*b)*c=a*(b*c) there exists an e in G such that a*e=a for every a in G there exists an a' such...
  47. L

    Normalization of SU(N) Group Generators

    I am reading my textbook of QFT (Maggiore, Modern Introduction in QFT), and there is this statement: "If T^a_R is a representation of the algebra and V a unitary matrix of the same dimension as T^a_R , then V T^a_R V^\dagger is still a solution o the Lie algebra and therefore provides...
  48. A

    Combinatorics - Choosing group memebers

    Homework Statement There is a group of 7 people. How many groups of 3 people can be made from the 7 when 2 of the people refuse to be in the same group? Homework Equations nCr The Attempt at a Solution Here is what I know: 7C3 gives the total number of groups that can be...
  49. M

    Easy test if unitary group is cyclic

    Is there an easy way to see if a unitary group is cyclic? The unitary group U(n) is defined as follows U(n)=\{i\in\mathbb{N}:gcd(i,n)=1\}. Cyclic means that there exits a element of the group that generates the entire group.
  50. A

    Exploring the Applications of Group Theory in Mathematics and Beyond

    I just studied group theory. Its all nice with all the definitions and rules that are supposed to be followed for a set with a given operation to be called a group. But I fail to see the importance of defining such an algebraic structure. What are its uses?
Back
Top