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

    How do I know if some objects represent the Lorentz Group?

    I'm thinking of an object or objects. How do I show that the objects form a representation of the Lorentz group in 1+1 D spacetime? Thanks for any help!
  2. Math Amateur

    Multiplication of Path Classes and the Fundamental Group

    In Chapter 7 of John M. Lee's book on topological manifolds, we find the following text on composable paths and the multiplication of path classes, [f] ... ... Lee, writes the following:In the above text, Lee defines composable paths and then defines path multiplication of path classes (not...
  3. chimath35

    GRE Math Subject Test summer study group Milwaukee area

    Is anyone interested in a GRE Math Subject Test study group in the Milwaukee area that meets up to 3 times or so per week?
  4. Einj

    Is it possible to construct a gauge theory with local ISO(3) symmetry?

    Hello everyone. Does anyone know if it is possible to build a gauge theory with a local ISO(3) symmetry (say a Yang-Mills theory)? By ISO(3) I mean the group composed by three-dimensional rotations and translations, i.e. if ##\phi^I## are three scalars, I'm looking for a symmetry under: $$...
  5. Halo CX

    Can group velocity be greater than phase velocity?

    Is it possible for a group velocity of any wave disturbance to be greater than its component phase velocities?
  6. KingCrimson

    Thermal decomposition of group 1 and 2 nitrates

    Why does the thermal decomposition of group 1 metals, except for lithium, yield a nitrite while that of group 2 metals yield oxides?
  7. Futurestar33

    Comparing Group theory and Electromagnetism

    Homework Statement Good afternoon, How can you mathematicaly talk about how how group theory compares to electromagnetism. Homework Equations e^iθ=Cosθ+iSinθ The Attempt at a Solution I know that the above formula is because of a sin wave and a cosine wave. Put them together and you get a...
  8. E

    MHB Clarification for Alternating Group

    In class we had to show that ${A}_{5}$ is cyclic. So what we did was, ${A}_{5}$ is cyclic iff there is an $\alpha\in{A}_{5}$ with $<\alpha> = {A}_{5}$. So, the $ord(\alpha) = |<\alpha>| = |{A}_{5}| = \frac{5!}{2} = 60$. So, $60 = {2}^{2}*3*5$. After this, we said that we could do a 4-cycle...
  9. pellman

    What does it mean to say a Lie group is real?

    What makes a Lie group a real Lie group? I see on the Wikipedia page http://en.wikipedia.org/wiki/Lie_group "A real Lie group is a group that is also a finite-dimensional real smooth manifold" So when is a manifold a real manifold?
  10. L

    Why complex reps of gauge group for chiral theory?

    Why must the gauge group be in a complex representation so that chirality of the fermions is respected? thanks
  11. K

    Properties of -COOR functional group?

    By properties I mean the +I or -I effect as compared to other functional groups along with whether it induces a +R or -R effect?
  12. T

    Abstract Algebra; Group Theory Question

    Let N be a normal subgroup of a group G and let f:G→H be a homomorphism of groups such that the restriction of f to N is an isomorphism N≅H. Prove that G≅N×K, where K is the kernel of f. I'm having trouble defining a function to prove this. Could anyone give me a start on this?
  13. jfizzix

    Group velocity of a wavepacket vs its mean phase velocity

    The mean velocity of a wavepacket given by the general wavefunction: \Psi(x,t)=\frac{1}{\sqrt{2\pi}}\int dk A(k)e^{i(k x - \omega(k) t)}, can be expressed in two ways. First, we have that it's the time derivative of the mean position (i.e., its mean group velocity): \frac{d \langle...
  14. nuclearhead

    Does the Monster Group appear in String Theory?

    I read somewhere that the Monster Group appears is related to String Theory as 26D String theory on a 24D Leech Lattice gives a vertex algebra whose symmetries are the Monster Group. Just wondering if the size of a big group like that appears in the actual Universe? For example, there are lots...
  15. S

    Intro Math Introductory Book on Group Theory for HS freshman?

    I am looking for an introductory book on group theory for my son who is a high school freshman. He has a good grasp of the basics of mathematics and is ready to take calculus classes. He has a very strong intuitive grasp of symmetry and transformations, so I thought that he may be ready to be...
  16. W

    Amino acid side chain: amino group basic and hydroxyl not?

    Hi all I don't really understand this... How come that if an amino group is attached to the amino acid side chain, like in arginine or lysine, the molecule is basic, but if an hydroxyl group is attached, like threonine, it is not basic? How come the amino group can accept a H+ and a hydroxyl...
  17. J

    Oxford's DPhil in the CMT group or MIT's graduate program

    Hi all. I have never posted anything in PhysicsForums, but I am a long time follower. I was lucky enough to get admitted to both the MIT's graduate program in Physics and to the DPhil in Theoretical Physics at Oxford in the condensed matter theory group. I am unsure which programme to choose...
  18. JonnyMaddox

    Tensor product and representations

    Hi, I that <I|M|J>=M_{I}^{J} is just a way to define the elements of a matrix. But what is |I>M_{I}^{J}<J|=M ? I don't know how to calculate that because the normal multiplication for matrices don't seem to work. I'm reading a book where I think this is used to get a coordinate representation of...
  19. resurgance2001

    Simple explanation of group generators

    Hi I am trying to get a simple grasp of the concept of a group generator and group representations. As ever wherever I look, I get very mathematical speak definitions such as: "A representation is a mapping that takes elements g in G into linear operators F that preserve the composition...
  20. R

    Why reducing nature of hydrides increases down a group?

    But for oxides reducing nature decreases down a group. We say non metallic oxides are acidic but for hydrides it is opposite, What's the appropriate reason?
  21. PsychonautQQ

    Group Theory: Element of Order 2 in Groups of Even Order

    Homework Statement If G is a group of even order, show that it has an element g not equal to the identity such that g^2 = 1. Homework Equations None The Attempt at a Solution What I wrote: If |G| = n, then g^n = 1 for some g in G. Thus, (g^(n/2))(g^(n/2)) = 1, so g^(n/2) is the element of...
  22. Calpalned

    Exploring the Toxicity of Thallium: A Comparison with Other Boron Group Elements

    I am confused as to why thallium is toxic, while the other members of group 13 are safe? (Quotes are from Wikipedia) Boron - "Elemental boron [is] non-toxic to humans and animals" Aluminum - "... [has] extremely low acute toxicity..." Gallium - "...metallic gallium is not considered toxic..."...
  23. J

    What are some real-world applications of cyclic groups and Galois fields?

    Can anybody name some real world applications of group theory? I would be particularly interested to hear any uses of cyclic groups to solve everyday problems one could encounter.
  24. ChrisVer

    Is Associativity a Required Property for Groups to Be Defined?

    I was wondering, if we take a "group" G (so multiplication is defined among the elements) it forms a group if it has the following properties: Closure Contains the identity element Contains the inverse elements follows associativity. I was wondering if associativity is not a must though... like...
  25. C

    Where does the temporal stretch come from in Group Velocity Dispersion?

    Homework Statement Our lecturer seemed to skip over how to get from the Group Velocity Dispersion to the actual temporal stretch of a pulse sent down an optical fibre, instead we were given just the two formula. I've been trying to work out where the temporal stretch comes from but can't work...
  26. Abolaban

    Question on group theory: simplest math construction

    Hello Big Minds, In the following analysis...It is said that D_2 contains three subgroups Z_2...why did he choose a mathematical constuction contains only two of the the three subgroups? shouldn't he use the three in his construction? what will happen if he used the three? [from the book of...
  27. P

    MHB Exploring the Application of Maths in Music: Group Theory and Beyond

    Is there any application of maths in music, which topic is directly used. I've heard group theory is used, but how it is used. Plz help..i m going to work on a project that will show how maths works in music or sound system.
  28. M

    Why does the order of the center of a non-abelian p-group have to be p?

    Homework Statement Let G be a non-abelian group with order ##p^3##, p prime. Then show that the order of the center must be p. Homework Equations Theorem in our book says that for any p-group the center is non-trivial and it's order is divisible by p. Class eq. ##|G|= |Z(G)| + \sum{[G ...
  29. L

    Algebra Any recommendations for group theory books with applications in relativity?

    Hello, I’m looking for introductory books/notes on group theory and algebra. We are using “Groups” by Jordan and Jordan in class, but I am looking for something a little more in-depth. I wouldn’t mind a book that was entirely focused on the pure maths side but if it had lots of applications to...
  30. Oxymoron

    Metrics and Group Structure Reduction

    I don't understand the geometry of what happens when you give a manifold a metric, in particular how the group structure reduces to the orthogonal group. I've read the wikipedia article http://en.wikipedia.org/wiki/Reduction_of_the_structure_group a dozen times but I get stuck when it says that...
  31. PsychonautQQ

    Onto Homomorphism to cyclic group

    Homework Statement If P: G-->C_6 is an onto group homomorphism and |ker(p)| = 3, show that |G| = 18 and G has normal subgroups of orders 3, 6, and 9. C_6 is a cyclic group of order 6. Homework Equations none The Attempt at a Solution I determined that |G| = 18 by taking the factor group...
  32. PsychonautQQ

    Why do the conjugate classes of a group partition the group?

    Given an element a in a group G, class(a) = {all x in G such that there exists a g in G such that gxg^(-1) = a} class(b) = {all x in G such that there exists a g in G such that gxg^(-1) = b} so let's say y is a conjugate of both a and b, so it is in both class(a) and class(b), does that mean...
  33. G

    How to Determine Group from Commutation Relations?

    Is there a way to determine the group from the commutation relations? For example, the commutation relations: [J_x,J_y]=i\sqrt{2} J_z [J_y,J_z]=\frac{i}{\sqrt{2}} J_x [J_z,J_x]=i\sqrt{2} J_y is actually SO(3), as can be seen by redefining J'_x =\frac{1}{\sqrt{2}} J_x : then J'_x , J_y and...
  34. A

    Solving Simple Group Homomorphism Problem: Proving phi(G) is Subgroup of N

    I have this problem on simple group's homomorphism: Let ##G′## be a group and let ##\phi## be a homomorphism from ##G## to ##G′##. Assume that ##G## is simple, that ##|G| \neq 2##, and that ##G′## has a normal subgroup ##N## of index 2. Show that ##\phi (G) \subset N##. And last year somebody...
  35. Ahmed Abdullah

    Rubik's cube group element with the smallest order

    Wikipedia says that largest order of any element of Rubik's cube group is 1260 [PLAIN]http://upload.wikimedia.org/math/e/1/c/e1cff178a2562422492a4140a38f93ff.png. http://en.wikipedia.org/wiki/Rubik%27s_Cube_group What about element of smallest order (except the identity element)? I'll...
  36. aabottom

    Good books on the group theory of quantum mechanics

    Hello I'm looking for good books on the group theory of quantum mechanics. I have a BS in Physics, MS in Electrical Engineering and decades of work experience in building lasers, and R&D in laser systems, optics & infrared sensing systems. My main goal is to study & understand quantum...
  37. T

    Understanding Point Groups in Crystals: Definition and Key Concepts

    Hello, I've got difficulties in understanding what is the point group a o crystal. I read that it is the subset of symmetry operations leaving at least one point of the lattice fixed. But I do not understand: 1) This point must be the same for all the members of the point group? 2) if it must be...
  38. PsychonautQQ

    Attempting to better understand the group isomorphism theorm

    The homomorphism p:G-->H induces an isomorphism between G/Ker(p) and H (if p is onto). I am trying to understand why this must be true. I understand why these groups have the same magnitude and so a bijection is possible, but there is something that I am not able to understand. What seems to be...
  39. PsychonautQQ

    Group Theory Question: Ker(p) and Homomorphisms Explained in Detail

    Homework Statement Let p: G-->M be a group homomorphism with ker(p) = K. If a is an element of G, how that Ka = {g in G | p(g) = p(a)} Homework Equations none needed The Attempt at a Solution Okay, I've been struggling with this problem for awhile and I've ran into a problem: -Let g be an...
  40. A

    Automorphism Group of Radical of Finite Group

    I am working on a problem on automorphism group of radical of finite group like this one: Here are what I know and what I don't know: ##Aut(R(G))## is an automorphism group, whose elements consist of isomorphic mappings from ##R(G)## to itself. For visualization purpose, I envision the...
  41. H

    MHB What independence test should I use for this group of data? <-----------

    Hey Guys! I am working on a math project and I am stumped. I'm not sure weather I should use the chi-squared test or another test with my set of data. I am testing weather there is a relationship between crime rates and the unemployment rate of cities. Could someone please help? I'm not testing...
  42. A

    Use of Carb- Prefix before functional group names?

    1. I have been facing problem with the use of carb-prefix under same special conditions in organic chemistry nomenclature.Homework Equations3. One friend of mine suggested me that if there are 3 or more similar functional group, out of which none can be given priority in a single structure, then...
  43. A

    Subnormal p-Sylow Subgroup of Finite Group

    I am self-studying a class note on finite group and come across a problem like this: PROBLEM: Let ##G## be a dihedral group of order 30. Determine ##O_2(G),O_3(G),O_5(G), E(G),F(G)## and ##R(G).## Where ##O_p(G)## is the subgroup generated by all subnormal p-subgroups of ##G##; ##E(G)## is the...
  44. AdityaDev

    Basicity of hydrides if group 15 elements

    For group 15 elements the order of basicity given is NH3 > PH3 > AsH3 > SbH3 > BiH3 And order of reducing strength is BiH3 > sbH3 > AsH3 > PH3 > NH3 Why are they in opposite order? Reducing nature means tendency to donate electrons. Basicity means strength of bases and hence as basicity...
  45. C

    Ramification group of valuations - need terminology

    I am lost and need some terminology (also hopefully sources). Let L/K be a Galois extension, and w be a valuation of a L, lying above a valuation v of K. Notice that I do not suppose that w is discrete. Given α > 0 in the finite image of w, each of the following can easily been shown to be a...
  46. H

    Transitive subgroup of the symmetric group

    Hi, I need help in proving the following statement: An abelian,transitive subgroup of the symmetric group Sn is cyclic,generated by an n-cycle. Thank's in advance
  47. A

    Solving Simple Group Problem: Subset of Normal Subgroup of Index 2

    I am working on myself on a problem looks like this: Let ##G'## be a group and let ##\phi## be a homomorphism from ##G## to ##G'.## Assume that ##G## is simple, that ##|G| \neq 2##, and that ##G'## has a normal subgroup ##N## of index 2. Show that ##\phi (G) \subseteq N##. I have been asking...
  48. M

    MHB Solving the City Soccer Tournament Puzzle: Group A Results

    My daughter needs my help, and I am stumped. Here is the problem: In the first round of the city soccer tournament, the teams in group A finished as follows: Team------>Goals For------>Goals Against----->Points Naranja---> 4--------------->2-------------------->7 Bleu------>...
  49. W

    Reconstructing Group from Covering Maps

    Hi, let p : E--->B be a covering map. Then we have a result that for every subgroup of ## \pi_1(B) ## we have an associated covering map. Now, going in sort-of the reverse direction, is there a way of figuring out what ## \pi_1(B) ## is, if we know a collection of covering maps for B; what...
Back
Top