group

any number of entities (members) considered as a unit (chemistry) two or more atoms bound together as a single unit and forming part of a molecule a set that is closed, associative, has an identity element and every element has an inverse arrange into a group or groups

"Can you group these shapes together?" form a group or group together

In mathematics, a group is a set, together with a binary operation, such as multiplication or addition, satisfying certain axioms, detailed below. For example, the set of integers is a group under the operation of addition. The branch of mathematics which studies groups is called group theory.The historical origin of group theory goes back to the works of Evariste Galois (1830), concerning the problem of when an polynomialalgebraic equation is soluble by radical (mathematics)radicals. Previous to this work, groups were mainly studied concretely, in the form of permutations; some aspects of abelian group theory were known in the theory of quadratic forms.A great many of the objects investigated in mathematics turn out to be groups. These include familiar number systems, such as the integers, the rational numbers, the real numbers, and the complex numbers under addition, as well as the non-zero rationals, reals, and complex numbers, under multiplication. Another important example is given by non-singular matrix (mathematics)matrices under multiplication, and more generally, invertible functions under composition. Group theory allows for the properties of these systems and many others to be investigated in a more general setting, and its results are widely applicable. Group theory is also a rich source of theorems in its own right.Groups underlie many other algebraic structures such as field (algebra)fields and vector spaces. They are also important tools for studying symmetry in all its forms; the principle that ''the symmetries of any object form a group'' is foundational for much mathematics. For these reasons, group theory is an important area in modern mathematics, and also one with many applications to mathematical physics (for example, in particle physics).

History - See Group theory.

Basic definitions - A group (G, * ) is a nonempty set G together with a binary operation * : G × G → G, satisfying the group axioms below. "a * b" represents the result of applying the operation * to the ordered pair (''a'', ''b'') of elements of ''G''. The group axioms are the following:

''Associativity'': For all a, b and c in G, (a * b) * c = a * (b * c).

''Identity element'': There is an element e in G such that for all a in G, e * a = a * e = ''a''.

''Inverse element'': For all a in G, there is an element b in G such that a * b = b * a = ''e'', where e is the identity element from the previous axiom.You will often also see the axiom

''closure (binary operation)Closure'': For all a and b in G, a * b belongs to G.The way that the definition above is phrased, this axiom is not necessary, since binary operations are already required to satisfy closure.When determining if * is a group operation, however, it is nonetheless necessary to verify that * satisfies closure; this is part of verifying that it is in fact a binary operation.The above axioms are not strictly minimal from a logical viewpoint; they contain a small amount of redundancy. However, the difference is slight and in practice one usually just checks the above axioms.It should be noted that there is no requirement that the group operation be commutativitycommutative, that is there may exist elements such that a * b ≠ b * a. A group ''G'' is said to be ''abelian groupabelian'' (after the mathematician Niels Abel) (or ''commutative'') if for every ''a'', ''b'' in ''G'', a * b = b * a. Groups lacking this property are called ''non-abelian''.The ''order'' of a group G, denoted by G or o(G), is the cardinalitynumber of elements of the set G.A group is called ''finite'' if it has finitely many elements, that is if the set G is a finite set.Note that we often refer to the group (G, * ) as simply !"G&quo t;,? leaving the operation * unmentioned.But to be perfectly precise, different operations on the same set define different groups.

Notation for groups - Usually the operation, whatever it ''really'' is, is thought of as an analogue of multiplication, and the group operations are therefore ''written multiplicatively''.That is:

We write "a · b" or even !"ab&qu ot;? for a * b and call it the ''product'' of a and b;

We write "1" for the identity element and call it the ''unit element'';

We write !"a< sup>−1&qu ot;? for the inverse of a and call it the ''reciprocal'' of a.However, sometimes the group operation is thought of as analogous to addition and ''written additively'':

We write "a + b" for a * b and call it the ''sum'' of a and b;

We write "0" for the identity element and call it the ''zero element'';

