Trägermenge

Die Trägermenge ist ein Begriff der abstrakten Algebra. Mit Trägermenge bezeichnet man die Menge, aus der mit Hilfe einer Menge von Verknüpfungen eine algebraische Struktur gebildet wird. Ein Beispiel einer Trägermenge ist die Menge G, aus der die Elemente einer Gruppe $(G;\circ,e)$ stammen.

Meistens benennt man die Struktur nach ihrer Trägermenge. Dies macht es aber oft notwendig die Struktur so zu kennzeichnen, dass einerseits die Zugehörigkeit zur Trägermenge erkennbar ist und andererseits beide Bezeichnungen nicht verwechselt werden können.

Mögliche Arten der Notation sind:

• Unterstreichen: $\underline {G} = (G;\circ,e)$
• kalligraphische Symbole: $\mathcal {G} = (G;\circ,e)$
• Fraktur: $\mathfrak {G} = (G;\circ,e)$

Dabei erweisen sich die beiden Varianten Fraktur und Kalligraphie als unhandlich, da sie kaum jemand effizient beherrscht; hingegen lässt sich ein Unterstrich schnell und einfach setzen.