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.
Hi,
I have one spot remaining to take a pure math course, and I'm trying to decide between complex analysis and group theory. Although I've touched some of the basic of dealing with complex numbers in my physics/DE courses, they haven't gone in much depth into them beyond applications. On the...
Homework Statement
Show that the set of all ##n \times n## unitary matrices with unit determinant forms a group.
2. Homework Equations
The Attempt at a Solution
For two unitary matrices ##U_{1}## and ##U_{2}## with unit determinant, det(##U_{1}U_{2}##) = det(##U_{1}##)det(##U_{2}##) = 1...
Homework Statement
Show that the set of all ##n \times n## unitary matrices forms a group.
Homework Equations
The Attempt at a Solution
For two unitary matrices ##U_{1}## and ##U_{2}##, ##x'^{2} = x'^{\dagger}x' = (U_{1}U_{2}x)^{\dagger}(U_{1}U_{2}x) =...
Homework Statement
Show that the set of all ##n \times n## orthogonal matrices forms a group.
Homework Equations
The Attempt at a Solution
For two orthogonal matrices ##O_{1}## and ##O_{2}##, ##x'^{2} = x'^{T}x' = (O_{1}O_{2}x)^{T}(O_{1}O_{2}x) = x^{T}O_{2}^{T}O_{1}^{T}O_{1}O_{2}x =...
Hello
I am studying for my exam and there's a question that i don't know how to solve, I have some difficulties with symmetric/permutations groups
1. Homework Statement
Consider a finite group of order > 2.
We write Aut(G) for the group of automorphisms of G and Sg for the permutations group...
Hi everyone.
So it's apparent that G/N cyclic --> G cyclic. But the converse does not seem to hold; in fact, from what I can discern, given N cyclic, all we need for G/N cyclic is that G is finitely generated. That is, if G=<g1,...,gn>, we can construct:
G/N=<(g1 * ... *gn)*k>
Where k is the...
Does anybody can help solve point kinetic equation for one group of delayed neutrons in steps. I am looking forward to solve it by analytical methods.
dn(t)/dt=ρ-β/l n(t)+ λC(t)
dC(t)/dt= βi* n(t)/l- λC
I would really appreciate your help as i am have to submit to clear this paper next week
Homework Statement
The Hamiltonian of the 1D Ising model without a magnetic field, is defined via: $$\mathcal H = − \sum_{ i=1}^N K\sigma_i \sigma_{i+1},$$ where ##K ≥ 0## and ##\sigma_i## are the Ising spins (i.e. ##\sigma_i= \pm 1##).
A) Set up a decimation procedure with decimation...
I've been thumbing back through my organic synthesis book to try and remember how to reduce a carboxylic functional group. I know how to do partial reduction to primary alcohols, or create aldehydes and or acyl halides. But isn't there a way to completely reduce it all the way to a hydrocarbon...
I know that quarks can never exist in isolation, and also group up so that they have a net neutral colour charge. But I am wondering at the start of the universe, or under very, very extreme conditions (such as the start of the universe) would quarks have been able to exist by themselves. I have...
The O(N) nonlinear sigma model has topological solitons only when N=3 in the
planar geometry. There exists a generalization of the O(3) sigma model so that the
new model possesses topological solitons for arbitrary N in the planar geometry. It is
the CP^{N-1} sigma model,whose group manifold is...
The O(N) nonlinear sigma model has topological solitons only when N=3 in the
planar geometry. There exists a generalization of the O(3) sigma model so that the
new model possesses topological solitons for arbitrary N in the planar geometry. It is
the CP^{N-1} sigma model,whose group manifold is...
Hi, I am looking for textbooks in relativistic quantum mechanics and group theory.
I have just finished my undergraduate studies in Physics and am looking to specialise in theoretical high-energy physics. Therefore, textbooks in relativistic quantum mechanics and group theory suited for that...
EDIT: I think i screwed up and posted in the wrong section. Sorry. Should i make a new one to the correct place? Can this one be moved?
Hello. I have a couple of problems here, that i will have to translate from another language, so I am not 100% sure if I am using the correct terms.
(1) Let...
http://i.imgur.com/JgpJp03.png
I've done the Cayley table for the group above and can't find it in any of the group encyclopedias online. I can post it too if you want, but I'll tell you this:
It is a non abelian group of order 8 with two generators (a,g) such that a^4=Identity and...
My question concerns both quantum theory and relativity. But since I came up with this while studying QFT from Weinberg, I post my question in this sub-forum.
As I gather, we first work out the representation of Poincare group (say ##\mathscr{P}##) in ##\mathbb{R}^4## by demanding the Minkowski...
Homework Statement
Good day,
I need to show that S_n=\mathbb{Z}_2(semi direct product)Alt(n)
Where S_n is the symmetric group and Alt(n) is the alternating group (group of even permutations) note: I do not know the latex code for semi direct product
Homework Equations
none
The Attempt at...
Homework Statement
Is the following a valid group?
The values contained in the set of all real numbers ℝ, under an operation ◊ such that x◊y = x+y-1
Homework Equations
Axioms of group theory:
Closure
Associativity
There must exist one identity element 'e' such that ex=x for all x
There...
Homework Statement
Good day all!
(p.s I don't know why every time I type latex [ tex ] ... [ / tex ] a new line is started..sorry for this being so "spread" out)
So I was wondering if my understanding of this is correct:
The Question asks: "\mathbb{Z}_4 has a subgroup is isomorphic to...
EDIT: I've just realized this is the 'Calculus and beyond' subforum - I saw 'beyond' and thought, "Well I've done all my calculus, and now I'm doing group theory, so this thread must go here!". But now I realize it surely belongs somewhere else. Sorry about that. Mods feel free to shift it to...
When reading about GUTs you often come across the 'Standard Model decomposition' of the representations of a given gauge group. ie. you get the Standard Model gauge quantum numbers arranged between some brackets. For example, here are a few SM decompositions of the SU(5) representations...
I study physics and currently taking a mathematical physics course. One of the topics is group theory and we will see the following topics:
Symmetries, discrete groups, homomorphisms, isomorphisms, continuous groups, and linear transformations in phase space.
This topic will be covered with...
I'm doing a small research project on group theory and its applications. The topic I wanted to investigate was Noether's theorem.
I've only seen the easy proofs regarding translational symmetry, time symmetry and rotational symmetry (I'll post a link to illustrate what I mean by "the easy...
Hi,
How do we determine the group types for a particular order? I know the example of using the Cayley table to show there are only two types of groups of order 4 but do not know how to determine this for other groups. For example, suppose I wanted to show there is a group of order 10 in the...
Hi guys,
There is a software package called GAP for "Groups, Algorithms, and Programming" with emphasis on Group Theory. You can download it for free. I did. However I'm finding it so intractable to use. I would like to find the "missing group" in the Symmetric groups. That is, the group...
Hello all!
If I have a group of order 20 that has three elements of order 4, can this group be cyclic? What if it has two elements? I am new to abstract algebra, so please keep that in mind!
Thanks!
Let $G$ be a set and $*$ a binary operation on $G$ that satisfies the following properties:
(a) $*$ is associative,
(b) There is an element $e\in G$ such that $e*a=a$ for all $a\in G$,
(c) For every $a\in G$, there is some $b\in G$ such that $b*a=e$.
Prove that $(G, *)$ is a group.
My...
Homework Statement
Let ##G## be a group and ##\sim## and equivalence relation on ##G##. Prove that if ##\sim## respects multiplication, then ##\sim## is the equivalence relation associated to some normal subgroup ##N\trianglelefteq G##; i.e., prove there is a normal subgroup ##N## such that...
Hi,
I'm confused about the discussion on p28 of Nigel Goldenfeld's "Lectures on phase transitions and the renormalization group" (this question can only be answered by people who have access to the book.)
The goal is to compute the potential energy of a uniformly charged sphere where the...
Hi,
I was wondering if there is code already available to draw group lattice diagrams if I already know what the subgroup structure of the group and its subgroups are. For example, it's easy to determine the subgroup lattice for cyclic groups simply using divisors via Lagrange's Theorem...
If someone can check this, it would be appreciated. (Maybe it can submitted for a POTW afterwards.) Thank-you.
PROBLEM
Prove that if $H$ and $K$ are torsion-free groups of finite rank $m$ and $n$ respectively, then $G = H \oplus K$ is of rank $m + n$.
SOLUTION
Let $h_1, ..., h_m$ and $k_1...
I am studying Group Theory at the moment and i am not sure about a theorem.
Is it true that a Lie Group G is compact if and only if every finite complex representation of it is unitary?
I know that is true the if, but what about the viceversa?
Same question.
Is it true that a Lie group is...
I need to study in detail the rappresentations of the Poincare Group, i am interessed in the idea that particles can be wieved as irriducible representations of it.
Do you have some references about it?
I would like to start a discussion about group work both in education and in work-life.
Group work, especially in smaller groups, tends to be 'active learning'. Active learning tends to be more efficient than passive learning. I would like to know if you as a teacher like to assign group work...
If G is a finite set closed under an associative operation such that ax = ay forces x = y and ua = wa forces u = w, for every a, x, y, u, w ##\in## G, prove that G is a group.
What I attempted:
If we can prove that for every x ##\in## G, x##^{-1}## is also ##\in## G, then by the closure of the...
I am reading Joseph J. Rotman's book, Advanced Modern Algebra and am currently focused on Chapter 1: Groups I.
I need some help with the proof of Proposition 1.52.
Proposition 1.52 reads as follows:
I have several related questions that need clarification ...Question 1
In the above text...
Hi there. Can anybody recommend a good textbook for an undergraduate wanting to study group theory (especially representation theory). I'm thinking of reading "visual group theory" by Carter for conceptual understanding but I also need a book to study alongside this that gives a more formal...
I want to learn how to write down a particle state in some inertial coordinate frame starting from the state ##| j m \rangle ##, in which the particle is in a rest frame.
I know how to rotate this state in the rest frame, but how does one write down a Lorentz boost for it? Note that I am not...
Hello all. I am new here. I am in the last quarter of a 3 quarter sequence of undergrad quantum mechanics and I just had some conceptual questions (nothing pertaining to homework). We just recently covered Berry's Phase and the Dynamical Phase. Now I wanted to start with a more basic quantum...
Suppose to have a Lie group that is at the same time also a Riemannian manifold: is there a relation between Christoffel symbols and structure constants? What can i say about the geodesics in a Lie group? Do they have special properties?
Is the following correct?
We begin with a set.
Then, we specify a certain collection of subsets and thereby create a topology. This endows the set with certain properties, one of which is “nearness” and “boundedness.”
Then we specify that the topology be smooth. In so doing, our topology...
Consider the rotation group ##SO(3)##.
I know that ##R_{x}(\phi) R_{z}(\theta) - R_{z}(\theta) R_{x} (\phi)## is a commutator?
But can this be called a commutator ##R_{z}(\delta \theta) R_{x}(\delta \phi) R_{z}^{-1}(\delta \theta) R_{x}^{-1} (\delta \phi)##?
(Again, I am sorry for the simplicity of these questions. I am a mechanical engineer learning this stuff late in life.)
I have read the following terms or phrases:
group
algebra
group algebra
the algebra of a group
an algebra group
an algebraic group
a group of algebras
So... could someone...
Hi there,
I have a question about the rest mass of an electron. As we all know, the charge of an electron is a function of the energy at which the system is probed. When defining the charge, we typically use as our reference scale the charge measured in Thompson scattering at the orders of...
Homework Statement
Show that the group of units in Z_10 is a cyclic group of order 4
Homework EquationsThe Attempt at a Solution
group of units in Z_10 = {1,3,7,9}
1 generates Z_4
3^0=1, 3^1=3, 3^2=9, 3^3= 7, 3^4= 1, this shows <3> isomorphic with Z_4
7^0=1 7^1= 7, 7^2= 9 7^3=3 7^4=1, this...
According to Maxwell's equations,
$$c=\frac 1 {\sqrt{μ_0 μ_r ε_0 ε_r}}$$
in a medium with an electric permittivity of ##ε_r## and magnetic permeability of ##μ_r##. This means that in any medium which has values for these properties which are greater than that of a vacuum, the speed of light...