We write !"−aa and call it the ''opposite'' of a.Usually, only abelian groups are written additively, although abelian groups may also be written multiplicatively. When being noncommittal, one can use the notation (with "*") and terminology that was introduced in the definition, using the notation !a? for the inverse of a.If ''S'' is a subset of ''G'' and ''x'' an element of ''G'', then, in multiplicative notation, ''xS'' is the set of all products ; similarly the notation ''Sx'' = ; and for two subsets ''S'' and ''T'' of ''G'', we write ''ST'' for . In additive notation, we write ''x'' + ''S'', ''S'' + ''x'', and ''S'' + ''T'' for the respective sets.

Some elementary examples and nonexamples -

An abelian group: the integers under addition - A group that we are introduced to in elementary school is the integers under addition.For this example, let Z be the set of integers, , and let the symbol "+" indicate the operation of addition.Then (Z,+) is a group (written additively).Proof:

If a and b are integers then a + b is an integer. (Closure; + really is a binary operation)

If a, b, and c are integers, then (a + b) + c = a + (b + c). (Associativity)

0 is an integer and for any integer a, 0 + a = a + 0 = ''a''. (Identity element)

If a is an integer, then there is an integer b := −a, such that a + b = b + a = 0. (Inverse element)This group is also abelian: a + b = b + a.The integers with both addition and multiplication together form the more complicated algebraic structure of a ring (algebra)ring.In fact, the elements of any ring form an abelian group under addition, called the ''additive group'' of the ring.

''Not'' a group: the integers under multiplication - On the other hand, if we consider the operation of multiplication, denoted by "·", then (Z,·) is not a group:

If a and b are integers then a · b is an integer. (Closure)

If a, b, and c are integers, then (a · b) · c = a · (b · c). (Associativity)

1 is an integer and for any integer a, 1 · a = a · 1 = ''a''. (Identity element)

However, it is not true that whenever a is an integer, there is an integer b such that ab = ba = 1. For example, ''a'' = 2 is a integer, but the only solution to the equation ''ab'' = 1 in this case is ''b = 1/2''. We cannot choose ''b'' = 1/2 because 1/2 is not an integer. (Inverse element ''fails'')Since not every element of (Z,·) has an inverse, (Z,·) is ''not'' a group. The most we can say is that it is a commutative monoid.

An abelian group: the nonzero rational numbers under multiplication - Consider the set of rational numbers Q, that is the set of numbers ''a''/''b'' such that''a'' and ''b'' are integers and ''b'' is nonzero, and the operation multiplication, denoted by "·".Since the rational number 0 (number)0 does not have a multiplicative inverse, (Q,·), like (Z,·), is not a group.However, if we instead use the set Q \ instead of Q, that is include every rational number ''except'' zero, then (Q \ ,·) ''does'' form an abelian group (written multiplicatively).The inverse of ''a''/''b'' is ''b''/''a'', and the other group axioms are simple to check. We don't lose closure by removing zero, because the product of two nonzero rationals is never zero.Just as the integers form a ring (mathematics)ring, so the rational numbers form the algebraic structure of a field (mathematics)field.In fact, the nonzero elements of any given field form a group under multiplication, called the ''multiplicative group'' of the field.

A finite nonabelian group: permutations of a set - For a more concrete example, consider three colored blocks (red, green, and blue), initially placed in the order RGB. Let a be the action "swap the first block and the second block", and let b be the action "swap the second block and the third block". In multiplicative form, we traditionally write !xy ? for the combined action "first do y, then do x"; so that !ab ? is the action RGB → RBG → BRG, i.e., "take the last block and move it to the front".If we write e for "leave the blocks as they are" (the identity action), then we can write the six permutations of the set of three blocks as the following actions:

e : RGB → RGB

a : RGB → GRB

b : RGB → RBG

!ab ? : RGB → BRG

!ba ? : RGB → GBR

!ab a ? : RGB → BGRNote that the action !aa ? has the effect RGB → GRB → RGB, leaving the blocks as they were; so we can write !aa ? = !e.Similarly ,

!bb ? = e,

