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

    Proving g^m is an Element of K in G: Factor Group Question Homework

    Homework Statement if K is normal in G and has index m, show g^m is an element of K for all g in G Work (I haven't done much with proofs so bear with me): |G/K| = |G| / |K| = m |G| = x |K| = y g^m must be an element of G since m|x if g^m is an element of G and K is normal to G then (g^m)K =...
  2. PsychonautQQ

    Finding the order of a factor group

    Homework Statement G is a cyclic group generated by a, G = <a>. |a| = 24, let K=<a^12>. Q: In G/K, find the order of the element Ka^5 Work: K=<a^12> = <1,a^12> --> |K| = 2 |G/K| = |G| / |K| = 24 / 2 = 12, so |Ka^5| = 1,2,3,4,6 or 12. now I'm lost ;-/
  3. H

    How to select bases for Matrix representation of a point group?

    To represent operations of a point group by matrix we need to choose basis for this representation. What is the criteria for doing that? How to realize that how many bases are necessary for a matrix representation and how to select them? Or could you please give me an elementary reference to...
  4. PsychonautQQ

    Group Homomorphism in Z_7 - Why is the Answer Yes?

    Homework Statement Groups G and H are both groups in Z_7 (integer modulo), the mapping Is given by ø(g) = 2g is ø: G-->H a homomorphism? The Attempt at a Solution My textbook says yes, I can't understand why. ø(g1g2) = 2(g1g2) does not equal 2g1*2g2 = ø(g1)ø(g2) something...
  5. J

    Proof of Group Homework: Ring of 2x2 Matrices over Zp

    Homework Statement Let R be the ring of all 2*2 matrices, over Zp, p a prime. Let G be the set of elements x in the ring R such that det x ≠ 0. Prove that G is a group. Homework Equations Matrix is invertible in ring R. The Attempt at a Solution Group properties and ring properties...
  6. R

    How Does Hadlock Prove Every Polynomial of Degree n Has a Symmetric Group Sn?

    Can anyone explain the idea behind Hadlock's proof that there is an Sn for every poly of degree n? Theorem 37 page 217 I can follow how to build up G from F using symmetric functions and the primitive element theorem. A lso I get the idea of constructing a poly of deg n! from one of deg n...
  7. J

    Cyclic Group - Isomorphism of Non Identity Mapping

    Homework Statement Prove that if G is a cyclic group with more than two elements, then there always exists an isomorphism: ψ: G--> G that is not the identity mapping. Homework Equations The Attempt at a Solution So if G is a cyclic group of prime order with n>2, then by Euler's...
  8. J

    Center of Factor Group Is Trivial Subgroup

    Homework Statement Prove that the center of the factor group G/Z(G) is the trivial subgroup ({e}). Homework Equations Z(G) = {elements a in G|ax=xa for all elements x in G} The Attempt at a Solution I need to prove G is abelian, because G/Z(G) is cyclic, right? Then I can say that...
  9. maverick280857

    Why is Lorentz Group in 3D SL(2, R)?

    Hi, While reading "Superspace: One Thousand and One Lessons in Supersymmetry" by Gates et al. I came across the following paragraph: Maybe I haven't understood what exactly they're trying to say here, but 1. Why is the Lorentz Group SL(2, R) instead of SL(2, C)? 2. Why is the two-component...
  10. J

    Conjugate Subgroups of a Finite Group

    Homework Statement Two subgroups of G, H and K are conjugate if an element a in G exists such that aHa^-1= {aha^-1|elements h in H}= K Prove that if G is finite, then the number of subgroups conjugate to H equals |G|/|A|. Homework Equations A={elements a in G|aHa^-1=H} The Attempt...
  11. P

    Group Velocities: Understanding Sound Pulse Faster Than C

    A co-worker recently shared an article with me that demonstrated a sound pulse traveling faster than c. After doing much research, I am still confused as to how this does not send information faster than light. If the leading edge of the pulse arrives before the rest of it, how would that...
  12. C

    Group Representation: Understanding SO(3), SU(2), and the Clebsch-Gordan Theorem

    Good morning I'me french so excuse my bad language : so in this course : http://lapth.cnrs.fr/pg-nomin/salati/TQC_UJF_13.pdf take a look at page 16. They say that all rotation auround a unitary vector \vec{u} of angle \theta in the conventionnal space could be right like this with the matrix...
  13. Greg Bernhardt

    What Are Symmetric Groups and Their Mathematical Significance?

    Definition/Summary The symmetric group S(n) or Sym(n) is the group of all possible permutations of n symbols. It has order n!. It has an index-2 subgroup, the alternating group A(n) or Alt(n), the group of all possible even permutations of n symbols. That group has order n!/2. For n >= 5...
  14. Greg Bernhardt

    What is the Definition and Explanation of a Quotient Group?

    Definition/Summary A quotient group or factor group is a group G/H derived from some group H and normal subgroup H. Its elements are the cosets of H in G, and its group operation is coset multiplication. Its order is the index of H in G, or order(G)/order(H). Equations...
  15. Greg Bernhardt

    Definition of Lie Group and its Algebras

    Definition/Summary A Lie group ("Lee") is a continuous group whose group operation on its parameters is differentiable in them. Lie groups appear in a variety of contexts, like space-time and gauge symmetries, and in solutions of certain differential equations. The elements of Lie...
  16. Greg Bernhardt

    What is a Group Representation and How Does it Act on a Vector Space?

    Definition/Summary A group representation is a realization of a group in the form of a set of matrices over some algebraic field, usually the complex numbers. A representation is irreducible if the only sort of matrix that commutes with all its matrices is a sort that is proportional to...
  17. Greg Bernhardt

    Group Characters: Definition and Applications

    Definition/Summary The character of a group representation is the trace of its representation matrices. Group characters are useful for finding the irrep content of a representation without working out the representation matrices in complete detail. Every element in a conjugacy class...
  18. Greg Bernhardt

    Group Theory: Definition, Equations, and Examples

    Definition/Summary A group is a set S with a binary operation S*S -> S that is associative, that has an identity element, and that has an inverse for every element, thus making it a monoid with inverses, or a semigroup with an identity and inverses. The number of elements of a group is...
  19. Greg Bernhardt

    What Are the Properties of Dihedral Groups?

    Definition/Summary The dihedral group D(n) / Dih(n) is a nonabelian group with order 2n that is related to the cyclic group Z(n). The group of symmetries of a regular n-sided polygon under rotation and reflection is a realization of it. The pure rotations form the cyclic group Z(n), while...
  20. Greg Bernhardt

    What are the properties of a dicyclic group?

    Definition/Summary The dicyclic group or generalized quaternion group Dic(n) is a nonabelian group with order 4n that is related to the cyclic group Z(2n). It is closely related to the dihedral group. Equations It has two generators, a and b, which satisfy a^{2n} = e ,\ b^2 = a^n ,\...
  21. J

    MHB What is the best way to measure group assortment?

    Hi I need a formula that returns a value representative of the amount of ‘assortment’ a group shows. The groups are made up of individuals, all of a binary class (e.g. male or female), are of difference sizes, and can be from different populations (i.e. different ratio of males to females). I...
  22. Pond Dragon

    Can Principal Bundles Help with Lie Group Decomposition?

    Long time reader, first time poster. Originally, it was my contention that all Lie groups could be written as the semidirect product of a connected Lie group and a discrete Lie group. However, I no longer believe this is true. The next best thing I could think of was to say that a Lie group is...
  23. M

    Can anybody help with group velocity simulations?

    On first reading, the description of ‘group velocity [vg]’ appears to be quite straightforward. However, I also found a number of speculative explanations as to ‘how’ and ‘why’ the group velocity may exceed the ‘phase velocity [vp]’. Therefore, in order to get a better intuitive understanding of...
  24. W

    Mapping Class Group of Contractible Spaces

    Hi all, Isn't the mapping class group of a contractible space trivial (or, if we consider isotopy, {+/-Id})? Since every map from a contractible space is (homotopically)trivial.
  25. B

    Function Group vs. Mechanisms approach (Organic Chemistry)

    Hello! For those who took (or have been taking) the organic chemistry, which methodology do you prefer to tackle the mechanism and prediction questions? I have been reading Loudon & Wade (functional group-based) and Clayden (mechanism-based), but I feel like the mechanism-based approach is...
  26. D

    Cyclic Group Generators <z10, +> Mod 10 group of additive integers

    So I take <z10, +> this to be the group Z10 = {0,1,2,3,4,5,6,7,8,9} Mod 10 group of additive integers and I worked out the group generators, I won't do all of them but here's an example : <3> gives {3,6,9,2,5,8,1,4,7,0} on the other hand <2> gives {2,4,6,8,0} and that's it! but...
  27. Q

    Group, Symmetries and Representation

    I'm starting to learn about particle physics but I really want to see the whole picture before going deep. Here is what I know: - There are symmetries in quantum physics, which are symmetry operators commute with the Hamiltonian (translation operators, rotation operators...) which act on a...
  28. D

    Chemistry Functional group in aspartame molecule

    Homework Statement which functional group is present in aspatame molecule? Homework Equations The Attempt at a Solution why the carbonyl group COO- is not present in the diagram? I can find it in the diagram
  29. Math Amateur

    MHB Group of units - Rotman - page 36 - Proposition 1.52

    I am reading Joseph Rotman's book Advanced Modern Algebra. I need help in fully understanding the proof of Proposition 1.52 on page 36. Proposition 1.52 and its proof reads as follows: The part of the proof on which I need help/clarification is Rotman's argument where he establishes that...
  30. PsychonautQQ

    Is the Group of Units in a Monoid Always Closed Under Its Operation?

    Homework Statement Theorm 1: If M is a monoid, the set of M* of all units in M is a group using the operation of M, called the group of units of M. My question is this always a "real" group? for example, is this 'group' always closed under the binary operation? Homework Equations...
  31. B

    Group velocity of two superimposed sine waves

    Hi all, I understand the concept of group velocity when applied to superimposed sine waves of the same amplitude, and even when applied to wave packets (in which case you get the well-known expression ∂ω/∂k). My question is what happens when you add two sine waves of different amplitudes? So...
  32. Z

    Energy travels at group velocity and not phase velocity?

    How to prove that energy travels at group velocity and not phase velocity?
  33. Xenosum

    Why Does the Lorentz Group Equal SU(2) x SU(2)?

    In Ryder's Quantum Field Theory it is shown that the Lie Algebra associated with the Lorentz group may be written as \begin{eqnarray} \begin{aligned}\left[ A_x , A_y \right] = iA_z \text{ and cyclic perms,} \\ \left[ B_x , B_y \right] = iB_z \text{ and cyclic perms,} \\ \left[ A_i ,B_j...
  34. PsychonautQQ

    A Group Homomorphism: Verifying ø(gh) = ø(g) + ø(h) for ø: Z → Z

    Homework Statement For any integer K, the map ø_k: Z → Z given by ø_k(n) = kn is a homomorpism. Verify this Homework Equations if ø(gh) = ø(g)ø(h) for all g,h in G then the map ø: G → H is a group homomorpism The Attempt at a Solution So I have barely any linear algebra so many...
  35. PsychonautQQ

    The webpage title could be: Subgroups in (R^2,+) with Component-wise Addition

    Homework Statement Let (R^2,+) be the set of ordered pairs with addition defined component wise. Verify {(x,2x)|x£R} is a subgroup and that {(x,2x+1)|x£R} is not a subgroup. The Attempt at a Solution So for something to be a subgroup it has to have all it's set items contained in the...
  36. J

    C/C++ C++ function to tell whether a group is cyclic

    Is there anything wrong with my logic and is there any way to further optimize this potentially long-running function? I've put a lot of comments to explain what's going on. template <typename ObType, typename BinaryFunction> bool isCyclic(const std::set<ObType> & G, BinaryFunction & op...
  37. PcumP_Ravenclaw

    Permutations of a group (Understanding Theory)

    Dear all, Please read the text in the attachment. Then... 1)Explain what is meant by "fix k" and "fixed point of ρ" ? 1a) What does ρ(k) = k mean? 2) How to make the permutation of αβ? 3) What does "re-arranging α so that its top row coincides with the bottom row of β, and...
  38. Z

    Mimetite: P63/m Space Group Explained

    In the general-symmetry-space group table over to the right on the page below: https://en.wikipedia.org/wiki/Mimetite It states: Space group: P63/m What does the letter P indicate and also the subscript 3? Thanks
  39. K

    Commutator of a group is identity?

    If the group G/[G,G] is abelian then how do we show that xyx^{-1}y^{-1}=1? Thanx
  40. ChrisVer

    What group is renormalization group?

    What type of group is the Renormalization Group? All I've seen is people giving a (differential) equation for beta-function when they teach for the RG... Also I haven't been able to find an algebra characterizing the RG... Any clues?
  41. D H

    2014 FIFA World Cup Preview: Group Deathmatches

    The World Cup is less than three weeks away. The brackets were set long ago. There are three groups of death. Group B (Spain, Netherlands, Chile, Australia). Total FIFA ranking points: 4009. Difference between second and third ranked teams (Chile and Netherlands): 70. Poor Australia. They have...
  42. K

    Is G/H Always an Abelian Group if H is Normal in G?

    Let H be a normal subgroup of G. Then factor group G/H is an abelian subgroup. For x, y not in H xHyH=yHxH and xyH=yxH (xyH)(yxH)^{-1}=id xyx^{-1}y^{-1}=id Are these steps correct? thnx
  43. C

    Linearisation of Lie Group Higher dimensional groups

    Higher dimensional groups are parametrised by several parameters (e.g the three dimensional rotation group SO(3) is described by the three Euler angles). Consider the following ansatz: $$\rho_1 = \mathbf{1} + i \alpha^a T_a + \frac{1}{2} (i\alpha^a T_a)^2 + O(\alpha^3)$$ $$\rho_2 = \mathbf{1}...
  44. A

    Abstract Algebra: Abelian group order

    Homework Statement Let G be an abelian group and let x, y be elements in G. Suppose that x and y are of finite order. Show that xy is of finite order and that, in fact, o(xy) divides o(x)o(y). Assume in addition that (o(x),(o(y)) = 1. Prove that o(xy) = o(x)o(y). The Attempt at a...
  45. S

    Are Vectors Defined by Commutation Relations Always Roots in Any Representation?

    The vectors \vec{\alpha}=\{\alpha_1,\ldots\alpha_m \} are defined by [H_i,E_\alpha]=\alpha_i E_\alpha they are also known to be the non-zero weights, called the roots, in the adjoint representation. My question is - is this connection (that the vectors \vec{\alpha} defined by the commutation...
  46. L

    What Does dad^-1 Equal for Elements in a Left-Coset Outside C_G(a)?

    Homework Statement I need to determine dad^1 for each element d in the left-coset formed by acting on the elements in C_G(a) with the element c such that c is not an element of the subgroup C_G(a) Homework Equations The Attempt at a Solution I don't really understand what the...
  47. O

    MHB Using dihedral group in Lagrange theorem

    i was given that D4=[e,c,c2,c3,d,cd,c2d,c3d] therfore D4=<c,d> is the subgroup of itself generated by c,d then they defined properties of D4 as follows ord(c)=d, ord(d)=2, dc=c-1d i am strugging to understand how they got that c4=e=d2
  48. B

    For every positive integer n there is a unique cyclic group of order n

    Hi, I can't understand why the statement in the title is true. This is what I know so far that is relevant: - A subgroup of a cyclic group G = <g> is cyclic and is <g^k> for some nonnegative integer k. If G is finite (say |G|=n) then k can be chosen so that k divides n, and so order of g^k...
  49. G

    How to start writing a paper on Number Theory or Group Theory

    Hello :) That's my 2nd year in Math, and I want to start writing an article on NT or Group Theory. I know most of the basic GT and some NT. I still don't know residues/congruences completely, I face problems about understanding the theorems. There are a lot of theorems in these chapters and...
  50. F

    Lattice systems and group symmetries

    Dear all, In Marder's Condensed matter physics, it uses matrix operations to explain how to justify two different lattice systems as listed in attachment. However, I cannot understand why the two groups are equivalent if there exists a single matrix S satisfying S-1RS-1+S-1a=R'+a'...
Back
Top