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

    MHB Does the permutation group S_8 contain elements of order 14?

    Does the permutation group $S_8$ contain elements of order $14$?My answer: If $\sigma =\alpha \beta$ where $\alpha$ and $\beta$ are disjoint cycles, then $|\sigma|=lcm(|\alpha|, |\beta|)$ . Therefore the only possible disjoint cycle decompositions for a permutation $\sigma \in S_8$ with...
  2. S

    Why Denote Group Operation with Multiplication?

    Why Denote Group Operation with Multiplication?? When groups are introduced in most abstract algebra texts, the operation is denoted by multiplication or juxtaposition and addition notation is reserved for abelian groups. This seems to cause a lot of unnecessary confusion. Professors often...
  3. Y

    Isomorphism symmetry group of 6j symbol

    Hi everyone, I read in 'Angular momentum in Quantum Mechanics' by A.R Edmonds that the symmetry group of the 6j symbol is isomorphic to the symmetry group of a regular tetahedron. Is there an easy way of seeing this? I've tried working out what the symmetry relations of the 6j symbol do...
  4. iVenky

    Single frequency- phase and group velocity?

    Let's consider a single frequency signal of frequency say 'f'. If the wave is propagating through a medium (EM wave with a velocity of 'c') then what will be the phase and group velocity? I believe that we can't find out the phase velocity and that the group velocity should be equal to the...
  5. M

    Group isomorphism (C,+) to (R,+)

    Homework Statement Prove (\mathbb{R},+) and (\mathbb{C},+) are isomorphic as groups.Homework Equations An isomorphism is a bijection from one group to another that preserves the group operation, that is \phi(ab)=\phi(a)\phi(b)The Attempt at a Solution I'm trying to find a bijection, but I can...
  6. S

    Group of invertible elements of subring of C.

    Homework Statement Let R be a subring of ℂ such that the group of invertible elements U(R) is finite, show that this group is a cyclic group. (Group operation being multiply). Homework Equations The Attempt at a Solution I have the answer, and I got very close to getting there myself before...
  7. C

    Understanding Multiplicative Inverses and Cyclic Groups

    Homework Statement 1)Fix ##n \in \mathbb{N}##. Consider multiplication mod ##n##. Let G be the subset of {1,2,...,n-1} = ##\mathbb{Z}_n## \ ##\left\{0\right\}## consisting of all those elements that have a multiplicative inverse (under multiplication mod n). Show that G is a group under...
  8. R

    Proving Finite Order Elements Form a Subgroup of an Abelian Group

    Homework Statement Prove the collection of all finite order elements in an abelian group, G, is a subgroup of G. The Attempt at a Solution Let H={x\inG : x is finite} with a,b \inH. Then a^{n}=e and b^{m}=e for some n,m. And b^{-1}\inH. (Can I just say this?) Hence...
  9. P

    Group Operation Properties: Commutativity, Associativity, Identity, and Inverse

    Homework Statement So we have this operation x*y=x+2y+4 and then our 2nd one is x*y=x+2y-xy I need to check if it is commutative,associative, and if it has a identity and an inverse. The Attempt at a Solution y*x=y+2x+4 so it is not commutative x*(y*z)=x+2(y+2z+4)+4=x+2y+4z+12...
  10. P

    Associativity of Group Operation

    Homework Statement Im looking at this example and trying to figure out how they showed it was associative. They start out with x*y=x+y+1 then they add in z to show it is associative. x*(y*z)=x*(y+z+1)=x+(y+z+1)+1=x+y+z+2 I don't know how they go from this x*(y+z+1)=x+(y+z+1)+1 and...
  11. T

    Understanding Graded Groups: Exploring Generators and Degrees

    What exactly is a graded group, Is it just the direct decomp. of the group, or space? is it a way of breaking a group/space into its generators? how do these entities work? Help, please!
  12. 8

    Group velocity in infinite square well

    ello everybody, how can I calculate the group velocity of a wave package in an infinite square well? I know only how it can be calculated with a free particle, the derivation of the dispersion relation at the expectation value of the moment. But in the well, there are only discrete...
  13. I

    MHB Proof about inner automorphism of a group

    Let $G$ be a group. Let $a ∈ G$. An inner automorphism of $G$ is a function of the form $\gamma_a : G → G$ given by $\gamma_a(g) = aga^{-1}$. Let $Inn(G)$ be the set of all inner automorphisms of G. (a) Prove that $Inn(G)$ forms a group. (starting by identifying an appropriate binary...
  14. A

    Proving Subgroup Inclusions in Group Theory | Homework Help

    Homework Statement Here's the question: http://assets.openstudy.com/updates/attachments/511179fae4b0d9aa3c487dfb-ceb105-1360099849081-grouptheory.png Homework Equations The Attempt at a Solution Step 1: <S,T> subset <<S>,T> subset <<S>,<T>> (easy) and Step 2: <S,T> subset...
  15. C

    How Does Injectivity of a Homomorphism Affect Its Kernel and Image?

    Homework Statement Let ##\theta : G \mapsto H## be a group homomorphism. A) Show that ##\theta## is injective ##\iff## ##\text{Ker}\theta = \left\{e\right\}## B) If ##\theta## is injective, show that ##G \cong I am \theta ≤ H##. The Attempt at a Solution A)The right implication is...
  16. dkotschessaa

    Do adults in school constitute an underrepresented group?

    Do adults in school constitute an "underrepresented group?" I know we have a few of us here - "returning adults," "non traditional students," or whatever appellation is currently P.C. I'm wondering if, given that I'm not a member of any sort of minority group, I should be considered...
  17. Z

    Zero Group Velocity: What Does it Mean?

    An infinitely long "mass-spring transmission line", consisting of masses (m) connected by springs (spring constant s) obeys the following dispersion relation: ω = \sqrt{4s/m} sin(kd/2). The group velocity is dω/dk = d/2 \sqrt{4s/m} cos(kd/2). What does zero group velocity "mean" for...
  18. C

    Proving Subgroups in Finite Groups

    Homework Statement Let G be a finite group, a)Prove that if ##g\,\in\,G,## then ##\langle g \rangle## is a subgroup of ##G##. b)Prove that if ##|G| > 1## is not prime, then ##G## has a subgroup other than itself and the identity. The Attempt at a Solution a) This one I would just like...
  19. M

    Group Actions: Prime Divisors & Smallest Prime | Dummit & Foote

    hi , this result is from text , Abstract Algebra by Dummit and foote . page 120 the result says , if G is a finite group of order n , p is the smallest prime dividing the order of G , then , any subgroup H of G whose index is p is normal and the text gave the proof of this result ...
  20. mnb96

    Question on Lie group regular actions

    Hello, it is known that "Every regular G-action is isomorphic to the action of G on G given by left multiplication". Is this true also when G is a Lie group? There is an ambiguous sentence in Wikipedia that is confusing me. It says: "The above statements about isomorphisms for regular, free...
  21. N

    IR Spectra: N-O Nitro group: Why two peaks?

    My IR spectra correlation chart for organic chemistry says that the stretch for a nitro N-O bond occurs at "1550 and 1400cm-1" and that it will look like "teeth". Why does N-O have two peaks? The rest of the functional groups on my chart list a range in which a single peak should appear, but why...
  22. E

    Research group on Twistor in USA.

    Hello ladies and gentelmen. I am currently studying mathematics in middle-east, I want to study Twistor Theory in master. the problem is most of twistor specialists in UK(including Roger Penrose) and my scholarship allow me to choose only university in USA . I did quick search here are...
  23. strangerep

    Maximal invariance group for constant acceleration?

    Recently, over in the relativity forum, Micromass contributed a post: https://www.physicsforums.com/showpost.php?p=4168973&postcount=89 giving a proof that the most general coordinate transformation preserving the property of zero acceleration (i.e., maps straight lines to straight lines) is...
  24. Einj

    Question about SO(N) group generators

    Hi all. I have a question about the properties of the generators of the SO(N) group. What kind of commutation relation they satisfy? Is it true that the generators λ are such that: $$\lambda^T=-\lambda$$ ?? Thank you very much
  25. F

    SU(2) a double cover for Lorentz group?

    SU(2) a double cover for Lorentz group? I'm presently reading the new book, "Symmetry and the Standard Model", by Matthew Robinson. On page 120, he writes, "the Lorentz group (SO(1,3), pg 117) is actually made up of two copies of SU(2). We want to reiterate that this is only true in 1+3...
  26. Astronuc

    Largest Structure in Universe: 4B Light-Years Long LQG

    Largest Structure in Universe Discovered http://news.yahoo.com/largest-structure-universe-discovered-093416167.html "An international team led by academics from the University of Central Lancashire (UCLan) has found the largest known structure in the universe. The team, led by Dr Roger...
  27. Deveno

    MHB What Is the Structure of This Quotient Group?

    You are given a group as a quotient of the free group on two letters, a and b. the kernel of the surjective homomorphism $F_2 \to G$ is generated by: $\{a^7,b^6,a^4ba^{-1}b^{-1}\}$ a) prove $G$ is solvable by identifying the derived series: $G' = [G,G] > G^{\prime \prime} = [G',G'] > \dots $...
  28. T

    A question on degrees of maps of the fundamental group of the unit circle

    Hello, I'm reading a textbook and in the textbook we are discussing the fundamental group of the unit circle and having some difficulty making out what a degree of a map is and why when there is a homotopy between two continuous maps f,g from S^{1} to S^{1} why the deg(f)=deg(g) We have...
  29. T

    Permutations of a single number in the symmetric group

    Say we have the symmetric group S_5. The permutations of \{2,5\} are the identity e and the transposition (25). But what are all the permutations of \{3\}? Is it e and the 1-cycle (3)?
  30. T

    Showing the Fundamental Group of S^1 is isomorphic to the integers

    Hi, I am reading J.P. May's book on "A Concise Course in Algebraic Topology" and have approached the calculation where \pi_{1}(S^{1})\congZ He defines a loop f_{n} by e^{2\pi ins} I want to show that [f_{n}][f_{m}]=[f_{m+n}] I understand this as trying to find a homotopy between...
  31. V

    Irreducible representations of the Lorentz group

    I'm having some difficulty understanding the representation theory of the Lorentz group. While it's a fundamentally mathematical question, mathematicians and physicists use very different language for representation theory. I think a particle physicist will be more likely than a mathematician to...
  32. D

    Group theory textbook suggestions?

    I'm looking for a text that covers group theory and its applications for QM and QFT, targeted towards an audience that knows their QM but is ignorant of everything quantum fieldy. Any recommendations?
  33. khurram usman

    Finding the number of ways in which a group can take exams?

    A group of 45 Computer Science students at a particular University had to take their first Discrete Mathematics course in the Autumn, Winter or Spring quarter of their Freshman year. How many possible ways were there for this group to meet this requirement? i came across this question on...
  34. S

    Fundamental Group of the Torus-Figure 8

    So I'm revamping the question I had posted here, after a bit of work. I'm concerned with the homomorphism induced by the inclusion of the Figure 8 into the Torus, and why it is surjective. There seem to be a lot of semi-explanations, but I just wanted to see if the one I thought of makes...
  35. B

    Group order from a presentation

    Hello. I have been looking at some questions from old exams that I am preparing for, and I have some trouble with the kind of problems that I will now give an example of. Homework Statement Let G = (a,b,c | a^4 = 1, b^2 = a^2, bab^{-1} = a^{-1}, c^3 = 1, cac^{-1} = b, cbc^{-1} = ab)...
  36. D

    Group action and equivalence relation

    Given a group G acting on a set X we get an equivalence relation R on X by xRy iff x is in the orbit of y. My question is, does some form of "reciprocal" always work in the following sense: given a set X with an equivalence relation R defined on it, does it always exist some group G with some...
  37. L

    How Does an Element of a Finite Group Relate to Cryptology Theorems?

    I need help with this theorum, please. How is this (the attachment) true? It's for my cryptology class. The rest of the day's notes are here: http://crypto.linuxism.com/thursday_december_13_2012
  38. S

    What is a Quotient Group? A Simple Explanation

    Can someone please explain to me, in as simple words as possible, what a quotient group is? I hate my books explanation, and I would love it if someone can tell me what it is in english?
  39. P

    MHB Unique x for all g in G such that $x^m=g$?

    Let G be a group, |G|=n and m an integer such that gcd(m,n)=1. (i) show that $x^m=y^m$ implies $x=y$ (ii)Hence show that for all g in G there is a unique x such that $x^m=g$ (i) there exist a, b such that am+bn=1 so that $m^{-1}=a (mod n)$. Hence $x^m=y^m ->x=y$ ok? (ii) (i) shows...
  40. P

    Is it weird for graphene, the group velocity and momentum

    everyone knows, there exists the relation between the group velocity and energy dispersion. a question is how to expression the relation between the velocity and momentum k? it seems that the Dirac electron in graphene is massless.
  41. P

    MHB Exploring Normal Subgroups and p-Groups in Finite Groups

    Let G be a finite group and N a normal subgroup of G. Assume further that N is a p -group for some prime p. 1) By considering G/N, show that there is a subgroup H of G contaning N such that p does not divide [G:H]. 2) Show that N is a subgroup of all p-subgroups of G. My thoughts: for 1)...
  42. S

    Nuclear/Particle Physics & Group Theory: Understanding the Benefits

    I'm pursuing a degree in nuclear physics. However, I have a huge interest in particle physics (i know they are closely related). I am wondering how much a math course in group theory will help me understand particle physics. I want to minor in math, so I'm going to take some extra math...
  43. R

    Proving Existence of g in a Finite Group of Even Order

    Homework Statement Let (G,*) be a finite group of even order. Prove that there exists some g in G such that g≠e and g*g=e. [where e is the identity for (G,*)] Homework Equations Group properties The Attempt at a Solution Let S = G - {e}. Then S is of odd order, and let T={g,g^-1...
  44. L

    Probability of picking a ball randomly from a group of balls

    Homework Statement From a bag containing 4 white and 6 black balls, 2 balls are drawn at random. If the balls are drawn one after the other, without replacement, find the probability that The first ball is white and the second ball is black Homework Equations The Attempt at a...
  45. F

    Medical Radiation and Health Interest Group

    Dear Colleagues, Is there anyone here who would be interest in sharing articles, data, theories, and discussions on risks of EMF, RF, radiation emission from devices and man made structures and health consequences and epidemiology. Please contact or send a follow up post here. I am...
  46. P

    MHB Proof: G/H1 is Isomorphic to H2/K for G with Normal Subgroups H1 and H2

    Let G be a group with normal subgroups H1 and H2 with H2 not a subset of H1. Let K = H1 intersect H2. Show that if G/H1 is simple, then G/H1 is isomorphic to H2/K. My first thought was to set up a homomorphism with K as the kernel but soon realized that the fact that H2 was not normal is...
  47. caffeinemachine

    MHB Finite group of order 4n+2 then elements of odd order form a subgroup.

    Let $G$ be a finite group of order $4n+2$ for some integer $n$. Let $g_1, g_2 \in G$ be such that $o(g_1)\equiv o(g_2) \equiv 1 \, (\mbox{mod} 2)$. Show that $o(g_1g_2)$ is also odd. I found a solution to this recently but I think that solution uses a very indirect approach. Not saying that that...
  48. S

    Quotient Group is isomorphic to the Circle Group

    A portion of a homework problem was given me to solve for practice. I have solved some but not all of the homework problem and I hope you all can help. Here is the problem: 1. For each x \in R it is conventional to write cis(x) = cos(x) + i sin(x). Prove that cis(x+y) = cis(x) cis(y)...
  49. S

    Abstract Algebra - Group of Order 12 with Conjugacy Class of Order 4

    Homework Statement A group G of order 12 contains a conjugacy class C(x) of order 4. Prove that the center of G is trivial.Homework Equations |G| = |Z(x)| * |C(x)| (Z(x) is the centralizer of an element x\inG, the center of a group will be denoted as Z(G)) The Attempt at a Solution Let G...
  50. H

    Sigma matrices question Group theory

    Homework Statement I have read the following text in a textbook(look the attaxhement) ,and i have a simple question .WHY every 2x2 hermitian matrix would have to satisfy this Equation.It is not obvious to me why.Does anyone know the answer? The textbook stops there without giving any...
Back
Top