BeschreibungAlgebra-Unit.svg	Deutsch: Eine Algebra ${\displaystyle A}$ besitzt genau dann ein neutrales Element, wenn es einen Vektorraumhomomorphismus ${\displaystyle \eta _{A}}$ gibt, so dass dieses Diagramm kommutiert. In diesem Fall gilt ${\displaystyle 1_{A}=\eta _{A}(1_{k})}$.
Datum	11. August 2006
Quelle	Eigenes Werk
Urheber	Markus Schmaus
Genehmigung (Weiternutzung dieser Datei)	Public Domain
Andere Versionen	File:Algebra-Unit.png

Siehe wikipedia:de:Benutzer:Markus Schmaus/Kommutatives Diagramm

%&latex
\documentclass[a4paper]{article}
\usepackage[dvips,matrix,arrow,ps,color,line,curve,frame]{xy}
\usepackage{diagxye}

\thispagestyle{empty}

\begin{document}
$$\bfig
\Vtrianglepair/>`<-`>`>`>/<700,500>[
  k \otimes A`
  A \otimes A`
  A \otimes k`
  A
;
  \eta_A \otimes \mathrm{id}_A`
  \mathrm{id}_A \otimes \eta_A`
  \cong`
  \mu_A`
  \cong
]
\efig$$
\end{document}

Ich, der Urheberrechtsinhaber dieses Werkes, veröffentliche es als gemeinfrei. Dies gilt weltweit. In manchen Staaten könnte dies rechtlich nicht möglich sein. Sofern dies der Fall ist: Ich gewähre jedem das bedingungslose Recht, dieses Werk für jedweden Zweck zu nutzen, es sei denn, Bedingungen sind gesetzlich erforderlich.