AlgebraZahlentheorie/.vscode/ltex.hiddenFalsePositives.d...

99 lines
19 KiB
Plaintext
Raw Permalink Blame History

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QWenn Sie als Hausaufgabe nachrechnen sollen, dass ein gegebenes Polynom \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q irreduzibel ist, dann werden wir den Output von „isIrreducible(\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q)“ aber nicht akzeptieren.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QZwar pendelten um 1704 jährlich mehr als 300 Schiffe zwischen England und den „West Indies“, es kam aber durch Fehlnavigation regelmäßig zu verheerenden Katastrophen.\\E$"}
{"rule":"KLEINSCHREIBUNG_KEIN_NAME","sentence":"^\\QEin großer Teil der Vorlesung „Lineare Algebra II“ befasst sich mit diesem Thema: Jordan-Formen, Basiswechsel, Determinanten, Invarianten, Eigenräume, …\\E$"}
{"rule":"DOPPELTE_SATZZEICHEN","sentence":"^\\Q… und wie ging die Geschichte aus?.\\E$"}
{"rule":"DOPPELTE_SATZZEICHEN","sentence":"^\\QWie geht es weiter?.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Assoziativität] Für alle Elemente \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q und \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gilt: \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Neutrales Element] Es gibt genau ein Element \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, sodass für alle \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gilt: \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Inverse Elemente] Für alle \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gibt es genau ein Element \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, sodass \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Abgeschlossenheit unter der Gruppenverknüpfung] Für alle Elemente \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist auch \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Abgeschlossenheit unter Inversenbildung] Für alle Elemente \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist auch \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q in \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Gruppenstruktur von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q] Es ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q eine Abelsche Gruppe.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Assoziativität der Multiplikation] Für alle Elemente \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q und \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gilt: \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Neutrales Element der Multiplikation] Es gibt genau ein Element \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, sodass für alle \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gilt: \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"DE_CASE","sentence":"^\\QVorlesung 2 Ein Ring \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q heißt Schiefkörper, wenn \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q nicht der Nullring ist und alle Elemente außer der \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q invertierbar sind, wenn also \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gilt.\\E$"}
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QDie Menge \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist ein Unterring, aber kein Unterkörper von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Minimaler Grad] Zuerst betrachten wir nur solche Polynome, deren Grad minimal ist unter allen nicht-konstanten Polynomen, die \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q als Nullstelle haben.\\E$"}
{"rule":"DE_SENTENCE_WHITESPACE","sentence":"^\\QVorlesung 3 3-1 und 3-2.\\E$"}
{"rule":"KOMMA_ZWISCHEN_HAUPT_UND_NEBENSATZ","sentence":"^\\QDann bildet die Menge \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist algebraisch über \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q einen Unterkörper von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, genannt der algebraische Abschluss von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q im Oberkörper \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q 3-6\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QErklärung: die Definition der Radikalerweiterung sagt also, dass \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q die \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q-te Wurzel eines Elements aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, dass \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q die \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q-te Wurzel eines Elements aus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, etc. Nach Korollar \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q können wir schreiben \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QAus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q und \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q folgt \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QEs sei \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ein kommutativer Ring und \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q und \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q seien Elemente.\\E$"}
{"rule":"DE_CASE","sentence":"^\\QIn der Literatur findet man statt „faktoriell“ manchmal auch die Adjektive ZPE (= Zerlegung in Primelemente ist Eindeutig) oder UFD (= Unique Factorization Domain).\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QIn der Literatur findet man statt „faktoriell“ manchmal auch die Adjektive ZPE (= Zerlegung in Primelemente ist Eindeutig) oder UFD (= Unique Factorization Domain).\\E$"}
{"rule":"DE_SENTENCE_WHITESPACE","sentence":"^\\QVorlesung 6\\E$"}
{"rule":"UPPERCASE_SENTENCE_START","sentence":"^\\QggT und kgV.\\E$"}
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QEs ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q genau dann, wenn für alle \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gilt, dass \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist.\\E$"}
{"rule":"KLEINSCHREIBUNG_KEIN_NAME","sentence":"^\\QWenn Sie bei mir die Vorlesung „Lineare Algebra“ gehört haben, dann wird Ihnen die folgende Definition sehr vertraut vorkommen.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Anwenden eines Ringhomomorphismus auf die Koeffizienten:] Ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ein Ringhomomorphismus, dann ist auch \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ein Ringmorphismus.\\E$"}
{"rule":"DE_CASE","sentence":"^\\QSetze \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q [Substitutionsmorphismus] Es sei ein Element \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gegeben.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Anwenden eines Ringhomomorphismus auf die Koeffizienten] Ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ein Ringhomomorphismus, dann ist auch \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ein Ringmorphismus.\\E$"}
{"rule":"KLEINSCHREIBUNG_KEIN_NAME","sentence":"^\\QIch verzichte deshalb im Folgenden sehr oft auf Beweise und behaupte, dass „alles genau so geht, wie in der Linearen Algebra“.\\E$"}
{"rule":"KLEINSCHREIBUNG_KEIN_NAME","sentence":"^\\QStellen Sie sicher, dass sie sich noch ausreichend gut an die Vorlesung „Lineare Algebra“ erinnern.\\E$"}
{"rule":"KLEINSCHREIBUNG_KEIN_NAME","sentence":"^\\QGenau wie die Quotientenvektorräume der Linearen Algebra sind Restklassenringe durch folgende universelle Eigenschaft definiert.\\E$"}
{"rule":"DE_SUBJECT_VERB_AGREEMENT","sentence":"^\\QEin Restklassenring oder Quotientenring ist ein kommutativer Ring \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q mit Eins zusammen mit einem Ringmorphismus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, sodass \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist und so, dass die folgende universelle Eigenschaft gilt: ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ein weiterer Ringmorphismus mit \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, dann gibt es genau einen Ringmorphismus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, sodass das folgende Diagramm kommutiert, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"KLEINSCHREIBUNG_KEIN_NAME","sentence":"^\\QErinnerung an die Lineare Algebra: Quotient nach Äquivalenzrelation = \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q = Menge der Äquivalenzklassen\\E$"}
{"rule":"KLEINSCHREIBUNG_KEIN_NAME","sentence":"^\\QDer folgende Satz folgt wie in der Linearen Algebra aus der universellen Eigenschaft.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Wie sieht der Kern von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q aus?] Ein Polynom \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist offenbar genau dann im von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q Kern, wenn \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist.\\E$"}
{"rule":"KLEINSCHREIBUNG_KEIN_NAME","sentence":"^\\QFür den Ring \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q haben wir die Antwort in der Vorlesung „Lineare Algebra“ kennengelernt.\\E$"}
{"rule":"DE_CASE","sentence":"^\\QDer Chinesische Restsatz.\\E$"}
{"rule":"DE_CASE","sentence":"^\\QDer Chinesische Restsatz ist langweilig, darf aber in keiner Vorlesung fehlen und kommt auch in den allermeisten Klausuren und Prüfungen vor.\\E$"}
{"rule":"DE_CASE","sentence":"^\\QWenn \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q sind, dann ist diese notwendige Bedingung automatisch erfüllt, und der Chinesische Restsatz sagt, dass das Gleichungssystem dann auch lösbar ist.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QDann ist der kanonische Ringhomomorphismus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\QAdd.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\Qund Mult.\\E$"}
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QDer Körper der algebraischen Zahlen, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist ein algebraischer Abschluss \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"PLURAL_APOSTROPH","sentence":"^\\QIn einem normalen Jahr würde mithilfe von Zorn's Lemma zeigen, dass diese naive Idee tatsächlich trägt.\\E$"}
{"rule":"PLURAL_APOSTROPH","sentence":"^\\QZorn's Lemma = eine Variante des Auswahlaxioms\\E$"}
{"rule":"DOPPELTE_SATZZEICHEN","sentence":"^\\QWorum geht es in diesem Teil der Vorlesung?.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QEin wichtiges Problem der Algebra(klausur/prüfung) ist es, zu einem gegebenen Körper \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q und zu einem gegebenen Polynom \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q den Zerfällungskörper zu bestimmen.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QWir erhalten also einen Gruppenmorphismus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q-isomorphismen \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\QPermutationen der Menge \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QWenn alles 100%ig korrekt sein sollte, müsste ich an dieser könnte den Polynomring ausführlich mithilfe einer universellen Eigenschaft definieren.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QWenn alles 100%ig korrekt sein sollte, müsste ich an dieser Stelle den Polynomring ausführlich mithilfe einer universellen Eigenschaft definieren.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QDie Sätze klären auch noch einmal, warum SAGE eckige Klammern verwendet und den Körper „\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q adjungiert \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q“ mit QQ[sqrt(5)] bezeichnet.\\E$"}
{"rule":"KOMMA_ZWISCHEN_HAUPT_UND_NEBENSATZ","sentence":"^\\QFür beliebige Körpererweiterungen \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q und beliebige Teilmengen \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist die Äquivalenz \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q alle \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q sind algebraisch ganz falsch.\\E$"}
{"rule":"DOPPELTES_AUSRUFEZEICHEN","sentence":"^\\QFalsch!!\\E$"}
{"rule":"DE_CASE","sentence":"^\\QDann ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q Ist mir zu langweilig.\\E$"}
{"rule":"DE_CASE","sentence":"^\\QDann gilt nach dem Chinesischen Restsatz, Satz \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QFür alle Tupel \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q von paarweise verschiedene Primzahlen und alle Tupel \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gilt \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"DE_CASE","sentence":"^\\QFür jede Zahl \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gilt die Gleichung \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q Die Aussage über \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist trivial.\\E$"}
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QAußerdem sind linke und rechte Seite von Gleichung \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q normiert.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QPrimzahlen der Form \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q heißen Fermatsche PrimzahlenIm August 1640 vermutete Fermat, dass alle Zahlen dieser Form (die später nach ihm benannt wurden) Primzahlen seien.\\E$"}
{"rule":"DOPPELTE_SATZZEICHEN","sentence":"^\\Q?.\\E$"}
{"rule":"DOPPELTE_SATZZEICHEN","sentence":"^\\QWorum geht es?.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QHatten Sie sich gewundert, warum SAGE eckige Klammern verwendet und den Körper „\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q adjungiert \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q“ mit QQ[sqrt(5)] bezeichnet?\\E$"}
{"rule":"DOPPELTE_SATZZEICHEN","sentence":"^\\QWohin geht die Reise?.\\E$"}
{"rule":"UPPERCASE_SENTENCE_START","sentence":"^\\Qund Mult.\\E$"}
{"rule":"UPPERCASE_SENTENCE_START","sentence":"^\\Qquadratfrei = kein Primteiler tritt doppelt auf\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\Q\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.p.-Gruppen und \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.p.-Sylowuntergruppen.\\E$"}
{"rule":"DE_CASE","sentence":"^\\QAlso ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\QSatz \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q Mit den gleichen Voraussetzungen wie in Satz \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gilt: wenn \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q den Index \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q teilt, dann ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"KLEINSCHREIBUNG_KEIN_NAME","sentence":"^\\QDie Antwort kennen Sie wahrscheinlich aus der Vorlesung „Lineare Algebra II“, wo man diese Frage im Zusammenhang mit der Konstruktion von Jordan-Basen diskutiert.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Ordnung 24:] Dies muss die ganze Gruppe \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q sein.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Ordnung 12:] Die Menge \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q der geraden Permutationen, also der Kern der Signums-Abbildung, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, ist eine Untergruppe von Ordnung 12.\\E$"}
{"rule":"LEERZEICHEN_HINTER_DOPPELPUNKT","sentence":"^\\Q[Ordnung 12:] Die Menge \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q der geraden Permutationen, also der Kern der Signums-Abbildung, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, ist eine Untergruppe von Ordnung 12.\\E$"}
{"rule":"LEERZEICHEN_HINTER_DOPPELPUNKT","sentence":"^\\Q[Ordnung 24:] Dies muss die ganze Gruppe \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q sein.\\E$"}
{"rule":"LEERZEICHEN_HINTER_DOPPELPUNKT","sentence":"^\\Q[Ordnung 8:] Dies müssen die 2-Sylowuntergruppen sein.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Ordnung 8:] Dies müssen die 2-Sylowuntergruppen sein.\\E$"}
{"rule":"LEERZEICHEN_HINTER_DOPPELPUNKT","sentence":"^\\Q[Ordnung 6:] Es ist im Moment unklar, ob eine solche Untergruppe existiert.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Ordnung 6:] Es ist im Moment unklar, ob eine solche Untergruppe existiert.\\E$"}
{"rule":"LEERZEICHEN_HINTER_DOPPELPUNKT","sentence":"^\\Q[Ordnung 4:] Jedes Element der Ordnung 4 liefert eine zyklische Untergruppe der Ordnung 4.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Ordnung 4:] Jedes Element der Ordnung 4 liefert eine zyklische Untergruppe der Ordnung 4.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QPartition Repräsentant Geometrische Anschauung Ordnung Anzahl der Elemente in der Konjugationsklasse abcd () Identität 1 1 aabc (12) \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q 2 4 2=6 aabb (12)(34) \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q 2 6/2 = 3 aaab (123) \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q 3 4· 2 = 8 aaaa (1234) \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q 4 3· 2 = 6 Konjugationsklassen in \\E(?:Dummy|Ina|Jimmy-)[0-9]+$"}
{"rule":"LEERZEICHEN_RECHENZEICHEN","sentence":"^\\QPartition Repräsentant Geometrische Anschauung Ordnung Anzahl der Elemente in der Konjugationsklasse abcd () Identität 1 1 aabc (12) \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q 2 4 2=6 aabb (12)(34) \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q 2 6/2 = 3 aaab (123) \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q 3 4· 2 = 8 aaaa (1234) \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q 4 3· 2 = 6 Konjugationsklassen in \\E(?:Dummy|Ina|Jimmy-)[0-9]+$"}
{"rule":"LEERZEICHEN_HINTER_DOPPELPUNKT","sentence":"^\\Q[Ordnung 3:] Dies müssen die 3-Sylowuntergruppen von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q sein.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q[Ordnung 3:] Dies müssen die 3-Sylowuntergruppen von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q sein.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QDer Satz von Gauß über die Konstruierbarkeit des regulären \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.n.-Ecks.\\E$"}
{"rule":"KOMMA_ZWISCHEN_HAUPT_UND_NEBENSATZ_2","sentence":"^\\QDann schreibe \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q falls \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q quadratischer Rest modulo \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q falls \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q quadratischer Nichtrest modulo \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q falls \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ein Vielfaches von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QDas Buch \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q nennt 196 unterschiedliche, publizierte Beweise; die Autorenliste ist ein Who-is-Who der Mathematik seit Gauß und Euler.\\E$"}
{"rule":"DE_CASE","sentence":"^\\Q\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q Behauptung \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q Die Zahl \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist ungerade.\\E$"}
{"rule":"DOPPELTE_SATZZEICHEN","sentence":"^\\QWas ist in dieser Vorlesung eigentlich passiert?.\\E$"}
{"rule":"DE_CASE","sentence":"^\\QIch hatte oben geschrieben „[Der Hauptsatz der Galoistheorie] reduziert die Frage nach Zwischenkörpern auf ein gruppentheoretisches Problem“.\\E$"}
{"rule":"UPPERCASE_SENTENCE_START","sentence":"^\\Qfür alle \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}
{"rule":"UNPAIRED_BRACKETS","sentence":"^\\Q“Restklassengruppen” oder “Gruppenquotienten” kennen wir schon lange.\\E$"}
{"rule":"DE_SUBJECT_VERB_AGREEMENT","sentence":"^\\QEine Restklassengruppe oder Gruppenquotient ist eine Gruppe \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q zusammen mit einem Gruppenmorphismus \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, sodass \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q ist und so, dass folgende universelle Eigenschaft gilt.\\E$"}
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QDie Untergruppen von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q sind leicht zu bestimmen.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\Q\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q (lateinisch Leonhardus Eulerus; * 15. April 1707 in Basel; † 7. Septemberjul./ 18. September 1783greg.\\E$"}
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QDie Gruppe der \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Qten Einheitswurzeln ist Gruppe der Drehungen des regulären \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q-Ecks.\\E$"}
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QDie vollständige Symmetriegruppe des \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q-Ecks enthält neben Drehungen noch Spiegelungen.\\E$"}
{"rule":"GERMAN_WORD_REPEAT_BEGINNING_RULE","sentence":"^\\QDie Gruppe der \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.ten Einheitswurzeln ist Gruppe der Drehungen des regulären \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q-Ecks.\\E$"}
{"rule":"UNPAIRED_BRACKETS","sentence":"^\\QNach Satz \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q (“Satz von Lagrange”) ist die Ordnung von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, also die Größe der von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q erzeugten Untergruppe, ein Teiler von \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q.\\E$"}