Kurs:Algebraische Kurven (Osnabrück 2008)/Arbeitsblatt 17/latex
\inputaufgabe
{2}
{
Betrachte den Monoidhomomorphismus
\mathdisp {\N^2 \longrightarrow \Z,\, e_1 \longmapsto 1,\, e_2 \longmapsto -1} { . }
Beschreibe die zugehörige Abbildung zwischen den Monoidringen (für einen Körper $K$) und den zugehörigen $K$-Spektren.
}
{} {}
\inputaufgabe
{2}
{
Es seien
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {kommutative Monoide}{}{.}
Zeige, dass durch
\mavergleichskettedisp
{\vergleichskette
{ \tilde{M}
}
{ =} { { \left\{ n \in N \mid \text{es gibt } k \in \N_+ \text{ mit } kn \in M \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein Untermonoid von $N$ gegeben ist, das $M$ umfasst.
}
{} {}
\inputaufgabe
{6}
{
Es seien
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
endlich erzeugte kommutative Monoide mit Kürzungsregel. Zeige, dass für einen
\definitionsverweis {Körper}{}{}
$K$ der
\definitionsverweis {Ringhomomorphismus}{}{}
\mavergleichskette
{\vergleichskette
{ K[M]
}
{ \subseteq }{ K[N]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann
\definitionsverweis {endlich}{}{}
ist, wenn es zu jedem
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ kn
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
{} {}
\inputaufgabe
{4}
{
Es sei
\mavergleichskette
{\vergleichskette
{ M
}
{ = }{ (\Q,+)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die additive Gruppe der
\definitionsverweis {rationalen Zahlen}{}{.}
Bestimme
\mathl{\Q\!-\!\operatorname{Spek}\, { \left( \Q[M] \right) }}{.} Wie sieht es aus, wenn man $\Q$ durch $\R$ ersetzt?
}
{} {}
\inputaufgabe
{4}
{
Es sei
\maabb {\varphi} { M } { N
} {}
ein
\definitionsverweis {Homomorphismus}{}{}
von kommutativen Monoiden. Zeige, dass die Menge aller Punkte aus
\mathl{K-\operatorname{Spec} \, K[N]}{,} die unter der Spektrumsabbildung auf den Einspunkt
\mavergleichskette
{\vergleichskette
{ 1
}
{ \in }{ K-\operatorname{Spek} \,(K[M])
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{} abgebildet werden, selbst die Struktur eines $K$-Spektrums eines geeigneten Monoids besitzt.
}
{} {}
\inputaufgabe
{4}
{
Wir betrachten Monoide der Form
\mavergleichskettedisp
{\vergleichskette
{ M
}
{ =} { ( \Z/( m ) ,+)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Beschreibe
\mathl{K-\operatorname{Spec} { \left( K[M] \right) }}{} allgemein sowie für die
\definitionsverweis {Körper}{}{}
\mavergleichskette
{\vergleichskette
{ K
}
{ = }{ \R, {\mathbb C}, \Z/( 5 )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Finde die
\definitionsverweis {idempotenten Elemente}{}{}
von
\mathl{{\mathbb C} [ \Z/( 3 ) ]}{.}
}
{} {}
\inputaufgabe
{4}
{
Es sei $M$ ein kommutatives
\definitionsverweis {Monoid}{}{.}
Zeige, dass die zugehörige
\definitionsverweis {Differenzengruppe}{}{}
\mavergleichskette
{\vergleichskette
{ \Gamma
}
{ = }{ \Gamma(M)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine kommutative
\definitionsverweis {Gruppe}{}{}
ist, und dass sie folgende universelle Eigenschaft besitzt: Zu jedem
\definitionsverweis {Monoidhomomorphismus}{}{}
\maabbdisp {\varphi} { M } { G
} {}
in eine Gruppe $G$ gibt es einen eindeutig bestimmten
\definitionsverweis {Gruppenhomomorphismus}{}{}
\maabbdisp {\tilde{\varphi}} {\Gamma} {G
} {,}
der $\varphi$ fortsetzt.
}
{} {}
\inputaufgabe
{3}
{
Es sei $M$ ein kommutatives
\definitionsverweis {Monoid}{}{}
mit zugehöriger
\definitionsverweis {Differenzengruppe}{}{}
\mavergleichskette
{\vergleichskette
{ \Gamma
}
{ = }{ \Gamma(M)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass folgende Aussagen äquivalent sind.
\aufzaehlungdrei{ $M$ ist ein
\definitionsverweis {Monoid mit Kürzungsregel}{}{.}
}{Die kanonische Abbildung
\maabb {} { M } {\Gamma(M)} {}
ist injektiv.
}{ $M$ lässt sich als Untermonoid einer Gruppe realisieren.
}
}
{} {}
\inputaufgabe
{4}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und $G$ eine
\definitionsverweis {Gruppe}{}{.}
Dann können wir den
\definitionsverweis {Monoidring}{}{}
$K[G]$ betrachten. Es sei nun weiter $M$ ein $K[G]$-Modul. Zeige, dass
\aufzaehlungzweiabc{ $M$ nichts anderes ist als ein $K$-Vektorraum $V$ zusammen mit einem
\definitionsverweis {Gruppenhomomorphismus}{}{}
\maabb {\rho} { G} { \operatorname{Aut}_K(V)
} {.}
}{ein $K[G]$-Modulhomomorphismus
\maabb {\varphi} { M } { M
} {}
eine $K$-lineare Abbildung ist, für die zusätzlich
\mavergleichskette
{\vergleichskette
{ \varphi \circ \rho(g)
}
{ = }{ \rho \circ \varphi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ g
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
}
{Bemerkung: $\rho$ heißt dann eine \stichwort {Darstellung} {} von $G$. Solche Darstellungen sind oft einfacher zu handhaben als $G$ und man kann mit Hilfe von $\rho$ oft hilfreiche Erkenntnisse über $G$ selbst gewinnen.} {}
\inputaufgabe
{2}
{
Wir betrachten die
\definitionsverweis {kommutativen}{}{}
\definitionsverweis {Monoide}{}{}
\mavergleichskette
{\vergleichskette
{ M
}
{ = }{ \N^r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ N
}
{ = }{ \N^s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass ein
\definitionsverweis {Monoidhomomorphismus}{}{}
von $M$ nach $N$ eindeutig durch eine
\definitionsverweis {Matrix}{}{}
\zusatzklammer {mit $r$ Spalten und $s$ Zeilen} {} {}
mit Einträgen aus $\N$ bestimmt ist.
}
{Wie sieht die zugehörige Spektrumsabbildung aus?} {}