Sayı, sayma, ölçme ve etiketleme için kullanılan bir matematiksel nesnedir. En temel örnek, doğal sayılardır. Sayılar, sayı adı (numeral) ile dilde temsil edilebilir. Daha evrensel olarak, tekil sayılar rakam adı verilen sembollerle temsil edilebilir; örneğin, "5" beş sayısını temsil eden bir rakamdır. Yalnızca nispeten az sayıda sembolün ezberlenebilmesi nedeniyle, temel rakamlar genellikle bir rakam sisteminde organize edilir, bu da herhangi bir sayıyı temsil etmenin organize bir yoludur. En yaygın rakam sistemi Hint-Arap rakam sistemidir, bu sistem on temel sayısal sembol, yani rakam kullanılarak herhangi bir negatif olmayan tam sayının temsil edilmesine olanak tanır. Sayılar sayma ve ölçme dışında, etiketlerde, sıralamada ve kodlarda kullanılmak için de sıklıkla kullanılır. Yaygın kullanımda, bir rakam ile temsil ettiği sayı net bir şekilde ayrılmaz.
Tam sayılar, sayılar kümesinde yer alan sıfır (0), pozitif yönde yer alan doğal sayılar ve bunların negatif değerlerinden oluşan negatif sayılardan oluşan sayı kümesidir.
Doğal sayılar, 
şeklinde sıralanan tam sayılardır ve kimi tanımlamalara göre 0 sayısı da bu kümeye dâhil edilebilir. Aralarında standart ISO 80000-2'nin de bulunduğu bazı tanımlar doğal sayıları 0 ile başlatır ve bu durum negatif olmayan tam sayılar için 0, 1, 2, 3, ... şeklinde bir karşılık bulurken, bazı tanımlamalar 1 ile başlamakta ve bu da pozitif tam sayılar için 1, 2, 3, ... şeklinde bir eşlenik oluşturur. Doğal sayıları sıfır olmadan ele alan metinlerde, sıfırın da dahil edildiği doğal sayılar bazen tam sayılar olarak adlandırılırken diğer bazı metinlerde bu terim, negatif tam sayılar da dahil olmak üzere tam sayılar için kullanılmaktadır. Özellikle ilkokul seviyesindeki eğitimde, doğal sayılar, negatif tam sayıları ve sıfırı dışlamak ve saymanın ayrık yapısını, gerçek sayıların bir karakteristiği olan ölçümün sürekliliğiyle karşıtlık oluşturmak amacıyla sayma sayıları olarak adlandırılabilir.
Halka, matematikte cebirin temel yapılarından biridir ve soyut cebirde tam sayıların soyutlamasıdır. Bu yapıyı işleyen dala halka kuramı denir. Halkalar diğer bir temel yapı olan grupların üzerine inşa edilir. Her halka, aynı zamanda değişmeli bir gruptur, ama bir halkadan daha fazla özelliği sağlaması istenir. Örneğin halkada grup işlemine ek olarak ikinci bir işlem daha vardır. Halkalara örnek olarak tam sayılar, modülo n sayılar, polinomlar ya da karmaşık sayılar verilebilir.
Çarpma, temel aritmetik işlemlerden biridir. Sayılarda çarpma, çarpılan sayının çarpan sayı kadar adedinin toplamının alınması işlemidir.
Matematikte karmaşık sayı, bir gerçel bir de sanal kısımdan oluşan bir nesnedir. a ve b sayıları gerçek olursa karmaşık sayılar şu biçimde gösterilirler:
Cisim, halka ve grup gibi soyut bir cebirsel yapıdır. Kabaca, elemanları arasında toplama, çıkarma, çarpma ve bölme yapılabilen ve bu işlemlerde sayılardan alışık olduğumuz temel aritmetik kurallarının geçerli olduğu bir küme olarak tanımlanabilir.
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.
Karmaşık analiz ya da başka bir deyişle kompleks analiz, bir karmaşık değişkenli fonksiyonları araştıran bir matematik dalıdır. Bir değişkenli karmaşık analize ya da çok değişkenli karmaşık analizle beraber tümüne karmaşık değişkenli fonksiyonlar teorisi de denilir.
Matematikte karmaşık düzlem, gerçel eksen ve ona dik olan sanal eksen tarafından oluşturulmuş, karmaşık sayıların geometrik bir gösterimidir. Karmaşık sayının gerçel kısmının x-ekseni boyuncaki yer değiştirmeyle, sanal kısmının ise y-eksenindeki yer değiştirmeyle temsil edildiği değiştirilmiş bir Kartezyen düzlem olarak düşünülebilir.
Sayısal analiz, diğer adıyla nümerik analiz veya sayısal çözümleme, matematiksel analiz problemlerinin yaklaşık çözümlerinde kullanılan algoritmaları inceler. Bu nedenle birçok mühendislik dalı ve doğa bilimlerinde önem arz eden sayısal analiz, bilimsel hesaplama bilimi olarak da kabul edilebilir. Bilgisayarın işlem kapasitesinin artması ile gündelik hayatta ortaya çıkan birçok sistemin matematiksel modellenmesi mümkün olmuş ve sayısal analiz algoritmaları burada ön plana çıkmıştır. 21. yüzyıldan itibaren bilimsel hesaplama yöntemleri mühendislik ve doğa bilimleri ile sınırlı kalmamış ve sosyal bilimler ile işletme gibi alanları da etkilemiştir. Sayısal analizin alt başlıklarına adi diferansiyel denklemlerin yaklaşık çözümleri ve özellikle veri biliminde önem taşıyan sayısal lineer cebir ile optimizasyon örnek gösterilebilir.
Tamlık bölgesi, halka ile cisim arasında yer alan bir cebirsel yapıdır. Bir tamlık bölgesi sıfır böleni içermeyen bir halkadır. Yani sıfırdan farklı iki elemanın çarpımı sıfırdan farklıdır; 
için 
- Örnekler
Matematikte Hilbert uzayı, sonlu boyutlu Öklit uzayında uygulanabilen lineer cebir yöntemlerinin genelleştirilebildiği ve sonsuz boyutlu da olabilen bir vektör uzayıdır. Daha kesin olarak, bir Hilbert uzayı, uzayın tam metrik uzay olmasını sağlayan bir uzaklık fonksiyonu üreten bir iç çarpımla donatılmış bir vektör uzayıdır. Bir Hilbert uzayı, bir Banach uzayının özel bir durumudur. Matematik, fizik ve mühendislikte sıkça kullanılmaktadır. Kuantum mekaniğiyle uyumludur. Adını David Hilbert'ten almaktadır.
Basit cebir, matematik dersinde öğretilen cebirin en temel kısmıdır. Normalde liselerde öğretilir ve öğrencilerin işlem ve belirli sayılar üzerine kurulu olan aritmetiği anlamalarını sağlar. Cebir, değişken olarak bilinen sabit olmayan değerlerin büyüklüklerini açıklar. Soyut cebir aksine temel cebir, cebirsel yapı ile ilgilenmez, reel sayı ve karmaşık sayılarla ilgilenir.
Kriptografide Schnorr imzası, Schnorr imza algoritması tarafından üretilen dijital imzalamadır. Güvenliği, ayrık logaritma problemlerinin çözülemezliğine dayanır. Kısa imzalar oluşturur ve verimlidir. Rastgele oracle modelde en basit güvenliği kanıtlanmış dijital imzalama modeli olarak düşünüldü. 2008'de geçerliliğini yitiren U.S. Patent 4,995,082 tarafından lisanslanmıştır.
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.
Matematikte, bir Arf halkası Lipman (1971) tarafından Cahit Arf (1948) tarafından incelenen bazı ekstra koşulları karşılayan 1 boyutlu değişmeli yarı yerel bir Cohen-Macaulay halkası olarak tanımlandı.
