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

    Proving Any Group of Order 15 is Cyclic

    Homework Statement Prove that any group of order ##15## is cyclic. 2. The attempt at a solution I am looking at a link here: (http://www.math.rice.edu/~hassett/teaching/356spring04/solution.pdf) and I am confused why "there must be one orbit with five elements and three orbits with three...
  2. E

    Exploring the Relationship Between Pulse Shape and Spectrum in Dispersive Media

    I want to ask how does the wave keep the same amplitude if the wave broadens ? Thank you for your time
  3. L

    For a group G, |G|>6, it must have at least 4 conjugacy classes?

    Homework Statement Let G be a group such that |G|>6. Then there are at least 4 conjugacy classes in GHomework Equations The Attempt at a Solution Well, I tried by contradiction by using the group of order 7, which must be isomorphic to the cyclic group of order 7, which has 7 conjugacy classes...
  4. mnb96

    Is SO(2) Considered a Lie Group?

    Hello, I want to prove that the set SO(2) of orthogonal 2x2 matrices with det=1 is a Lie group. The group operation is of course assumed to be the ordinary matrix multiplication \times:SO(2)→SO(2). I made the following attempt but then got stuck at one point. We basically have to prove that...
  5. D

    How Do You Calculate Group and Phase Velocities for a 550nm Wavelength?

    Hello Homework Statement I have this tab http://img18.imageshack.us/img18/3317/eyph.png Anf I have to find the group and phase velocities for a wavelength λ=550nm Homework Equations v(phase)= c/n v(group)=dw/dk v(phase)*v(group)=c²/n² The Attempt at a Solution I don't know...
  6. L

    Solve Group of Order 4 Automorphism Problems

    Homework Statement Let ##G## be a group of order ##4, G = {e, a, b, ab}, a^2 = b^2 = e, ab = ba.## Determine Aut(G). 2. The attempt at a solution How can I do these types of problems? When doing these types of problems is any automorphism of ##G## always determined by the images? And why...
  7. M

    How to find the number of elements with a particular order in a group?

    I'm preparing for an upcoming exam, and as I see one of the typical questions that is frequently asked in our exams is about finding the number of elements that have a particular order in a group like Sn. I searched on google and came up with some such problems with solutions. To be honest...
  8. L

    Group Theory inner automorphism

    Homework Statement How do I prove that the inner automorphisms is isomorphic to ##S_3##? The attempt at a solution I know ##S_3 = \{f: \{ 1,2,3 \}\to\{ 1,2,3 \}\mid f\text{ is a permutation}\}## and I know for every group there is a map whose center is its kernel so the center of of...
  9. B

    Group Dissertation (Impact Loading)

    Hello Everyone, I am seeking some guidance in a topic related to my group dissertation subject. The exact title of the dissertation is 'Investigation on the effect of using nano-ceramics on the strength of composite plates subjected to dynamic (impact) load.'. I had initially been bestowed the...
  10. A

    Redundancy of Lie Group Conditions

    I want to show that if G is a smooth manifold and the multiplication map m:G×G\rightarrow G defined by m(g,h)=gh is smooth, then G is a Lie group. All there is to show is that the inverse map i(g)=g^{-1} is also a smooth map. We can consider a map F:G×G\rightarrow G×G where F(g,h)=(g,gh) and...
  11. Mandelbroth

    Lazy Group Proofs and Efficiently Using Categories

    From Artin's Algebra: "Prove that the set ##\operatorname{Aut}(G)## of automorphisms of a group ##G## forms a group, the law of composition being composition of functions." Of course, we could go through and prove that the four group axioms in the standard definition of a group hold for...
  12. ajayguhan

    My group has given the task of modeling projection of line and my

    My group has given the task of modeling projection of line and my part is to construct the vertical and horizontal plane. So my idea is to have two mirrors joined like an laptop, so that we can fold them and they can also be perpendicular. I'm thinking of making hole in one mirror and a...
  13. R

    Homomorphisms of Quaternion Group

    Homework Statement Let Q = {±1, ±i, ±j, ±k} be the quaternion group. Find all homomorphisms from Z2 to Q and from Z4 to Q. Are there any nontrivial homomorphisms from Z3 to Q? Then, find all subgroups of Q. Homework Equations The Attempt at a Solution I don't even know...
  14. S

    Phrase 'the field is in [certain] representation of a [certain] group'

    I have a question about quantum field theory. What does the phrase 'the field is in [certain, e. g. fundamental] representation of a [certain, e. g. SU(2)] group' mean? I know mathematical definitions of groups and their representations, but what does this specific phrase mean?
  15. N

    Why can you only contract one field in the Wilson approach to renormalization?

    When I am reading about the Wilson approach to renormalization in Chapter12.1 of Peskin & Shroeder I am wondering why are you allowed only to contract the \hat{\phi} field (this is the field that carries the high-momentums degrees of freedom)as they show in equation 12.10, I thought that we...
  16. K

    MHB Why a group is not isomorphic to a direct product of groups

    I would like to know why $M_n$ $\not\cong$ $O_n$ x $T_n$, where $M_n$ is the group of isometries of $\mathbb R^n$, $O_n$ is the group of orthogonal matrices, and $T_n$ is the group of translations in $\mathbb R^n$. **My attempt:** Can I show that one side is abelian, while the other group is...
  17. L

    Explaining my counter-example that a group is not abelian inductively

    Homework Statement Show that for any field F , for n\ge2, the group GL_{n}(F) is not abelian. Homework Equations The Attempt at a Solution I have found a counter example for all such n. First, for n=2, consider the matrices: A = \left( \begin{array}{ccc} 1 & 1\\ 1 & 1 \end{array}...
  18. D

    Finding the inverse matrix responsible for base change in the Z3 Group

    Homework Statement Hey guys, So I have the following permutations, which are a subgroup of S3: σ_{1}=(1)(2)(3), σ_{5}=(1,2,3), σ_{6}=(1,3,2) This is isomorphic to Z3, which can be written as {1,ω,ω^{2}} Next, we have the basis for the subgroup of S3: e_{i}=e_{1},e_{2},e_{3} And we also have...
  19. D

    Why does an abelian group of order G have G conjugacy classes

    Homework Statement Hi guys, The title pretty much says it. I need to explain why: (a) an abelian group of order |G| has precisely |G| conjugacy classes, and (b) why the irreducible representations of abelian groups are one-dimensional. Also in my description below, if I make any mathematical...
  20. K

    MHB Is the Function f a Homomorphism for Symmetry Group of a Circle?

    I have a question that I have approached, but want to check if I'm on the right track. Let G denote the group of symmetries of a circle. There are infinitely many reflections and rotations. There are no elements besides reflections and rotations. The identity element is the rotation by zero...
  21. D

    Proof of a linear operator acting on an inverse of a group element

    Hey guys! Basically, I was wondering how to prove the following statement. I've seen it in the Hamermesh textbook without proof, so I wanted to know how you go about doing it. Let's say you have a group element g_{1}, which has a corresponding inverse g_{1}^{-1}. Let's also define a linear...
  22. D

    Finding the elements of a group given two generators and relations

    Hey everyone Let's say I have two generators, a and b, with the following relations: a^{5}=b^{2}=E bab^{-1}=a^{-1}; Where E is the Identity element. What I've done so far is this - the number of elements of the group is the product of the exponents of both generators, which is 10...
  23. P

    How Do Lorentz Transformations Relate Time-like Four-Momenta in SO^{+}(1,3)?

    I want to determine the orbits of the proper orthochronous Lorentz group SO^{+}(1,3) . If I start with a time-like four-momentum p = (m, 0, 0, 0) with positive time-component p^{0} = m > 0 , the orbit of SO^{+}(1,3) in p is given by: \mathcal{O}(p) \equiv \lbrace \Lambda p...
  24. S

    Invariants under group actions

    Hi, I am looking to find the invariants of products of fields under SU(5) and other possible gauge groups (but let's take SU(5) as an example). Take, for example, two matter fields in the 5* and 10 and two Higgses in 5 and 5* (called H_{5} and \bar{H}_{5*}). Then the term 5* 10...
  25. T

    Group Theory: Proving Abelian of Order 4 or Less

    Homework Statement Show that any group of order 4 or less is abelian 2. The attempt at a solution I came across this hint. Since its of order 4 we have {e,a,b,c}, where e = identity. The elements a, b, c must have order 2 or 4. There are two possibilities. 1. a, b, c all have order 2. 2...
  26. G

    Group Velocity of Waves in Gas Problem

    Homework Statement The dielectric constant k of a gas is related to its index of refraction by the relation k = n^{2}. a. Show that the group velocity for waves traveling in the gas may be expressed in terms of the dielectric constant by \frac{c}{\sqrt{k}}(1 -...
  27. N

    Solvable group: decomposable in prime order groups?

    Hey! From MathWorld on solvable group: But why is that a special case? The way I understand it: the normal series can always be made such that all composition factors are simple, but then the composition factors are both simple and Abelian, and hence (isomorphic to) \mathbb Z_p, i.e. the...
  28. G

    Counting Distinct Group Combinations

    Let's say you have a group of 22 people, which you would like to break into 5 different groups -- 3 groups of 4 and 2 groups of 5. How many distinct ways can you form such groups? I don't want to double count groups. Let's say I number the people from A - V. The group ABCDE and ACDBE should...
  29. D

    Group Theory Basics for Physics Students

    My prof has been throwing around some group theory terms when talking about spin and isospin (product representations, irreducible representations, SU(3), etc.) I'm looking for a brief intro to group theory, the kind you might find in a first chapter of a physics textbook, so I can get familiar...
  30. C

    Group Velocity Derivation: Understanding the Role of Ignored Terms

    I was reading the derivation on Wikipedia: http://en.wikipedia.org/wiki/Group_velocity#Derivation Why is the first part before the integral sign ignored when calculating the velocity? Surely it would also cause a phase shift in some time interval and make the waves move forward (or backward)?
  31. B

    Prove that no group of order 160 is simple

    Homework Statement Prove that no group of order 160 is simple. Homework Equations Sylow Theorems, Cauchy's Theorem, Lagrange's Theorem.The Attempt at a Solution Because 160 = 2^5×5, by the First Sylow theorem, there is a subgroup H of order 2^5 = 32 in G. Let S be the set of all...
  32. M

    Prove only group homomorphism between Z5 and Z7 is the trivial one.

    1. Homework Statement . Prove that the only homomorphism between Z5 and Z7 is ψ(x)=0 (the trivial homomorphism). 3. The Attempt at a Solution . I wanted to check if my solution is correct, so here it goes: Any element x in Z5 belongs to the set {0,1,2,3,4} So, I trivially start by...
  33. M

    Prime p divides order of group

    1. Homework Statement . Let p be a prime number, m a natural number and G a group of order p^m. Prove that there exists an element a in G such that ord(a)=p. 3. The Attempt at a Solution . I know of the existence of Lagrange theorem, so what I thought was: I pick an arbitrary element a (I...
  34. T

    Correspondence Theorem in Group Theory

    Hello, I'm following the proof for this theorem in my textbook, and there is one part of it that I can't understand. Hopefully you can help me. Here is the part of the theorem and proof up to where I'm stuck: Let ##N## be a normal subgroup of a group ##G##. Then every subgroup of the...
  35. L

    Group theory question about the N large limit

    Hi! I keep hearing that in the large N limit (so I am talking in specific AdS/CFT but more general too I guess) U(N) and SU(N) are isomorphic. So if I construct, say, the ## \mathcal{N}=1 ## SYM Lagrangian in the large N limit, I can take as gauge group both of the ones mentioned above...
  36. B

    Does every permutation of group generators imply an automorphism?

    I couldn't find the words to summarize my question perfectly in the title so I will clarify my question here. Say we have a group G in which every element can be written in the form g_1^{e_1} g_2^{e_2}...g_n^{e_n}, 0 ≤ e_i < |g_i| . Suppose that there exists a different set g_1', g_2', ...
  37. M

    Determining whether the unit circle group is a cyclic group

    1. Homework Statement Let S be the set of complex numbers z such that |z|=1. Is S a cyclic group? 3. The Attempt at a Solution I think this group isn't cyclic but I don't know how to prove it. My only idea is: If G is a cyclic group, then there is an element x in G such that...
  38. B

    What is the Isomorphism between Groups and its Implications?

    Homework Statement Prove or disprove the following assertion. Let G, H, and K be groups. If G × K \cong H × K, then G \cong H.Homework Equations G × H = \left\{ (g,h): g \in G, h \in H \right\} The Attempt at a Solution I don't even know whether the statement is true or false... I tried...
  39. S

    Is a finite semigroup isomorphic to subsets of some group?

    Is any given finite semigroup isomorphic to some finite semigroup S that consists of some subsets of some finite group G under the operation of set multiplication defined in the usual way? (i.e. the product of two subsets A,B of G is the set consisting of all (and only) those elements of G that...
  40. R

    Relation between de Sitter and Poincare Groups

    Hi, I have a question about groups: What is the de Sitter group?? and how does it relate to poncaire's group? Thanks!
  41. J

    Cherenkov radiation - phase velocity not group velocity

    Why must the charged particle that leads to Cherenkov radiation travel faster than the phase velocity of light not the group velocity of light? One of the sides of the triangle that is used to define cosθ is v=c/n i.e. the phase velocity. I don't see why it's one rather than the other. Thanks!
  42. R136a1

    Difficulty checking group axioms

    Let ##G## be a set equipped with a binary associative operation ##\cdot##. In both of the following situations, we have a group: 1) ##G## is not empty, and for all ##a,b\in G##, there exists an ##x,y\in G## such that ##bx=a## and ##yb=a##. 2) There exists a special element ##e\in G##...
  43. S

    What is known about this type of group?

    Hello. I have been looking into group theory for its applications to subject I am studying. I am not a mathematician by profession or training, but I find it has great use to any analytical pursuit. With that said, I have outlined below type of group that I would like to know more about. For...
  44. C

    Explaining Why a Set with Operation * Does Not Define a Group

    Hi, I'm having trouble understanding why the follow composition table for the set \left\{ a, b, c, d \right\} with operation * doesn't define a group. \begin{array}{c|cccc} * & a & b & c & d \\ \hline a & c & d & a & b \\ b & d & c & b & a \\ c & a & b & c & d \\ d & b & a &...
  45. omephy

    Group Theory Book for QFT - Suggestions?

    I am reading QFT from Srednicki's book. In the 2nd chapter of this book and in the spin half part of this book, group theory and group representation theory is used. Can you suggest me a book from where I can learn this?
  46. M

    Necessity of Group Theory in Particle Physics

    So I'm intending to teach myself some Particle Physics and Standard Model type stuff, I was wondering if someone who's already covered this could give me some advice. I did some Group Theory a few years back and looking over content pages of lecture notes I occasionally spot references to...
  47. A

    Group velocity and phase velocity of a matter wave

    Hi. Today I sat my final first year Modern Physics exam. It went very well, however I got stuck in one question. It asked (i) to prove the following relation for the matter wave \omega^{2}=k^{2}c^{2}+m^{2}c^{4}/\hbar^{2} and (ii) to obtain the group velocity and phase velocity of a matter wave...
  48. TheBigBadBen

    MHB Epimorphisms Between Groups: When is a Homomorphism Onto?

    Interesting question I've happened upon: If there is an epimorphism (i.e. onto homomorphism) $\phi:G\times G \to H\times H$, is there necessarily an epimorphism $\psi:G\to H$? If not, under what conditions can we ascertain such an epimorphism given the existence of $\phi$? I would think that...
  49. N

    Please show me some group theory books

    Please show me some group theory books that considering the combination of quantum mechanics and relativity theory that leads to the needing of notion of fields.I have heard that the irreducible representation of Poicare group leading to the infinite dimensions representation(meaning field...
  50. W

    What's the quickest way to understand group theory in physics?

    I already know about generators, rotations, angular momentum, etc. When I see questions about SO(3), SU(3), and lie groups as it pertains to quantum mechanics, I always hold off on getting into the discussion because I think maybe I don't know what that means. It all seems really familiar...
Back
Top