Gömme'nin özel bir anlamı var matematikte. Topolojide, geometride, cebirde vs kullanılan bir tabirdir. Eğer A ve B iki tane benzer özelliklere sahip objeler ise (ikisi de grup, ikisi de halka, ikisi de manifold, ikisi de lie grubu, vs) A objesi B objesinin içine gömülebilir demek A'dan B'ye giden birebir bir homomorfizma var demektir. Bir anlamda bu, A objesinin bir kopyası B objesinin içinde yaşar demektir. Burada dikkat edilmesi gereken şey, gömmenin hangi yapıya referans verdiğidir.
Örnek:
-
Z birimli halkası Q birimli halkasının içine tek türlü gömülebilir. Çünkü 1 elemanı 1 elemanına gitmek zorunda ve dolayısıyla böyle bir tane gömme var.
- Z grubu Q grubunun içine gömülebilir. Bir önceki örnekte fonksiyon bize Z grubunun Q grubunun içene bir gömmesini verir. Ama bu durumda birden fazla gömme vardır. Herhangi bir q∈Q elemanı için n⟼q⋅n;∀n∈Z fonksiyonu tamsayılar değişmeli grubunun rasyonel sayılar değişmeli grubunun içine bir gömmesini tarif eder.
- Alışkın olduğumuz toplolojisiyle beraber R uzayı çarpım topolojisiyle R×R içine pek çok biçimde gömülebilir. Mesela x⟼(x,x3) fonksiyonu böyle bir gömmedir.