!(a baaae, and

!(a b)(ba)? = !(b a)(ab)? = e;so each of the above actions has an inverse.By inspection, we can also determine associativity and closure; note for example that

!(a b)aa( ba)? = !ab a ,? and

!(b a)bb( abab a .This? group is called the ''symmetric group on 3 letters'', or !S.It? has order 6 (or 3 factorial), and is non-abelian (since, for example, !ab ? ≠ !ba ).Since? !S? is built up from the basic actions a and b, we say that the set ''generating set of a groupgenerates'' it.Every group can be expressed in terms of permutation groups like !S;? this result is Cayley's theorem and is studied as part of the subject of group actions.

Further examples - For some further examples of groups from a variety of applications, see Examples of groups and List of small groups.

Simple theorems -

A group has uniqueexactly one identity element.

Every element has exactly one inverse.

You can perform division (mathematics)division in groups; that is, given elements a and b of the group G, there is exactly one solution x in G to the equation x * a = b and exactly one solution y in G to the equation a * y = b.

The expression !"a< sub>1? * !a? * ··· * !an (''Socks and shoes'') The inverse of a product is the product of the inverses in the opposite order: (a * !b)? = !b? * !a.These? and other basic facts that hold for all individual groups form the field of elementary group theory.

Constructing new groups from given ones - #If a subset ''H'' of a group (''G'',*) together with the operation * restricted on ''H'' is itself a group, then it is called a ''subgroup'' of (''G'',*).#The !Direct_product#Group_direct_pr oduct''product'' of two groups (''G'',*) and (''H'',•) is the set ''G''×''H'' together with the operation !(''g''₁ ,''h''₁ )(''g''₂21 *''g''₂ ,''h''₁ •''h''<sub>2).? The product can also be defined with an infinite number of terms.#The ''direct external sum'' of a family of groups is the subgroup of the product constituted by elements that have a finite number of non zero terms. If the family is finite the direct sum and the product are of course the same.#Given a group ''G'' and a normal subgroup ''N'', the ''quotient group'' is the set of cosets of ''G/N'' together with the operation (''gN'')(''hN'')=''ghN''.

See also -</sub>

Glossary of group theory

Elementary group theory

List of group theory topics

See also -

List of publications in mathematics#Group theory Important publications in group theory

b:Abstract !algebra:GroupsCategory:Abstrac t? algebraCategory:Group theoryCategory:Symmetryca:Grup (Matemàtiques)da:Gruppe !(matematik)de:Gruppentheoriees :Grupo? matemáticoeo:Grupo (algebro)fi:Ryhmä (algebra)fr:Groupe !(mathématiques)ko:군 7200;id:Grup? (matematika)it:Gruppo !(matematica)he:חב& #1493;רה? !(אלגב& #1512;ה)hu:Csoport? (matematika)nl:Groep !(wiskunde)ja:群論n o:Gruppe? (matematikk)pl:Grupa (matematyka)pt:Grupo (matemática)ro:Grup !(algebră)ru:Гр ;уппаs k:Grupasl:grupa? (matematika)sv:Grupp !(matematik)th:กร&# 3640;ปtr:Grup? Teorisiuk:Група !(математика)zh:ņ 76;

Transport Company
Cargo, transport
http://www.flashasia.com/

Seattle Stammtisch
Seattle Stammtisch is Seattle's version of an age old German tradition - it has been active in the U district for decades. Weekly evening get togethers are open to all people interested in speaking German and in enjoying each other's company. Regular cultural events, excursions and parties provide a fun and safe way to meet people from all corners of the globe.
http://www.stammtisch.us/

Groupboard
Interactive website tools for education, business and fun. Add whiteboard, chat, games, message boards, voice-over-ip conferencing and web conferencing to your site by simply copying a few lines of HTML code.
http://www.groupboard.com/

das PROJEKT - energy work, mental training and encounter
Get to know to your essence with the help of energy work. You make experiences which help you to find out how you are when you are who you are. In weekend seminars you explore how you can achieve more for yourself by participating in a group of people woh are joining their energies. How you get to an attitude towards life where you really take the responsability for your power, health, your place in society... Das PROJEKT is a place for people who want to live their life.
http://www.das-projekt.org

Destiny Youth
A site dedicated to on-fire christian youth with news, forums, quiz questions and encouragement for you to hit your God given destiny!
http://www.destinyyouth.org/

Baddicts! --your daily badminton fix
Baddicts! is your ultimate online adventure to the world of badminton. We are dedicated to serving all badminton aficionados who wish to experience virtual smashing fun while meeting new friends here, sharing ideas, and scoping out general information about our beloved sport. Although based in the Philippines, we have members located all over the world. Baddicts!, your daily badminton fix!
http://www.baddicts.com/

OSU Outspoken
Outspoken - Oregon State University's premiere a cappella vocal ensemble
http://www.osuoutspoken.com/

Adventures In Missions : Short Term Mission Trips
Short term missions trips for youth, college students and adults emphasizing evangelism and discipleship on christian mission trips to US, Mexico and International sites.
http://www.adventures.org

PICES
North Pacific Marine Science Organization
http://www.pices.int/

KhushDC.org
KhushDC is a social, support and political group that provides a safe and supportive environment, promotes awareness and acceptance, and fosters positive cultural and sexual identity for lesbian, gay, bisexual, transgender, questioning (LGBTQ) and additional gender or sexual minority South Asians in the Washington, D.C. metropolitan area.
http://www.KhushDC.org/

Walkingwomen - For Women who Love to Walk
Walkingwomen is dedicated to inspire, motivate, educate and support women in their efforts to walk and improve their physical and emotional health: through self-help information, locations and maps of walking areas, organized groups, events and a growing collection of photos and thoughts of walkers across Canada and the U.S.. Walkingwomen also provides a service to help form and support new walking groups in communities.
http://www.walkingwomen.org/

Lovelight Records
Record label dedicating itself to the electronica, house and techno genres that also has divisions specializing in Jazz, Kids, Metal, Gospel and soundtracks. When you think quality music, always think Lovelight Records.
http://www.lovelightrecords.com/

Are You A Star ?
Do you think you have what it takes to become a music superstar? You want to make yourselves known, you have talent you want to show or you seek an artist to supplement your group, then this site is ideal for you. It's free!
http://www.areyouastar.ca/

The Loyola Group
An audio web site. 20 hours of short & specific audio talks, dealing with alcohol/drug recovery topics.
http://www.loyolagroup.org/

Centerpoint for Leaders
On-line Leadership Development Programs to strengthen the leadership of nonprofit professionals at every level of the organization.
http://www.centerpointforleaders.org/

Jazz in Cambridge
Cambridge Jazz Cooperative runs a weekly jazz workshop that takes place on Saturday morning from 11:00 to 1:30 in Cambridge. Workshops are led by experienced jazz musicians, often one of the UK's leading names. Also links to other jazz musicians.
http://www.jazzcreation.com/

Mal Evans Memorial Band
Dutch Beatles tribute / cover band
http://www.memb.nl/

The Cyphers Agency
The Cyphers Agency is a full-service advertising agency located in Annapolis, Maryland right outside of Washington D.C. Our services include brand building and development, advertising, direct marketing, public relations, account planning, market research, custom publishing, Web design & interactive, SEO and more!
http://www.thecyphersagency.com/

SAGA North Ski & Snowboard Club
For gay/lesbian skiers and riders in the San Francisco Bay area. Organizes trips, parties during the ski season and outdoor activities during the summer.
http://www.saganorth.com/

Curacao Tour Info Center
The Tour Info Centers are the Reservation & Info Centers for Tour Services, Group Activities and Transportation on Curaçao. The Tour Info Centers offer over 50 different tours and activities, and has outlets at the most important hotel on the island.
http://www.tourism-curacao.com/

World Bank
also known as the International Bank for Reconstruction and Development. Policies, products, economic data, jobs.
http://www.worldbank.org

PhpBB
A free product that includes user ranks, themes, private messaging, emoticons, email notification, IP tracking, moderators, user banning, bad word lists, encryption, and searching.
http://phpbb.com/

HTML Help by the Web Design Group
Features HTML tag lists, tools, design tutorials, FAQs, an HTML help forum, and help links.
http://www.htmlhelp.com/

Gartner Group
Research and analysis of information technology companies, products, and services, and of several industry sectors. Custom research and consulting services. Events and conferences.
http://www.gartner.com

The SCO Group, Inc.
Provides Unix server operating systems, and network computing software, to let terminals, and personal and networked computers access business applications running on servers of all kinds. Formerly Caldera Systems, Caldera International, Santa Cruz Operation. (Nasdaq: SCOX)
http://www.sco.com/