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

    MHB Proving Finite subgroups of the multiplicative group of a field are cyclic

    I am looking at this proof and I am stuck on the logic that $a^{p}$ = 1. For example, consider the group under multiplication without zero, ${Z}_{5}$, wouldn't 2^4 = 1 imply that the order is 4 not 5? We know that if G is a finite abelian group, G is isomorphic to a direct product...
  2. BiPi

    A Why a Lie Group is closed in GL(n,C)?

    The Brian Hall's book reads: A Lie group is any subgroup G of GL(n,C) with the following property: If Am is a secuence of matrices in G, and Am converges to some matrix A then either A belongs to G, or A is not invertible. Then He concludes G is closed en GL(n,C), ¿How can this be possible, if...
  3. P

    A Improper and non-orthochronous group

    will it be correct to say (Λ00)2 – (Λ11)2 – (Λ22)2 – (Λ33)2 = 1 if Λ - group is neither proper nor orthochronous
  4. Runei

    Why do leaving groups detach from molecules?

    Hi, My question is short and very simple: Is the loss of a leaving group primarily a random event? What is the actual mechanism that initiates that a specific leaving group.. leaves? Thanks in advance :)
  5. J

    Clock face notation of a Transformer's "Vector Group"

    Hi, I'm studying transformer and am a bit confused. Say for vector group: Dy11, I guess it's the line voltage of LV leads the Line voltage of HV by 30 degrees. Book says phase angle. The phase angle is line voltage right, since the phase voltage of HV and LV will always be in phase with each...
  6. J

    Probability that both people are from group X

    Homework Statement Homework Equations Probability = number of favourable events / all possible events The Attempt at a Solution Group X Y Total people Indians 10 8 18 (total 18 Indians in both group) Total People 25 20 45 (total 45 people in both...
  7. A

    Contractions of the Euclidean Group ISO(3) = E(3)

    Homework Statement Consider the contractions of the 3D Euclidean symmetry while preserving the SO(2) subgroup. In the physics point of view, explain the resulting symmetries G(2) (Galilean symmetry group) and H(3) (Heisenberg-Weyl group for quantum mechanics) and give their Lie algebras...
  8. Luck0

    A Diagonalization of adjoint representation of a Lie Group

    So, we know that if g is a Lie algebra, we can take the cartan subalgebra h ⊂ g and diagonalize the adjoint representation of h, ad(h). This generates the Cartan-Weyl basis for g. Now, let G be the Lie group with Lie algebra g. Is there a way to diagonalize the adjoint representation Ad(T) of...
  9. H

    A AdS##_3## Cylinder: Killing Vectors & Isometry Group

    The isometry group of the anti-de Sitter spacetime is ##SO(d-1,2)##, which has a total of ##\frac{1}{2}d(d+1)## isometries. For the three-dimensional anti-de Sitter spacetime, these are ##6## isometries. These isometries have corresponding Killing vectors, which in global coordinates, are given...
  10. M

    I Proof that Galilean & Lorentz Ts form a group

    The Galilean transformations are simple. x'=x-vt y'=y z'=z t'=t. Then why is there so much jargon and complication involved in proving that Galilean transformations satisfy the four group properties (Closure, Associative, Identity, Inverse)? Why talk of 10 generators? Why talk of rotation as...
  11. CMJ96

    I What Are the Best Resources to Understand Resonant Tunneling Diodes?

    Hi guys for my group project this year my team needs to apply two computational methods to a real system. The two methods are transfer matrix and finite difference and we have chosen to apply them to a resonant tunnelling diode. Can any of you guys recommend any resources which may be useful to...
  12. U

    Determining a group, by checking the group axioms

    Homework Statement For the following sets, with the given binary operation, determine whether or not it forms a group, by checking the group axioms. Homework Equations (R,◦), where x◦y=2xy+1 (R*,◦), where x◦y=πxy and R* = R - {0} The Attempt at a Solution For question 1, I found a G2...
  13. M

    General group collapsing expression

    How can I collapse macroscopic absorption cross-section of 4 groups into two ? Assuming that the first two groups are fast groups and the other twos are thermal . I am suffering with the following : 1- Do I have to assume that the groups are directly coupled ? 2-Does what apply on the two...
  14. A

    Is There a Platform for Hosting a General Relativity Study Group in Physics?

    Dear All, I am looking for tools and even online platform able to host a study group in physics. My goal would be the creation of a general relativity group. It will be a study group for graduated in physics (then not for amateurs) that for the simple pleasure of science would like to...
  15. W

    Group Velocity of Non-Dispersive Wave Packet

    Homework Statement I know that for a dispersive wave packet, the group velocity equals the phase velocity, which is given by v=w/k. But how do I calculate the group velocity of a non-dispersive wave packet? I'm supposed to be giving an example with any functional form. Homework Equations...
  16. Krunchyman

    I What is the equivalent of a group in category theory?

    I understand that in group theory, a group consists of a set and a binary operation for the elements in the set, and of course all the group axioms. But if we move away from set theory into category theory, is a group defined on a category?
  17. S

    I Understanding ##SO(2)## as Isotropy Group for ##x \in R^3##

    Hello! I am not sure I understand why ##SO(2)## is the isotropy group for ##x \in R^3##. If I understood it well, the isotropy group contains all the elements such that ##gx=x##. But this is not the case for ##SO(2)## as this group represents rotations in a plane, so unless x is the axis of...
  18. B

    Extending an Additive Group Homomorph. to a Ring Homomorph.

    Homework Statement No problem statement. Homework EquationsThe Attempt at a Solution Suppose that ##R## is a ring and ##f : R \to R## is an additive group homomorphism. Is the following a way of extending ##f## to a ring homomorphism? Let ##\varphi : R \to R## and define ##\varphi(r) =...
  19. L

    I How many generators can a cyclic group have by definition?

    Hi, so I have just a small question about cyclic groups. Say I am trying to show that a group is cyclic. If I find that there is more than one element in that group that generates the whole group, is that fine? Essentially what I am asking is that can a cyclic group have more than one generator...
  20. PsychonautQQ

    A Connected sum of manifolds and free group isomorphisms

    Let ##M## and ##N## be connected n-manifolds, n>2. Prove that the fundamental group of ##M#N## (the connected sum of ##M## and ##N##) is isomorphic to ##\pi(M)* \pi(N)## (the free group of the fundamental groups of ##M## and ##N##) This is not for homework, I was hoping to get some insight...
  21. PsychonautQQ

    A Fundamental group of a sphere with 6 points removed

    This space is homotopy equivalent to the complement of the three coordinate axes in ##R^3##. This is in the chapter about the Seifert-Van Kampen Theorem, so I'm expecting to invoke that theorem. The thing is, how should we choose our open sets such that the intersection is path connected and...
  22. 1

    B Index numbers vs. Quantity in a group

    "Quantity in a group" If you have 6 apples and you subtract 4, then you have 2 apples left "in the group". "Quantity in an Indexed group" I'm a computer programmer - I manipulate arrays of data (a.k.a. matrix) In a math formula format: x1, x2, x3... xn (as a side note - in a computer format...
  23. PsychonautQQ

    A Fundamental group of n connect tori with one point removed

    Well, for starters, ##\pi(T)##, the fundamental group of the torus, is ##\pi(S^1)x\pi(S^1)=## which is in turn isomorphic to the direct product of two infinite cyclic groups. Before I tackle the case of n connect tori with one point removed, I'm trying to just understand a torus with a point...
  24. PsychonautQQ

    A Fundamental group of Project Plane with 2 points missing

    edit: fixed typo's andrewkirk pointed out, oops I can cover the projective plane with 2 open sets U,V where each of these neighborhood contains the point that is missing, and the intersection of these two neighborhoods will be simply connected. I was then hoping to invoke the Seifert-Van-Kampen...
  25. T

    I Question about group representation

    After reading some books on Group Theory, I have two questions on group representations (Using matrix representation) with the second related to the first one: 1 - Can we always find a diagonal generator of a group? I mean, suppose we find a set of generators for a group. Is it always possible...
  26. D

    Group 15 elements question (acid versus base)

    Why is it that all group 15 element's trihalides except Nitrogen on hydrolysis gives an acid while Nitrogen trichloride give ammonia which is a base on hydrolysis?
  27. J

    I Calculating Relativistic Phase and Group Velocity

    In Quantum Mechanics Concepts and Applications by Zettili the following formulas are used for phase and group velocities. {\rm{ }}{v_{ph}} = \frac{w}{k} = \frac{{E\left( p \right)}}{{p}}{\rm{ }}\\ {\rm{ }}{v_g} = \frac{{dw}}{{dk}}{\rm{ = }}\frac{{dE\left( p \right)}}{{dp}}{\rm{ }} In...
  28. FallenApple

    I Homotopy Class vs Fundamental Group.

    They seem the same to me. So I can have many paths between a and b that are continuously deformable into each other while keeping the endpoints fixed. We say these function form a equivalence class [f]. This should be regardless if the endpoints are the same or not. The fundamental group seems...
  29. T

    Euclidean Group Maps: Proving Injectivity, Surjectivity, and Inverses

    Homework Statement The n-dimentional Euclidean group ## E^{n} ## is made of an n-dimentional translation ## a: x \mapsto x+a ## (##x,a \in \mathbb{R}^{n}## ) and a ## O(n) ## rotation ## R: x \mapsto Rx ##, ##R \in O(n) ##. A general element ## (R,a) ## of ## E^{n} ## acts on ## x ## by ##...
  30. PsychonautQQ

    A Quotient maps, group action, open maps

    This is not homework, it's self study material. I would rather post it here than where questions are usually posted (homework help section) because i think it's much more likely to be seen here by somebody with knowledge on the subject. Let G be a topological group acting continuously on a...
  31. A

    High Energy High Energy Physics and Group Theory Book Recommendations

    Hey there! I just want to ask if there are any books you would like to recommend that helps in studying high energy physics and HEP data analysis? Also can you recommend a good book for group theory and symmetry? I would be glad if you have links to free downloadable books. Thanks in advance!
  32. P

    Calculation of no. of spectral lines for group of similar atoms

    Homework Statement The maximum no of spectral lines for a single atom during it's electron's transition is given by [∆n(∆n+1)]/2 . But I don't seem to arrive at the answer when a group of atoms are present . The question was - What is the maximum number of spectral lines possible for Balmer...
  33. S

    I Is the Lorentz group non-compact?

    Hello! I need to show that Lorentz Group is non compact, but has 4 connected components. The way I was thinking to do it is to write the relation between the elements of the 4x4 matrices and based on that, associated it with a known topological space, based on the determinant and the value of...
  34. C

    A Compact Lie Group: Proof of Discrete Center & Finite Size?

    Hello, let be ##G## a connected Lie group. I suppose##Ad(G) \subset Gl(T_{e}G)## is compact and the center ## Z(G)## of ##G## is discret (just to remember, forall ##g \in G##, ##Ad(g) = T_{e}i_{g}## with ##i_{g} : x \rightarrow gxg^{-1}##.). I saw without any proof that in those hypothesis...
  35. Mr Davis 97

    I Addition of exponents proof in group theory

    Just out of curiosity, what would a proof of ##a^m a^n = a^{m+n}## amount to? Of course obviously if you have n of one thing and m of another you get m+n, but I am wondering if this is rigorous enough, or if you need induction.
  36. D

    Programs Choosing the Right Ph.D. Group: Tips for Non-Academic Research Careers

    I have a dilemma. I'm beginning a fellowship next week, and I have 3 Ph.D. offers for when it ends. I've worked in each group, and would have no issue continuing in any of them. I respect each advisor equally for different reasons. The main problem is each group requires a slightly different...
  37. T

    Pre-university physics study group (calculus based)

    So here is a problem (more of a dilemma) I encountered in my mandatory physics class [(high school level) i say mandatory since I take an other optional calculus based one], many students are often mislead for example in kinematics the equations are very clunkily derived and when you finish...
  38. J

    Applied Zee and Georgi Group Theory books

    Hello. I will be attending a course on Group theory and the book that the professor suggests is Georgi's Lie Algebras in Particle Physics. As I liked Zee's book on General Relativity, I thought that it would be a blast to also use his Group theory textbook for the course. Problem is that I don't...
  39. PsychonautQQ

    Fundamental Group Coset to preimage bijection

    Homework Statement Let p: E-->B be a covering map, let p(e_0)=b_0 and let E be path connected. Show that there is a bijection between the collection of right cosets of p*F(E,e_0) in F(B,b_0) (where p* is the homomorphism of fundamental groups induced by p and F(E,e_0),F(B,b_0) are the...
  40. R

    Member of the Poincare or Lorentz Group

    What is more cool... to be a member of the Poincare Group or Lorentz Group? What name would you choose for a school science team and why?
  41. J

    B How Does Group Orbit Theory Relate Torus and Cylinder Structures?

    I was listening to this lecture: and in it, sometime around the 30:00 to 40:00 minute mark, he implies that the torus' sturcture built up from the orbits of the group under addition on the real plane is the same idea as the cylinder's structure being built up from the orbits of the group under...
  42. T

    Finding the subgroups of direct product group

    Homework Statement What are the subgroups of Z2 x Z2 x Z2? Homework Equations Hint: There are 16 subgroups. The Attempt at a Solution So far I only manage to get 15 and I am not even sure if these are correct. My answer: $$(0,0,0) , (Z_2,Z_2,Z_2), (1,1,1), (0,0,1), (0,1,0), (1,0,0), (0,1,1)...
  43. davenn

    Stargazing The Sun today - 9 July 2017 - nice spot group

    AR2665 ... largest spot group for some time Canon 6D, 800mm, f11, 125th, ISO100 ( the 800mm is a 100-400mm L lens with a x2 teleconverter) With my eyesight going downhill, I have really been struggling of late to be able to get sharp manual focus Dave
  44. F

    I Representations of the Poincaré group: question in a proof

    Hello! :smile: On page 51 where he want to invert $$\Lambda^{\mu}_{\nu} = \tfrac{1}{2} \text{tr}( \bar{\sigma}^{\mu}A \sigma_{\nu} A^{\dagger})$$ the person says we may use $$\sigma_{\nu} A^{\dagger} \bar{\sigma}^{\nu} = 2 \text{tr}(A^{\dagger})I.$$ to do that ... how do you prove this formula...
  45. F

    Subgroup of an arbitrary group

    Homework Statement Let G be a group. Let H and K be subgroups of G. Prove that if H ##\subseteq## K, then H is a subgroup of K. Homework EquationsThe Attempt at a Solution H is a subset of K and H,K are groups. if x,y, xy ##\epsilon## H, then x,y, xy ##\epsilon## K. So H is closed under...
  46. S

    I 6-dimensional representation of Lorentz group

    Hello! I understand that the vector formed of the scalar and vector potential in classical EM behaves like a 4-vector (##A^\nu=\Lambda^\nu_\mu A^\mu##). Does this means that the if we make a vector with the 3 components of B field and 3 of E field, so a 6 components vector V, will it transform...
  47. F

    I Can Conformal Transformations be Derived from Group Composition Rules?

    Hi! Is there a way to end up with the algebra i) quickly ii) starting from a group, as how one gets the CR's from the Lorentz group composition rules, as on http://www.krassnigg.org/web/physics/wp-content/uploads/hoqft12-skriptum.pdf. The other relations are quite complicated and the...
  48. P

    Massive spin-s representations of the Poincare group

    Context The following is from the book "Ideas and methods in supersymmetry and supergravity" by I.L. Buchbinder and S.M Kuzenko, pg 56-60. It is about realizing the irreducible massive representations of the Poincare group as spin tensor fields which transform under certain representations of...
  49. F

    Group of particles 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.50 km/s in the +x-direction experiences a force of 2.25 x ##10^{-16}##N in the +y-direction, and an electron moving at 4.75 km/s in the -z-direction...
  50. F

    Proving the Evenness of Elements Not Equal to Their Own Inverse in Finite Groups

    Homework Statement Prove in any finite group G, the number of elements not equal to their own inverse is an even number. Homework Equations if ab = ba = e, then a = b-1 and b = a-1 The Attempt at a Solution Let S, A, B, be subsets of G where S = A + B. Let a ∈ A s.t. there exists a unique b...
Back
Top