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.
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...
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...
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...
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...
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...
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
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...
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...
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...
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...
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...
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}...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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)].
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!
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...
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...
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...
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?
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...
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...
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...
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)...
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?
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...
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...
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...
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...
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...
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...
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?
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...
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...
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...
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...
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...
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.
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...