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

    Group theory finding order of element and inverse

    Homework Statement Let a and b be elements of a group,with a^2=e , b^6=e and a.b=b^4.a find its order and express its inverse in form of a^m.b^n Homework Equations The Attempt at a Solution (ab)^2=(ab)(ab)=(ab)(b^4.a)=a(b^5)a (ab)^3=a(b^5)a(ab)=a(b^5)(a^2)b=a(b^6)=ae=a it...
  2. O

    MHB Finding galois group of Fq(x^(1/(q-1))) over Fq(x)

    i am trying to find G(F_{q}(x^{\frac{1}{q - 1}}/F_{q}(x)) where q is the power of some prime. i know that F_{q}(x^{\frac{1}{q - 1}}) is an extension of F_{q}(x) so i need to find the irreducible polynomial of x^{\frac{1}{q - 1}} over F_{q}(x). i found this to be t^{q - 1} - x...
  3. A

    When is a Galois group not faithful

    Hi, I'm looking at proposition 1.14(c) of Artin's Algebra. It says if we have K a splitting field for polynomial f from F[x], with roots a_1,...,a_n, then the Galois group G(K/F) acts faithfully on the set of roots. I look at faithful as the symmetries in the roots completely represent...
  4. I

    Can prime fields act two ways on the same abelian group?

    A problem asks to find an abelian group V and a field F such that there exist two different actions, call them \cdot and \odot, of F on V such that V is an F-module. A usual way to solve this is to take any vector space over a field with a non-trivial automorphism group, and define r\odot \mu...
  5. T

    Find the order of a k cycle in group Sn

    Homework Statement Prove that a k-cycle in the group Sn has order k. Homework Equations The Attempt at a Solution I'm mostly confused on how to write this in math notation. I know it will have order k because a1 → a2 → a3 ... ak-1 → ak → a1 if we do the compositions K times. and so...
  6. J

    Are all order 4 groups only isomorphic to C4 or C2+C2?

    Is it correct to say that any order 4 group is only isomorphic to either C4 or C2+C2 ? where C4 is the order 4 cyclic group and C2 the order 2 cyclic group
  7. T

    Group of partcles in a magnetic field

    Homework Statement A group of particles is traveling in a magnetic field of unknown magnitude and direction. You observe that a proton moving at 1.60 km/s in the + x-direction experiences a force of 2.10×10−16 N in the + y-direction, and an electron moving at 4.30 km/s in the - z-direction...
  8. P

    Can there be more than one definition of a GROUP?

    I'm reading a book about Group Theory (by Mario Livio: The Equation that Couldn't be Solved ). On page 46 he explains that four rules and one operation define a group: The rules are Closure, Associativity, the existence of an Identity Element and finally the existence of an Inverse. He cites...
  9. T

    The commutator subgroup of Dn: Is it generated by ρ2?

    1. Homework Statement My challenge is as follows: Let Dn be the dihedral group (symmetries of the regular n-polygon) of order 2n and let ρ be a rotation of Dn with order n. (a) Proof that the commutator subgroup [Dn,Dn] is generated by ρ2. (b) Deduce that the abelian made Dn,ab is...
  10. E

    Proving one element in the symmetric group (s>=3) commutes with all element

    I am really stuck with how to prove that the only element in Sn (with n>=3) commuting with all the other elements of this group is the identity permutation id. I have no idea what I am supposed to do with it, i know why S3 has only one element that commutes but i don't know how to prove it...
  11. S

    Exp as covering homomorphism for connected Lie group

    Homework Statement Let H be a connected Lie group with Lie algebra \mathfrak h such that [\mathfrak h, \mathfrak h] = 0. Show that: \exp: \mathfrak h \rightarrow H is the covering homomorphism. --------- I am not really sure what I have to show here, specifically I don't know...
  12. K

    Derivative of the inversion operator and group identity

    Homework Statement Let G be a Lie group, e be its identity, and \mathfrak g its Lie algebra. Let i be group inversion map. Show that d i_e = -\operatorname{id} . The Attempt at a Solution So this isn't terribly difficult if we have the exponentiation functor, since in that case e^{-\xi}...
  13. Andy Resnick

    Today and tomorrow (5/11 and 5/12) an extremely large group of

    Today and tomorrow (5/11 and 5/12) an extremely large group of sunspots is directly facing the earth: http://abcnews.go.com/blogs/technology/2012/05/enormous-sunspot-could-lead-to-solar-flares/ I went outside this morning and using a ND 7.0 filter could see it by eye, so photographs could...
  14. S

    Any group of order 952 contains a subgroup of order 68?

    Homework Statement I am struggling with a proof for this. Obviously Sylow's theorems come into play. We have that |G| = 952. As sylow's first theorem only covers subgroups of order pn, we cannot directly use it to assert the existence of a subgroup of order 68. On the other hand, if we can...
  15. A

    We do we enlarge the gauge group of the electroweak theory?

    Hello, I've been reading about the weak interaction. Basically, the weak interaction couples to particles that are left-handed, and we introduce the electron-electron neutrino as a (left-handed) SU(2) doublet. So, the gauge bosons (W+, W-, and Z) transform SU(2) triplet. Am I right...
  16. S

    Xyx^-1y^-1 a Lie group homomorphism?

    Hi! I was just going through this script on Lie groups: http://www.mit.edu/~ssam/repthy.pdf At one point the following is said: (see attachment) I've spent multiple hours trying to figure out why this is a group homomorphism. Sure, once you know the theorem is correct, this follows. But...
  17. J

    Iodine and fluorine leaving group

    A question in my test asked which of the acyl halide will hydrolyse faster in an aqueous solution of NaOH Well the asnwer is acyl iodide becasue iodine is a better leaving group( the solution says so) But i don't understand - fluorine will be hydrated to the greatest extent so removal of...
  18. L

    What are the possible group homomorphisms between Z10 and Z8?

    Homework Statement http://img515.imageshack.us/img515/5954/asdaii.jpg Homework Equations Y(a)Y(b)= Y(ab) Z10 = {1,3,7,9} Z8 = {1,3,5,7} The Attempt at a Solution Y(1)=1 Y(3)=3 Y(7)=5 Y(9)=7 Y(9.7)=Y(3)=3 Y(x)=(x-1)(x-3) + x works Y(7) = 24 + 7 =...
  19. K

    When solving a linear system for x and y, am i in a group? ring? field?

    Hi everyone, I'm currently taking an abstract Algebra course and need a little guidance with an analysis of solving a system of linear equations. We are given two linear equations and need to solve for x and y using the method of "substitution" and again using "elimination". However, we must...
  20. E

    Field transformation under Lorentz group

    Hi! In Weinberg's book "The quantum theory of fields", chapter2, it states that the transformation of a massive particle is U(\Lambda)\Psi_{p,\sigma}= N\sum\mathcal{D}^{(j)}_{\sigma',\sigma}(W)\Psi_{\Lambda p,\sigma'} where W is an element in the little-group SO(3). But than it states that...
  21. C

    Group refraction index, group velocity

    Can the group refractive index ng be 1>ng>0 ?
  22. O

    Understanding the Ideal Class Group of Q(√-17)

    I have a pretty urgent question concerning the calculation of the class group, so any help will be very much appreciated:) I'd like to illustrate my question with an example: Calculate the ideal class group of Q(√-17), giving a representative ideal for each ideal class and a description of the...
  23. P

    Rational numbers that form a group under addition

    Rational numbers form a group under addition. However, a sequence of rational numbers converges to irrational number. Presumably, group theory does not allow adding an infinite number of rational numbers. This is not indicated in the textbook definition of a group. I might be looking in vain...
  24. C

    Group velocity for regular waves generated in deep water

    Does group velocity effect long linear waves generated by a paddle generating waves in deep water? I have developed a numerical wave tank in CFD at full scale, using a bottom hinged flap paddle that oscillates to produce regular waves, the domain is roughly three wavelengths long, and a beach...
  25. T

    Calculate 2D matrix using the unitary group

    It's problem #5 on this homework set: https://docs.google.com/open?id=0B9c8sp75B5ZRMHAxYXB3MWdhYk0 I can calculate (\pi/4)(n1σ1 + n2σ2 + n3σ3) easily, but I have NO clue how a matrix M = exp[(\pi/4)(n1σ1 + n2σ2 + n3σ3)].
  26. J

    Abelian group on the natural numbers (including 0) ?

    Is it possible to define an abelian group on the natural numbers (including 0)? It's just that for every binary operation I've tried, I can't find an inverse!
  27. P

    Find the fundamental group of a Riemann Surface

    Homework Statement χ is the Riemann Surface defined by P(w, z) = 0, where P is a complex polynomial of two variables of degree 2 in w and of degree 4 in z, with no mixed products. Find the fundamental group of χ.Homework Equations A variation of the Riemann-Hurwitz Formula states that if χ is...
  28. ArcanaNoir

    Group representations, interesting aspects?

    I am writing an undergraduate "thesis" on group representations (no original work, basically a glorified research paper). I was wondering if anyone could suggest interesting aspects that might be worth writing about in my paper. I have only just begun to explore the topic, and I see that it...
  29. C

    Ionization energy - compare 2 unknown elements and decide their group

    Hello. I have a question about ionization energy: Two hypothetical elements in the 2nd or 3rd period have the following ionization energies: Element X First: 800 kJ/mol Second: 2500 kJ/mol Third: 3900 kJ/mol Fourth: 23000 kJ/mol Element Y First: 700 kJ/mol Second: 2200 kJ/mol...
  30. A

    How does Lie group help to solve ode's?

    Being not an expert, my question might sound naive to students of mahematics. My question is how on Earth a Lie group helps to solve an ode. Can anyone explain me in simple terms?
  31. A

    Is the Set [1;+∞[ x [1;+∞[ with the Operation (x;y)°(v;w) a Group?

    I have to find if the set [1;+∞[ x [1;+∞[ with the operation (x;y)°(v;w) = (x+v-1; yw) is a group I have already proven Closure, associativity and Identity but I have some problems with invertibility :) The neutral element that I have found is (1;1) I did (x;y)°(x1;y1)= (1;1) and I have...
  32. R

    Group Operation and True Meaning of Mapping

    Can't find (or maybe recognize when I see it) anything that discusses this question: A group G is a set of members. We normally assign familiar labels on the members such as a five member group with members labeled as 0, .. , 4. Then, a group operation + is defined as GxG -> G so that a look...
  33. K

    Hi all, I just come to this magic group

    I am Kimberly, newbie here. I love here!
  34. BWV

    Question on tensor notation in group theory

    in the appendix on Group Theory in Zee's book there is a discussion of commutations for SO(3) two questions - does [J^{ij},J^{lk}] = J^{ij}*J^{lk}-J^{lk}*J^{ij}? and there is an expression in the appendix that the commutator equals i(\delta^{ik}J^{jl} ... i don't understand the why...
  35. F

    The relation between two terminology cusp (group & algebraic curve)

    The relation between two terminology "cusp" (group & algebraic curve) Dear Folks: I come across the word "cusp" in two different fields and I think they are related. Could anyone specify their relationship for me?? Many thanks! the cusp of an algebraic curve: for example: (0,0)...
  36. A

    What is the purpose of the renormalization group?

    Hello, I've been reading a book on QCD on I have a question: what is the purpose of the renormalization group? Is it to remove the large logs so that we can use pertubation theory (at least for large -q^2)? And what is the physical significance of the renormalization scale \mu^2?
  37. J

    Can a nonabelian group of order p^3 be constructed for any prime p?

    For any prime p how do I show that there is a nonabelian group of order p^3? Since we are dealing with a p-group (call it G), its center is nontrivial (i.e., of order p,p^2, or p^3). Obviously, the center cannot have order p^3 (otherwise it's abelian). Also, if its center has order p^2, then...
  38. F

    How to find subgroup of index n in a given group

    Dear Folks: Is there a general method to find all subgroups in a given abstract group?? Many Thanks! This question came into my classmates' mind when he wants to find a 2 sheet covering of the Klein Bottle. This question is equivalent to find a subgroup of index 2 in Z free product...
  39. 1

    Help understanding a group theory proof

    iam currently studying undergraduate abstract algebra and i have reached to the permutation group topic i understand every thing till now but iam having trouble understanding the proof of "IF the identity permutation I of {1,2...n} is represented by m transpositions then m is even" I...
  40. I

    Group velocity at Brillouin zone boundary

    I am working on an assignment here; A linear chain with a two-atom primitive basis, both atoms of the same mass but different nearest neighbor separation and thus different force constants. I have made a rigorous calculation in order to find the dispersion relation ω(k), with extensive...
  41. M

    Proof of Sylow: Let G be a Finite Group, H and K Subgroups of G

    Let G be a finite group, H and K subgroups of G such that G=HK. Show that there exists a p-Sylow subgroup P of G such that P=(P∩H)(P∩K). I found this proof and it is clear http://math.stackexchange.com/questions/42495/sylow-subgroups but I do not understand step 3 which is "It is clear in this...
  42. P

    Evaluating Group Homomorphisms and the Remainder Theorem

    Hey I've been working on this question, How that the following is a homomorphism \theta :{{D}_{2n}}\to {{D}_{2n}}\,\,\,givenby\,\,\,\theta ({{a}^{j}}{{b}^{k}})={{b}^{k}}\,\,\, \theta ({{a}^{j}}{{b}^{k}})\theta ({{a}^{m}}{{b}^{n}})={{b}^{k}}{{b}^{n}} \theta...
  43. D

    Proving Non-Abelian Groups Have Unique Elements with Non-Commutative Properties

    To show that a non-abelian group G, has elements x,y,z such that xy = yz where y≠z, Is it enough to simply state for non-abelian groups xy≠yx so if you have xy=yz then it is not possible for x=z due to xy≠yx? Or is more detail required?
  44. L

    What Are the Rules for Element and Subgroup Orders in Group Theory?

    Hey, I'm just trying to grasp ordering of groups and subgroups a little better, I get the basics of finding the order of elements knowing the group but I have a few small questions, If you have a group of say, order 100, what would the possible orders of an element say g^12 in the...
  45. C

    You can slow the group velocity of light. Can you slow electricity?

    There are various methods to slow and even stop visible light. Most of these methods appear to be slowing the group velocity of light, not the phase velocity. Can you slow the velocity of propagation of electricity? I have seen estimates that electricity, in a wire, propagates at 2/3 the...
  46. J

    Probability question: From a group of 8 women, 6 men,

    Probability question: "From a group of 8 women, 6 men, ..." Homework Statement Homework Equations n choose k = n!/((n-k)! * k!) multiplication rule The Attempt at a Solution Clearly the number of total committees that can be formed from 3 of 8 women and 3 of 6 men is (8...
  47. L

    What is the latest on the Group Extension Problem?

    Let K be a finite group and H be a finite simple group. (A simple group is a group with no normal subgroups other than {1} and itself, sort of like a prime number.) Then the group extension problem asks us to find all the extensions of K by H: that is, to find every finite group G such that...
  48. S

    Why doesn't the image of a group have the same cardinality as the group?

    I was doing one of the proofs for my abstract algebra class, and we had to prove that the cardinality of the image of G, [θ(G)] is a divisor lGl. I'm trying to intuitively understand why G and it's image don't necessarily have the same cardinality. I'm thinking it's because there isn't...
  49. D

    Exploring Group Elements and Associativity Axiom Patterns in a Table

    While studying groups, Is there a common pattern/arrangement of the group elements represented in a table? Is there a pattern for the associativity axiom? Thanks.
  50. D

    Understanding Group Theory in Physics

    Hi Everyone, I am kind of looking some online text to understand Lie Algebra, Group Theory and so forth. I usually need application (everyday/science context how it is used) and intuition more than mere mathematical definition to understand topics. So I need some text that gives very deep...
Back
Top