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

    MHB Is the Action of Conjugation by Sylow 2-Subgroups Onto?

    Assume that G of order 48 has 3 sylow 2-subgroups. Let G act on the set of such subgroups by conjugation. How do I know that this action is onto? I know that all 3 subgroups are conjugate but I'm not sure this is enough.
  2. P

    Show no non-abelian group G such that Z(G)=Z2 exists satisfying the mapping

    Homework Statement Show that there is no non-abelian group G such that Z(G)=\mathbb{Z}_2, which satisfies the short exact \mathbb{Z}_2\rightarrow G\rightarrow\mathbb{Z}_2^3.The Attempt at a Solution I have knowledge of group theory up through proofs of the Sylow theorems. I know the center is...
  3. J

    Subgroup of Finitely Generated Abelian Group

    Homework Statement Prove that any subgroup of a finitely generated abelian group is finitely generated. Homework Equations The Attempt at a Solution I've attempted a proof by induction on the number of generators. The case n=1 corresponds to a cyclic group, and any subgroup of a...
  4. M

    Questions on the symmetric group

    first , if p is prime , show that an element has order p in Sn iff it's cycle decomosition is a product of commuting p-cycles my solution is very diffrent about the one in the book and I don't know if my strategy is right my proof ______ let T is an element of Sn and the cycle...
  5. M

    Finite group with two prime factors

    Homework Statement I am trying to prove the following: Let G be a finite group and let \{p,q\} be the set of primes dividing the order of G. Show that PQ=QP for any P Sylow p-subgroup of G and Q Sylow q-subgroup of G. Deduce that G=PQ. Homework Equations The set PQ=\{xy: x \in P \text{ and }...
  6. D

    Proving the Identity Property in Abelian Groups

    Hi guys, I have quastion about groups: G is abelian group with an identity element "e". If xx=e then x=e. Is it true or false? I was thinking and my feeling is that it's true but I just can't prove it. I started with: (*) ae=ea=a (*) aa^-1 = a^-1 a = e those from the...
  7. P

    Given a group action from G to G/H, show that N(H)/H is isomorphic to G/H

    Homework Statement G is a group, H is a subgroup of G, G acts on G/H in the standard manner, and N(H) is the normalizer of H in G. Show that there is an isomorphism between Aut(G/H) and N(H)/H, where Aut(G/H) is the set of G-equivariant bijections f:G/H -> G/H Homework Equations...
  8. S

    How to Check for a Non-Abelian Group of Order 21 Using Basic Techniques

    So I was working through some problems in Herstein's Algebra on my own time, and I came across something I wasn't so sure about. The question was, Find a non-abelian group of order 21 (Hint: let a3=e and b7=e and find some i such that a-1ba=bi≠b which is consistent with the assumptions that...
  9. T

    Is a Group Homomorphic under Multiplication if it is Not Under Addition?

    Consider θ:Z -> Z is a mapping where θ(n) = n^3 and it's homomorphism under multiplication. In this case, it's not a homomorphism under addition. So my question is this. In general, if we show that a group is homomorphic under multiplication, does this imply that it is not under addition...
  10. G

    Properties of a group question.

    Suppose G is a group and g,h are elements of g. Does (g.h)n=gn.hn if we don't know what the groups operation is.
  11. G

    Can x^2 Equal y in a Non-Abelian Group?

    Homework Statement Let (G,.) be an non-abelian group. Choose distinct x and y such that xy≠yx. Show that if x2≠1 then x2\notin{e,x,y,xy,yx} The Attempt at a Solution If x2=x would imply x.x.x-1=x.x-1 and x=e which cannot be. If x2= xy or x2=yx would imply x=y which also cannot be...
  12. Jim Kata

    Splitting field with Galios group A4

    the polynomial x^4+8x+12=0 has the Galois group A4. I have all its roots, but can't figure out its splitting field. The roots are \alpha_1=\sqrt{2}(\sqrt{\cos{(\pi/9)}}+i\sqrt{\cos{(2\pi/9)}}+i\sqrt{\cos{(4\pi/9)}}) \alpha_2=\sqrt{2}(\sqrt{\cos{(\pi/9)}} -...
  13. H

    Understanding Group Velocity for Wave Packets in a 1-D Particle in Box

    I have difficulty understanding the exact concept of group velocity. Consider a wave packet as a linear combination of a number of eigenstates of a 1-D particle in box. The dispersion curve(\omegaversus k) is composed of discrete points located on a parabola. Well, for each point one can...
  14. A

    Proving Injectivity of Group Homomorphism Given Relations

    Homework Statement Let G = \langle x,y \ | \ x^2, y^3, (xy)^3 \rangle, and f: G \rightarrow A_4 the unique homomorphism such that f(x) = a, f(y) = b, where a = (12)(34) and b = (123). Prove that f is an isomorphism. You may assume that it is surjective. Homework Equations N/A The...
  15. D

    Number of subgroups of a group G

    I was wondering if there are any theorems that specify an exact number of subgroups that a group G has, maybe given certain conditions.The closest thing I know is a theorem that says if G is finite and cyclic of order n it has exactly one subgroup of order d for each divisor d or n. I am not...
  16. M

    Does This Semigroup Qualify as a Group?

    hi , let (G,*) be a semigroup with the property that for any two elements a,b belongs to G , the equations: a*x=b , y*a=b have solutions x,y in G , verify that (G,*) forms a group. --- my attempt first one , * is associative as (G,*) is a semigroup assume a=b ,then ...
  17. A

    How to show that the operation of a group is continuous?

    Hi guys, This is a general question that I'm thinking about now. Imagine that I've been given a set which is a group and we have defined a topology on it. how can I show that the group operation is continuous? Actually to begin with, how can I know if the group operation is really continuous...
  18. K

    Sobolev class of loops to a compact lie Group

    I am currently reading a paper discussing the convexity of the image of moment maps for loop groups. In particular, if G is a compact Lie group and S^1 is the circle, the paper defines the loops group to be the set of function f: S^1 \to G of "Sobolev class H^1 ." Now in the traditional...
  19. O

    MHB Subgroups of a nilpotent group are nilpotent

    i know that this can be proved easily using the lower central series, but i am having a hard time trying to prove this using the upper central series definition. I saw a proof which said that if H is a subgroup of G, Z_{r}(H) \geq Z_{r}(G) \cap H for all r. So if G is nilpotent which means...
  20. T

    How Are Group Velocity and Phase Velocity Related in Wave Propagation?

    Homework Statement show that the group velocity and phase velocity are related by d vgroup = vphase - \lambda ( (d vphase) / (d \lambda) ) Homework Equations vphase = \lambdaf vgroup = d\omega/dkThe Attempt at a Solution dw/dk = \lambdaf - \lambda(d\lambdaf/d\lambda) dw/dk = \lambdaf -...
  21. J

    Let G be a finite group. Under what circumstances

    Let G be a finite group. Under what circumstances ... Homework Statement ... is that map δ:G→G defined by δ(x)=x2 an automorphism of F. Homework Equations And automorphism δ:G→G is a bijective homomorphism. The Attempt at a Solution The only circumstance I've so far found is...
  22. G

    How Can One Visualize a Group?

    Does anyone have any intuitive idea of how to visualize a group. The closest thing I know of in terms of a group visualization tool is a Cayley graph. I was wondering if anybody knows of a better method to visualise a group? And slightly different question what is the use of Cayley graph?
  23. D

    Question about generator of cyclic group

    Say we have a cyclic group G, and a generator a in G. This means [a] = G. We know the order of an element a, is the order of the group it generates, [a], and also this is the smallest integer s such that as=e, where e is the identity element. In this case, [a]=G, so s is just the order of G...
  24. D

    Does n*a ALWAYS mean to a + a + + a (n times) where + is the group operation?

    What about in a ring where we have two binary operations defined. I get super confused when I see someone just switch from something like n*a to a + a + ... + a (n times, where * is the binary operation on the "semigroup" part of the ring, and + is the operation on the "group" part of the ring)...
  25. tom.stoer

    Photon helicity: Wigner's unitary rep. of Poincare group and gauge symmetry

    1) Since Wigner it is well known that for massless particles of spin s the physical states are labelled by helicity h = ±s; other states are absent. So e.g. for photons the physical states are labelled by |kμ, h> with kμkμ = 0 and h = ±1 and we have two d.o.f. 2) For gauge theories with...
  26. C

    Showing a group is infinite and nonabelian given its presentation

    Homework Statement The question is out of Hungerford's Algebra (Graduate Texts in Mathematics). Page 69,#7: Show that the group defined by generators a,b and relations a^2=e, b^3 = e is infinite and nonabelian. Homework Equations The Attempt at a Solution My professor gave...
  27. K

    About vector group concept of transformers

    How we speak about the coil of primary in phase of a versus secondary coil this is accepted (as there is on same core) But question about we say this transformer (ex) is vector group Dy11 that means phase difference between primary and secondary voltage is 330 angle ! It's conflicted...
  28. R

    Can Subgroups Have a Volume in Linear Matrix Spaces?

    Can group have a "volume"? For example, SL(n, R) is a subgroup in a linear matrix space with det A = 1. So can this equation represent a certain "region" in the n-dimensional linear space and therefore that it has a "volume"?
  29. O

    Is XeO2F4 in the D4h Point Group?

    Homework Statement Had this question on a test today and now I'm having second thoughts. We were asked to assign the point group of symmetry for the compound XeO2F4. Homework Equations NoneThe Attempt at a Solution I had initially thought that it fell under D4h because it contains 1 C4 axis...
  30. B

    Congruence implying existence of a group of some order

    Homework Statement A group presentation G = (a,b : a^m = b^n = 1, ba = a^db) defines a group of order mn if and only if d^n \equiv 1 (mod m). Homework Equations One book that I read presents a solution in a way of constructing a group of said order by defining associative binary...
  31. iVenky

    Relation between phase velocity and group velocity

    I know the physical meaning of phase as well as the group velocity. I want to know the mathematical relationship between the phase velocity and group velocity. Thanks a lot.
  32. S

    Monoid of specifications for a group

    Monoid of "specifications" for a group The question of whether there is any standard math associated with specifications of ordered pairs on a group went nowhere (https://www.physicsforums.com/showthread.php?t=640395), so I will spell out what I have in mind. It appears possible to define a...
  33. TrickyDicky

    Lorentz group and the restricted Lorentz group

    It is a well known fact that the Lorentz group of transfornations are linear. Now reading the wiki entry on the LG it spends a good deal explaining its identity component subgroup, the restricted LG group, and it turns out it is isomorphic to the linear fractional transformation group, which are...
  34. A

    Poincaré group is semi-product of translations and Lorentz-group

    Hi everybody, Can somebody help me with the following proof. Show that for the Poincaré group P=T\odot L Where T is the group of translations and L is the Lorentz group and P is the semi-direct product of the two subgroups I know the axioms for a semi-direct product in this case are...
  35. G

    How Does xH Equal yH Imply x⁻¹y Belongs to H in Group Theory?

    Homework Statement Let H be a subgroup of G Prove xH=yH ⇔ x-1.y\inH Homework Equations The Attempt at a Solution If x.H = y.H then x,y\inH since H is a subgroup x-1,y-1\inH and the closure of H means x-1.y\inH Proving the reverse is my problem despite the fact that I'm sure...
  36. U

    Proving the Group Properties of M, the Set of Nth Roots of Unity

    Hello, Please help in solving the four set of problems, i will be very happy explaining comment as really want to understand. The problem will spread to the extent of understanding preduduschey. 1 Problems: The set M, M = {e^(j*2*pi*k/n) , k= 0,1,2...n-1} denotes the set of the nth...
  37. T

    Understanding Phase & Group Velocities in Different Contexts

    I am trying to understand phase and group velocities in a few different contexts, but require some assistance. From pictures I have seen how these speeds can be different, and I have come to understand that the phase velocity can be greater than the speed of light because it does not actually...
  38. Z

    What Is the Galois Group of x^5 - 1 Over Q?

    Homework Statement I'm trying to find the galois group of x^5 - 1 over Q, and then for each subgroup of the galois group identify which subfield is fixed. Homework Equations The Attempt at a Solution If w = exp(2*I*PI/5), then the roots not in Q are w, w^2, w^3, w^4. Its fairly...
  39. J

    So what does a single photon do to a group of charged particles?

    I have heard, but never seen a representation, that we know the characteristics of photons because of their reaction with other charges particles. So what exact physical motions are induced on the particles when a photon travels through them. Does the magnitude of the electric and magnetic...
  40. S

    Partially specified elements of a group?

    Is there a technical term in group theory for (what I would call) partially specified elements of a group? I mean "partially specified" in the following sense: An elements of a group acts as permuation on the set of elements of the group. So a group element can be considered to be a function...
  41. G

    Showing f is a Bijection on a Group

    1. The problem statement, all variables and given/known data Let (G,*) be a group, and denote the inverse of an element x by x'. Show that f: G to G defi ned by f(x) = x' is a bijection, by explicitly writing down an inverse. Given x, y in G, what is f(x *y)? Homework Equations...
  42. D

    The probability of a member being part of a group

    Homework Statement There are two groups, group 1 and 2. Group 1 has a 0.5 chance of losing $36, while group 2 has a 0.1 chance of losing $36 dollars. The groups are of equal size. Now an insurance company is willing to cover the losses for a payment. However, the insurance company has an...
  43. J

    Prove that the group of all isometries is abelian

    Homework Statement The only thing I need to do now is show that isometric functions commute. I've shown the 3 properties that prove the the set G of isometric functions is a group. Homework Equations If f:Z-->Z is bijective and preserves distances, then f is isometric. The Attempt...
  44. J

    Finding the star of a wave vector using group theory

    I'm working on a problem where I have to find the little co-group and star of two wave vectors for a diamond structure (space group 227). I know I have to act on the vector by the symmetry operations in the group (perhaps only the ones in the isogonal point group, Oh?) and see if it remains the...
  45. K

    What are my options after being dismissed by my advisor in particle physics?

    A little bit of background I have passed all my qualifiers and my even passed my preliminary exam (research plan). My research area was particle searches at the CMS detector. The issues that led to me being dismissed was due to my computing ability. I am able to program however had very little...
  46. tomwilliam2

    How Does Group Speed Differ from Phase Speed in a Dielectric Medium?

    Homework Statement I'm given the refractive index of a piece of glass: $$n(\omega)=A+B\omega$$ And I have to find the speed at which a pulse of radiation will travel through the glass at an angular frequency $$\omega = 1.2 \times 10^{15} s^{-1}$$ I also have A = 1.4, B=3.00 x 10^-17. Homework...
  47. D

    32 point group system mmm in Orthorhombic crystal

    32 point group system "mmm" in Orthorhombic crystal Hello, I am trying to understand the mmm symmetry in a orthorhombic crystal. Looking from the diagram I know there are 5 diads which will give me 10 unique planes in the same form. But how do I know the exact planes that are in the form given...
  48. V

    Finding group velocity and Phase velocity

    Homework Statement A wave packet in a dispersive medium is given as : y(t) =cos(x-5t)cos(.2x-.4t)cos(.1x-.2t) Find group velocity and phase velocity for the wave packet. Hence plot w-k variation for the calculated values. 2. The attempt at a solution We know that for the wave, Vg = dw/dk and...
  49. T

    What Is an Infinite Group with Exactly Two Elements of Order 4?

    what is an infinite group that has exactly two elements with order 4? i let G be an infinite group for all R_5 ( multiplication modulo 5) within this interval [1,7) so i got |2|=|3|=4. i'm not sure this is the right answer but i couldn't think of anything else at a moment. help please.
  50. C

    Representations of the Lorentz group

    Can anyone recommend some litterature on representations of the Lorentz group. I'm reading about the dirac equation and there the spinor representation is used, but I would very much like to get a deeper understanding on what is going on.
Back
Top