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

    MHB Exponent of Group Hey! :o - Answers to Questions

    Hey! :o For each group $G$, $\text{exp}(G)$ is the exponent of the group $G$, i.e., the smallest positive integer $k$, such that $g^k=e$ for each $g\in G$. Let $G$ be a finite group. I have shown that $\text{exp}(G)$ divides $|G|$, and if $G$ is cyclic, then $\text{exp}(G)=|G|$, as follows...
  2. G

    Group is a union of proper subgroups iff. it is non-cyclic

    Homework Statement Prove that a finite group is the union of proper subgroups if and only if the group is not cyclic. Homework Equations None The Attempt at a Solution [/B] " => " If the group, call it G, is a union of proper subgroups, then, for every subgroup, there is at least one...
  3. PsychonautQQ

    Finding splitting field and Galois group questions

    Homework Statement 2 questions here: 1) Let g(x) = x^6 - 10 be a polynomial in Q(c) where c is a primitive 6th root of unity. Find a splitting field for this polynomial and determine it's Galois group 2) let f(x) = x^3 + x^2 + 2 with coefficients in ##F_3##. Find a splitting field K for this...
  4. PsychonautQQ

    Finding a Galois group over F_7

    Homework Statement Find the Galois group of f(x) = x^7-x^6-2x+2 over ##F_7##. Homework EquationsThe Attempt at a Solution 1 is a root of f(x) so dividing f(x) / (x-1) we get the quotient x^6-2. Now all elements of ##F_7## satisfy a^6 = 1 since it's multiplicative group is of order 6, and thus...
  5. J

    MHB The Symmetry Group of a Hexagonal Prism and Orthogonal Matrices

    For part (a) we have 6 rotations, 3 reflections, 1 inversion, and 2 improper rotations, determined by the determinant and trace of the given matrix. We can take K to be the group of 3 rotations and 3 reflections, which is a Normal subgroup since it has index 2. We can take J to be the group...
  6. PsychonautQQ

    Calculating Galois Group of extension

    Homework Statement Let c be a primitive 3rd root of unity and b be the third real root of four. Now consider the extension Q(c,b):Q. Find the degree of this extension, show that it is Galois, and calculate Gal(Q(c,b):Q) and then use the Galois group to calculate all intermediate fields...
  7. M

    MHB Subgroups of the dihedral group D6

    Hey! :o I want to make the diagram for the dihedral group $D_6$: Subroups of order $2$ : $\langle \tau \rangle$, $\langle \sigma\tau\rangle$, $\langle\sigma^2\tau\rangle$, $\langle\sigma^3\tau\rangle$, $\langle\sigma^4\tau\rangle$, $\langle\sigma^5\tau\rangle$, $\langle\sigma^3\rangle$...
  8. M

    MHB How can we compute the Galois group of a subgroup of a splitting field?

    Hey! :o Let $\rho=\sqrt[3]{\frac{1+\sqrt{5}}{2}}$. We have that $\rho$ is a root of $f(x)=x^6-x^3-1\in \mathbb{Q}[x]$, that is irreducible over $\mathbb{Q}$. We have that all the roots of $f(x)$ are $\rho, \omega\rho, \omega^2\rho, -\frac{1}{\rho}, -\frac{\omega}{\rho}...
  9. PsychonautQQ

    Calculating the Galois group for a splitting field

    Homework Statement Let f(x) = x^4 - 6x^2 - 2. Let K be a splitting field for this polynomial over Q, show that Gal(K:Q) is non-abelian of order 8. Homework EquationsThe Attempt at a Solution So I calculated the roots of this polynomial, one root was r = (3+(11^1/2))^1/2, and the others were...
  10. S

    A What is the Lorentz Transformation for Spinor Indices of the Weyl Operator?

    The left-handed Weyl operator is defined by the ##2\times 2## matrix $$p_{\mu}\bar{\sigma}_{\dot{\beta}\alpha}^{\mu} = \begin{pmatrix} p^0 +p^3 & p^1 - i p^2\\ p^1 + ip^2 & p^0 - p^3 \end{pmatrix},$$ where ##\bar{\sigma}^{\mu}=(1,-\vec{\sigma})## are sigma matrices.One can use the sigma...
  11. K

    B Matrices of su(3) and sphere symmetry

    i used to get pauli matrices by the following steps it uses the symmetry of a complex plane sphere i guess so..? however i can't get the 8 gell mann matrices please help ! method*: (x y) * (a b / c d ) = (x' y') use |x|^2 + |y|^2 = |x'|^2 + |y'|^2 and |x| = x * x(complex conjugate) this way...
  12. PsychonautQQ

    Calculating a pretty simple Galois Group

    Homework Statement Describe the structure of the Galois group for G(Q(c):Q) where c is a 14th primitive root of unity Homework EquationsThe Attempt at a Solution the minimal polynomial for c over Q is f(x)=x^6-x^5+x^4-x^3+x^2-x+1. Is the galois group isomorphic to Z*_14? Or maybe that's only...
  13. Evo

    News Mike Pence Accused of Voter Suppression in Indiana Raid

    Indiana officials are trying to block almost 45,000 black citizens from voting Seems the voter's rights group wants the Justice department to look into this and the local police want to leave it with the local county prosecutors they work with. Either way, Police spokesman Bursten said the...
  14. PsychonautQQ

    Isomorphism to certain Galois group and cyclic groups

    Homework Statement Let c be a pth root of unit where p is prime. Then the Galois group G(Q(c):Q) is isomorphic to Z_p*. Show that if there is some m that divides p-1, then there is an extension K of Q such that G(K:Q) is isomorphic to Z_q* Homework EquationsThe Attempt at a Solution I suspect...
  15. alexmahone

    MHB Is G an Abelian Group Given Specific Conditions?

    Let $G$ be a group such that for all $a$, $b$, $c$, $d$, and $y\in G$ if $ayb=cyd$ then $ab=cd$. Show that $G$ is an Abelian group. HINTS ONLY as this is an assignment problem.
  16. V

    Courses Does this group theory course look useful to a physicist?

    I'm in my 3rd year of a physics degree, with plans to study further in graduate school. I am currently enrolled in a group theory class, as I have heard it can be useful in many fields (particularly solid state physics, which I am interested in learning more about). However, so far all we have...
  17. L

    A Maurer–Cartan forms for a matrix group?

    I am very confused about that in some literature the Maurer Cartan forms for a matrix group is written as ##{\omega _g} = {g^{ - 1}}dg## what is ##dg## here? can anyone give an example explicitly? My best guess is ## dg = \left( {\begin{array}{*{20}{c}} {d{x^{11}}}& \ldots &{d{x^{1m}}}\\...
  18. A

    Organic chemistry- adding amine group to benzene

    Is it possible to do a Friedel-Crafts reaction on a benzene and get a substituent on the benzene ring from that, and then afterwards add an NH2 group ortho? I know you can't add NH2 first and then do Friedel-Crafts because anilines cannot undergo Friedel-Crafts. Please advice. Thanks in advance.
  19. N

    Group velocity and phase velocity

    Could you please explain the derivation of group velocity = dw/dk I read ut here https://en.m.wikipedia.org/wiki/Group_velocity Is it approximation, if so under what circumstances
  20. G

    I Space Group Duplicates: Is it Possible for Monoatomic Crystals?

    Hello, I was building some test crystal structures with VESTA software and I noticed when generating the POSCAR output files to be read by VASP that for a simple monoatomic basis such as in elemental silicon crystals some distinct space groups produce the same exact POSCAR files (i.e. same...
  21. J

    Particle Group Theory book for Undergraduates

    Hello, what are some good books to learn group theory for physicists at an undergraduate level? Is Zee's Group Theory in a Nutshell good? Thanks in advance
  22. B

    Is the Centralizer of an Element in a Free Group Nontrivial?

    Homework Statement Note: I did not get this problem from a textbook. Let denote the (nonabelian) free group on the generators , and let be arbitrary. My question is, does there exist a such that , besides (the identity); is such an equation in the free group possible? Obviously this...
  23. JuanC97

    I Dimension of the group O(n,R) - How to calc?

    Hi, I want to find the number of parameters needed to define an orthogonal transformation in Rn. As I suppose, this equals the dimension of the orthogonal group O(n,R) - but, correct me if I'm wrong. I haven't been able to figure out how to do this yet. If it helps, I know that an orthogonal...
  24. micromass

    Insights Groups and Geometry - Comments

    micromass submitted a new PF Insights post Groups and Geometry Continue reading the Original PF Insights Post.
  25. T

    Which Group 14 Elements Share the Most Similar Properties?

    Homework Statement The elements lead, silicon, germanium, tin and carbon all lie in the same group of the periodic table. Which of the following is true? A) Like carbon, all the elements are non-metalsB) Carbon is closer in properties to silicon than tin is to leadC) Tin is closer in...
  26. D

    Schools Online schools with video lectures & no group work?

    I'm looking for an online American college for a bachelor's degree, with video lectures, and no group work. What are my options? I have difficulty with reading. This kind of a college would work best for me.
  27. baby_1

    Linearly Chirped Fiber Bragg Grating group delay

    Homework Statement Here is my problem : I want to know where does group delay equation come form? Homework Equations As I checked reference 21 it only indicates The Attempt at a Solution I'm following how can I start and solve this problem
  28. S

    The restricted canonical transformation group

    Homework Statement Show that the set of restricted canonical transformation forms a group. Verify this statement once using the invariance of Hamilton's principle under canonical transformation, and again using the symplectic condition. Homework Equations (Invariance of Hamilton's principle...
  29. AJPsi

    A Has This Mysterious Mathematical Group Been Identified in Physics Research?

    While investigating various aspects of generalised least action principles over the last several years I have come across an algebraic mathematical group that I am finding hard to classify but whose root vectors should relate to the standard model (no it is not E8 ! nor any exceptional group I...
  30. mertcan

    Learn Group Theory: Sources & Resources

    Hi, I saw that group theory is a significant asset for some physics, and math topics. I had some fundamental knowledge, but I am really keen on learning group theory deeply , so Is there a nice source( video links, books... whatever comes to your mind ) to leap further in this topic remarkably?
  31. T

    A On the renormalization group flow

    I'm currently studying the Landau-Wilson model for critical phenomena (Statistical Mechanics, Kerson Huang) where the renormalization group is a central object. In the end, the calculations lead to a set of coupled differential equations that describe the (metaphorical) evolution of the...
  32. D

    I Is that the definition of a lie group?

    I learned a lie group is a group which satisfied all the conditions of a diferentiable manifold. that is the real rigour definition or just a simplified one? thanks
  33. J

    What is the group refractive index for a monochromatic wave in a laser cavity?

    Homework Statement .[/B] I am attempting to determine the group refractive index of a laser cavity at it's resonance frequency. Homework Equations .[/B] \begin{align*} \frac{2\omega n L}{c} &= 2m\pi \end{align*} \begin{align*} n_g &= n + \omega \frac{dn}{d\omega} \end{align*} 3. The attempt...
  34. PsychonautQQ

    I Group Normalcy not transitive example?

    The normal subgroup of a normal subgroup need not be normal in the original group (normalcy is not transitive). Could somebody provide me with an example of where this is the case? Thanks :D
  35. G

    I About Lie group product ([itex]U(1)\times U(1)[/itex] ex.)

    I recently got confused about Lie group products. Say, I have a group U(1)\times U(1)'. Is this group reducible into two U(1)'s, i.e. possible to resepent with a matrix \rho(U(1)\times U(1)')=\rho_{1}(U(1))\oplus\rho_{1}(U(1)')=e^{i\theta_{1}}\oplus e^{i\theta_{2}}=\begin{pmatrix}e^{i\theta_{1}}...
  36. Erebus_Oneiros

    Physics Advice before joining PhD research group, -- personal problems

    Advice before joining PhD research group, if I have a personal problem with one of the group members? One more student from my cohort wants to join the same research group as me. We will be doing our research rotation together. He has an overbearing attitude and is insolent towards anyone...
  37. Amy B

    Ordering Carbonyl Group Wavenumbers in NMR

    Homework Statement I want to put these in order of increasing wavenumber for the absorptions of the carbonyl group in an nmr spectrum Homework EquationsThe Attempt at a Solution I know that the third one is the highest, the NH ketoamine is the lowest and last one is the second lowest but I'm...
  38. C

    Programs Is It Appropriate to Email a Research Group Leader Directly as an Applicant?

    I applied to an undergraduate program at a nearby national lab that is tailored for students in the region. I was advised by one of the program staff to contact a research group that I'm interested in working with to let them know that I'm in the applicant pool, and that I am interested in...
  39. RJLiberator

    Two conjugate elements of a group have the same order PROOF

    Homework Statement Let x and y be conjugate elements of a Group G. Prove that x^n = e if and only if y^n = e, hence x and y have the same order. Homework Equations Conjugate elements : http://mathworld.wolfram.com/ConjugateElement.html The Attempt at a Solution Since y is a conjugate of x...
  40. B

    Proving the Exponent Laws in Group Theory

    Homework Statement Let ##x \in G## and ##a,b \in \mathbb{Z}^+## Prove that ##x^{a+b} = x^a x^b##. Homework EquationsThe Attempt at a Solution If I am not mistaken, we would have to do multiple induction on ##a## and ##b## for the statement/proposition ##P(a,b) : x^{a+b} = x^a x^b##. First we...
  41. B

    Simple Verification of a Group

    Homework Statement Determine whether the set of rational numbers with denominator equal to 1 or 2 is a group under addition. Homework EquationsThe Attempt at a Solution Please have a look at the closure proof of part 5. I don't quite understand how ##q/2## implies that the denominator of...
  42. erbilsilik

    Research Orthogonal Lie Group for Physics Applications

    [Mentor's Note: Thread moved from homework forums] Where can I start to research this question? I did not take any course on Group theory before and I know almost nothing about the relationship with this pure maths and physics. I've decided to start with Arfken's book but I'm not sure. 1...
  43. matqkks

    I Group Theory: Unlocking Real-World Solutions for First-Year Students

    What is the most motivating way to introduce group theory to first year undergraduate students? I am looking for some real life motivation or something which has a real impact.
  44. matqkks

    MHB Group Theory: A Powerful Tool for Real World Solutions

    What is the most motivating way to introduce group theory to first year undergraduate students? I am looking for some real life motivation or something which has a real impact.
  45. S

    A Exceptional group and grand unified theory

    Dear All I have a project about exceptional group as a candidate group for grand unified theories. Can anyone suggest me any paper or reference to use. Thank you
  46. J

    I Commutator between Casimirs and generators for Lorentz group

    The generators ##\{ L^1, L^2 , L^3 , K^1 , K^2 , K^3 \}## of the Lorentz group satisfy the Lie algebra: \begin{array}{l} [L^i , L^j] = \epsilon^{ij}_{\;\; k} L^k \\ [L^i , K^j] = \epsilon^{ij}_{\;\; k} K^k \\ [K^i , K^j] = \epsilon^{ij}_{\;\; k} L^k \end{array} It has the Casimirs C_1 =...
  47. M

    MHB What are some important properties of the Commutator Group of D_n?

    Hey! :o We have that $D_n=\langle a,s\mid s^n=1=a^2, asa^{-1}=s^{-1}\rangle$. I want to show the following: $s^2\in D_n'$ $D_n'\cong \mathbb{Z}_n$ if $n$ is odd $D_n'\cong \mathbb{Z}_{\frac{n}{2}}$ if $n$ is even $D_n$ is nilpotent if and only if $n=2^k$ for some $k=1,2,\dots $ I...
  48. RJLiberator

    Does Group Cardinality Determine Element Order?

    Homework Statement If G is a group with n elements and g ∈ G, show that g^n = e, where e is the identity element. Homework EquationsThe Attempt at a Solution I feel like there is missing information, but that cannot be. This seems too simple: The order of G is the smallest possible integer n...
  49. RJLiberator

    Understanding the Center and Centralizer of a Dihedral Group

    Homework Statement If n ≥ 3, show that Z(D_n) = C(x) ∩ C(y). Homework Equations G is a group, g∈G C(g) = {h∈G: hg = gh } The Centralizer of g Z(G) = {h∈G: hg = gh for all g∈G} The center of G ∩ means the set of all points that fall in C(x) and C(y). Every element of D_n can be uniquely...
  50. M

    MHB Show that G is nilpotent when the quotient group is nilpotent

    Hey! :o I want to show that if $H\subseteq Z(G)$ and $G/H$ is nilpotent then $G$ is also nilpotent. I have done the following: Since $G/H$ is nilpotent there is a series of normal subgroups $$1\leq N_1\leq N_2\leq \cdots \leq N_k=G/H$$ with $N_{i+1}/N_i\subseteq Z((G/H)/N_i)$. From the...
Back
Top