Grup teorisi veya Grup kuramı, simetrileri inceleyen matematik dalıdır. Simetri kuramı olarak da adlandırılabilir. Bir nesnenin simetrileri ile kast edilen, nesneye uygulandığında nesneye hiçbir etki olmamış gibi sonuç veren dönüşümlerdir. Her nesnenin en az bir simetrisi vardır: hiçbir şey yapmadan olduğu gibi bırakma dönüşümü. Bahsettiğimiz dönüşümlerin tersleri de vardır ve aradığımız özellikleri sağlarlar. Son olarak da dönüşümlerin art arda yapılması, birleşimli bir işlemdir. Bu üç koşula sırasıyla birim elemana sahip olma, elemenların tersi olma ve grup işleminin birleşmeli olması denir. Bu kavramların matematikte soyutlanması, üzerinde tersinebilir ve bileşme özelliğine sahip ikili bir işlemin tanımlı olduğu kümeler ile yapılır. Daha detaylı açıklamak gerekirse, grup nesnesi bir küme G ve onun üzerinde tanımlı bir 
işleminden oluşur. Bu operasyonun aşağıdaki şartları sağlaması gereklidir:
Fonksiyon, matematikte değişken sayıları girdi olarak kabul edip bunlardan bir çıktı sayısı oluşmasını sağlayan kurallardır. Fonksiyon, 17. yüzyılda matematiğin kavramlarından biri olmuştur. Fizik, mühendislik, mimarlık ve birçok alanda kullanılmaktadır. Galile, Kepler ve Newton hareketlerin araştırılmasında, zaman ve mesafe arasındaki durumu incelemek için fonksiyonlardan faydalanmıştır. Dört işlemden sonra gelen bir işlem türüdür.
Türev, matematikteki ve özellikle diferansiyeldeki temel kavramlardan biridir. Aşağıda temel türev alma kuralları ve bazı fonksiyonların türev kuralları yer almaktadır.
Eğer 
bir kümeyse, 
kümesinden kümesine giden bir fonksiyona kümesi üzerine ikili işlem denir. İkili işlemi 
olarak gösterirsek, 
yerine genellikle 
, 
, 
ya da daha yaygın olarak 
yazmak bir gelenek halini almıştır. Burada önemli olan, her 
için, işlemin sonucu olan elemanının yine kümesinde olmasıdır, yoksa ikili bir işlemden söz edemeyiz. Örneğin, 
ise, 
işlemi bu küme üzerinde ikili bir işlem değildir. Örneğin, 
bir doğal sayı değildir. Öte yandan 
olarak tanımlanan işlem doğal sayılar kümesi üzerine ikili bir işlemdir.
Bileşke fonksiyon, matematikte bir işlevdir.
Küme, matematikte farklı nesnelerin topluluğu veya yığını olarak tanımlanmaktadır. Bu tanımdaki "nesne" soyut ya da somut bir şeydir. Fakat her ne olursa olsun iyi tanımlanmış olan bir şeyi, bir eşyayı ifade etmektedir. Örneğin, "Tüm canlılar topluluğu", "Dilimiz alfabesindeki harflerin topluluğu", "Masamın üzerindeki tüm kâğıtlar" tümcelerindeki nesnelerin anlaşılabilir, belirgin oldukları, kısaca iyi tanımlı oldukları açıkça ifade edilmektedir. Dolayısıyla bu tümcelerin her biri bir kümeyi tarif etmektedir. O halde, matematikte "İyi tanımlı nesnelerin topluluğuna küme denir." biçiminde bir tanımlama yapılmaktadır.
Matematiğin bir dalı olan karmaşık analizde, Augustin Louis Cauchy'nin ismine atfedilen Cauchy integral teoremi, karmaşık düzlemdeki holomorf fonksiyonların çizgi integralleri hakkında önemli bir teoremdir.
Matematiğin bir alt dalı olan karmaşık analizde, Liouville teoremi tam fonksiyonların sınırlılığıyla ilgili temel bir teoremdir.
Matematikte açıkorur gönderim ya da açıkorur dönüşüm tanımlı olduğu kümenin her noktasında yerel olarak açıları koruyan bir fonksiyona verilen addır. Bu tanımı haliyle, açıkorur gönderimlerin her zaman uzunlukları koruması ya da yönleri koruması beklenmez.
Matematikte bir çizgi integrali, integrali alınan fonksiyonun bir eğri boyunca değerlendirildiği integraldir. Çeşitli farklı çizgi integralleri kullanılmaktadır. Kapalı eğrinin kullanıldığı durumlarda integrale kontür integrali denildiği de olmaktadır.
Matematikte verilmiş bir fonksiyonun tanım kümesi, fonksiyonun tanımlı olduğu "girdi" değerlerinin oluşturduğu kümedir. Örneğin, kosinüsün tanım kümesi gerçel sayılar olurken karekök fonksiyonunun tanım kümesi 0 ve 0'dan büyük sayıların oluşturduğu negatif olmayan gerçel sayılar kümesidir. Fonksiyonun xy Kartezyen koordinat sistemindeki temsilinde, tanım kümesi x-ekseni (apsis) ile temsil edilir.
Cebirsel topoloji, topolojik uzayları cebirsel gereç ve yöntemlerle inceleyen matematik dalı. Matematikte bir kümenin üzerine döşenecek yapı, yönelinen matematik dalını belirler. Bir kümeye bir ya da birkaç işlem konarak sayılar kuramı ya da cebir yapmaya başlanabilir. Kümenin üzerine bir topoloji koyaraksa topoloji ve, ayrıca uzunluk koyarsak, geometri yapmaya başlanır. Üzerine topoloji konmuş bir uzayı incelemek için kimi cebirsel, aritmetik veya topolojik değişmezler tanımlanır; bunlar aracılığıyla topolojik uzayın özellikleri ayırdedilir. Örneğin tıkızlık, bağlantılılık, sayılabilirlik bu tür değişmezlerdir. Topolojik eşyapısal iki uzaydan biri bu değişmeze sahipse diğeri de buna sahip olmalıdır. Yani, eğer iki uzay için ayrı ayrı bakılan bir değişmez aynı değilse, bu iki uzay eşyapısal olmayacaktır. Yukarıda anılan en eski değişmezlerin hemen ardından inşa edilen klasik değişmezler cebirsel olanlardır.
Matematiğin bir alt dalı olan karmaşık analizde Schwarz önsavı, karmaşık düzlemdeki birim daire üzerinde tanımlı ve değer kümesi yine aynı birim daire olan holomorf fonksiyonların aldığı değerlerin üzerine kestirimler veren önemli bir sonuçtur. Her ne kadar bilim dizininde önsav olarak isim almışsa da kendi başına önemli bir teoremdir. Bu sonuç, günümüzde herhangi bir karmaşık analiz kitabında ifade edilen şeklinden daha farklı bir şekilde ilk defa Alman matematikçi Hermann Amandus Schwarz tarafından kendi doktora tezinde ifade edilmiştir. Sonucu günışığına çıkarıp günümüzdeki ifadesini yazan ve aynı zamanda bu önsavın tanınmasını sağlayan matematikçi ise Yunan matematikçi Constantin Carathéodory olmuştur.
Hiperbolik düzlemin dönüşüm grubu, genel Möbius grubunun alt grubu olup 
ile gösterilir. Üst yarı düzlemi koruyan bu grup Riemann küresi üzerinde tanımlıdır. nin etkisi altında hiperbolik doğrular yine hiperbolik doğrulara giderken, herhangi iki eğri arasındaki açının mutlak değerinin, hiperbolik uzunluk ve uzaklığın korunması grubun karakteristik özelliklerinden bazılarıdır. Bu özelliklerden önemli bir sonuca, hiperbolik düzlemin dönüşüm grubuyla hiperbolik yarı düzlemin izometri grubunun eşyapılı olduğuna, varmak mümkündür.
Cantor teoremi, kümeler teorisinin başlıca teoremlerindendir. Teorem; boş olmayan herhangi bir X kümesinin kuvvet kümesinin kardinalitesinin, X kümesinin kardinalitesinden büyük olduğunu söyler. P(X) ile kuvvet kümesi gösterilirse, teoreme göre X kümesi ile P(X) arasında birebir eşleme yapılamaz.
Eşyapı ya da izomorfizma (ya da izomorfi), aynı kategoride(grupta) olan benzer iki matematiksel obje arasında bir gönderim olup matematiksel vücut tersi yapıda da muhafaza edilir. Aralarında bu şekilde eşyapı bulunan objelere eşyapısal ya da izomorf(ik) objeler denir. Örneğin iki küme arasında eşyapı, birebir, örten bir gönderimdir. Kümelerin üzerinde elemanlara sahip olma haricinde bir oluşum olmadığından, eşyapı gönderiminin koruyacağı başka bir yapı yoktur. Soyut cebirde iki grup arasında bir eşyapı, birebir, örten bir gönderimdir; dahası, iki gruptaki işleme saygı gösterir, bu iki işlemin birbirleriyle etkileşim halinde olmasını sağlar.
Örten fonksiyon, matematikte, X kümesinden Y kümesine tanımlı bir f fonksiyonunda, X kümesindeki her x elemanı için Y kümesindeki y elemanlarının tamamının olduğu fonksiyon türü. Tanım kümesindeki elemanların tamamı, değer kümesindeki elemanların tamamıyla eşleştiği örten fonksiyonlarda, değer kümesi ile görüntü kümesi birbirine eşittir.
Birebir örten fonksiyon, matematikte hem birebir hem örten fonksiyon özelliklerini aynı anda gösteren fonksiyonlardır. İki küme arasındaki fonksiyonda 1.kümeden her bir eleman ikinci kümedeki elemanla eşleşir ve her iki kümeden açıkta eleman kalmaz. Örten fonksiyon görüntü kümesinde boşta eleman kalmayacak şekilde eşleşmenin gerçekleştiği, birebir fonksiyon ise her bir elemanın diğer kümenin bir elmanıyla eşleştiği fonksiyondur. Birebir örten fonksiyonlar ise bu iki fonksiyonun özelliklerine aynı anda sahip olan fonksiyonlardır.
Temel grup, Henri Poincaré'in 1895'te yayınladığı "Analysis Situs" adlı makalesinde tanımlanmıştır. Kavram, Bernhard Riemann, Poincaré ve Felix Klein'ın çalışmalarıyla Riemann yüzeyleri teorisinden ortaya çıkmıştır. Karmaşık değerli fonksiyonların monodromik özelliklerini açıkladığı gibi kapalı yüzeylerin tam bir topolojik sınıflandırılmasını sağlar.
Birebir olan ancak örtmeyen bir fonksiyon (birebir)
Birebir örten bir fonksiyon (birebir örten)
Birebir olmayan ancak örten bir fonksiyon (örten, birebir örten değil)
Birebir olmayan ve örtmeyen bir fonksiyon (birebir örten değil)
