Rühm (matemaatika)

Rühmaks (varem nimetatud ka "grupiks") nimetatakse matemaatikas hulka koos sellel defineeritud assotsiatiivse binaarse tehtega, mis rahuldab teatud pööratavuse tingimusi, mida on selgitatud allpool. 
Rühma mõiste abil üldistatakse matemaatikas elementaarmatemaatika binaarseid tehteid nagu reaalarvude korrutamine (koos jagamisega) või liitmine (koos lahutamisega). 
Rühma mõiste puhul pole oluline, milliste objektidega tehteid tehakse: need võivad olla arvud, kuid ka midagi muud. Nagu algebras ikka, tähistatakse neid objekte sümbolitega (tähtedega). 
Rühma tehet, mis üldistab arvude liitmist või korrutamist, nimetatakse üldjuhul korrutamiseks. Erinevalt arvude liitmisest või korrutamisest ei pruugi see korrutamistehe olla kommutatiivne. Kommutatiivse tehtega rühmi nimetatakse Abeli rühmadeks.
Rühmi uurib rühmateooria. 
Definitsioon.
Rühm (G, * ) on mittetühi hulk G koos binaarse tehtega * : G × G → G, mis rahuldab allpool esitatud aksioome. "a * b" on tulemus, mis saadakse tehte * rakendamisel hulga "G" elementide järjestatud paarile ("a", "b"). Rühma aksioomid on järgmised:
Tehte kinnisus.
Mõnikord lisatakse niisugune aksioom:
Ülaltoodud definitsioonile seda aksioomi lisada pole tarvis, sest see tuleneb binaarse algebralise tehte definitsioonist.&lt;br&gt; 
Kui aga on tarvis kindlaks teha, kas etteantud tehe * on rühmatehe, tuleb igatahes kontrollida, kas * rahuldab seda aksioomi (tingimust); kui mitte, siis pole tegemist binaarse algebralise tehtega.
Aksioomide komplekti liiasus.
Ka ülaltoodud aksioomide komplekt sisaldab teatud määral liiasust.
Rühm ei pea olema kommutatiivne.
Rühma tehe ei pea olema kommutatiivne: rühmas võivad leiduda sellised elemendid "a" ja "b", et a * b ≠ b * a. Kui rühma "G" mis tahes elementide "a" ja "b" korral a * b = b * a, siis rühma "g" nimetatakse Abeli rühmaks (norra matemaatiku Niels Henrik Abeli järgi) ehk kommutatiivseks rühmaks. Rühmi, millel seda omadust ei ole, nimetatakse mitte-Abeli ehk mittekommutatiivseteks rühmadeks.
Vabadused rühmale osutamisel.
Sageli tähistatakse rühma (G, * ) lihtsalt "G", jättes tehte * mainimata. Seda saab teha ainult juhul, kui tehe on iseenesestmõistetav või kokku lepitud. Tegelikult saab hulgal, millel on üle ühe elemendi, defineerida mitu erinevat rühma tehet. 
Multiplikatiivne ja aditiivne tähistusviis.
Multiplikatiivne tähistusviis.
Hoolimata tehte tegelikust loomusest kasutatakse suvalistest rühmadest rääkides analoogia põhjal korrutamisega tavaliselt multiplikatiivset tähistusviisi ning rühma tehet nimetatakse korrutamiseks. &lt;br&gt; 
Multiplikatiivne tähistusviis tähendab järgmisi kokkuleppeid:
Aditiivne tähistusviis.
Mõnikord peetakse rühma tehet analoogiliseks liitmisega ning kasutatakse aditiivset tähistusviisi, mis hõlmab järgmised kokkulepped: 
Tähistusviisi valik.
Aditiivset tähistusviisi kasutatakse tavaliselt üksnes Abeli rühmade puhul. Teiselt poolt, Abeli rühmade puhul võidakse kasutada ka multiplikatiivset tähistusviisi. 
Võimalik on kasutada ka neutraalset tähistusviisi, näiteks sellist nagu rühma definitsioonis käesolevas artiklis. Sel juhul on tehtemärk (näiteks) "*", ülejäänud tähistused (näiteks) samasugused nagu multiplikatiivse tähistusviisi korral. Tähistusviisi neutraalsuse rõhutamiseks võib ühikelementi nimetada neutraalseks elemendiks.
Rühma järk.
Rühma G järguks (tähis: |G| või o(G)) nimetatakse hulga G võimsust. Kui "G" on lõplik hulk, siis rühma "G" järk on hulga "G" elementide arv. 
Kui "G" on lõplik hulk, siis rühma "G" nimetatakse lõplikuks rühmaks.