Kern einer Abbildung effizient bestimmen (Singular) |
26.06.2016, 12:13 | Shalec | Auf diesen Beitrag antworten » | |||||
Kern einer Abbildung effizient bestimmen (Singular) da das CAS Singular in quasi Nullzeit einen Kern eines gegebenen Homomorphismus berechnen kann, würde ich mich für Entscheidungskriterien interessieren. Es existiert eine Onlineeinbettung des CAS: Uni-KL Dort lässt sich z.B. durch folgenden Code ein (Ring-)Homomorphismus definieren und der Kern berechnen.
Als Ausgabe erhalte ich dann den Erzeuger des Ideals (Die Konstruktion sollte dahin abzielen, genau dieses Ideal zu erhalten.) Nun zu meiner Frage: Mit welchem Kriterium/Algorithmus kann man solch einen Kern bestimmen? Ein Beweis ist in einer Inklusionsrichtung (bislang) immer trivial. Also ist trivial, bedarf ein wenig Rechnung. (Ich fange grade erst an mich mit Singular zu befassen. Wie könnte ich denn von dem gegebenen phi das Bild berechnen/ausgeben lassen? "phi(R)" funktioniert nicht und "image" o.ä. kennt das Prog nicht.) Vielen Dank vorweg, |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|