innerhalb einer Gleichung aufschlüsseln

Question

Ich versuche, „itemize“ in einer Gleichung zu verwenden, erhalte jedoch eine Reihe von Fehlern

\documentclass[12pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\begin{document}
\begin{equation}
\begin{itemize}
\item V_{p}=\Biggl\{F\in\Phi\hspace{2mm}\Bigg|\begin{cases}
p^2\nmid \text{disc}(F)\hspace{1mm} \text{if}\hspace{1mm} p\neq 2
\item\text{disc}(F)\equiv 1\pmod 4 \vee \text{disc}(F)\equiv 8\vee 12 
\pmod{16} \hspace{1mm}\text{if} \hspace{1mm}p=2\Biggr\}
\end{itemize}
\end{equation}
\end{document}

also habe ich es stattdessen mit Begin Cases versucht, bin aber mit dem Aussehen nicht wirklich zufrieden

\documentclass[12pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\begin{document}
\begin{equation}
V_{p}=\Biggl\{F\in\Phi\hspace{2mm}\Bigg|\begin{cases}
p^2\nmid \text{disc}(F)\hspace{1mm} \text{if}\hspace{1mm} p\neq
2\\\text{disc}(F)\equiv 1\pmod 4 \vee \text{disc}(F)\equiv 8\vee 12 
\pmod{16} \hspace{1mm}\text{if} \hspace{1mm}p=2\Biggr\}
\end{cases}
\end{equation}
\end{document}

und die Ausgabe

Ich hätte gerne etwas Ähnliches, aber ohne gezwungen zu sein, „Fälle beginnen“ zu verwenden, dachte ich, dass die Einzelauflistung nach der vertikalen Linie besser aussehen würde. Hat jemand eine Idee, wie man diese Gleichung hübscher gestalten kann?

Vielen Dank im Voraus

Answer 1

Eine Lösung mit kleinen Aufzählungszeichen und Ihr Code wurde mithilfe der Pakete und vereinfacht nccmath. relsizeIch brakethabe die Definition des \SetBefehls dank David Carlisle gepatcht, um den Abstand der Klammern zu verbessern. Beachten Sie, dass „discr“ eigentlich ein mathematischer Operator ist und ich ihn als solchen deklariere, um bessere horizontale Abstände zu erhalten.

    \documentclass[11pt, a4paper]{article}
    \usepackage[utf8]{inputenc}
    \usepackage[T1]{fontenc}
    \usepackage[textwidth = 15cm]{geometry} 
    \usepackage{lmodern, amssymb}
    \usepackage{mathtools}
    \usepackage{braket, relsize, nccmath} 
    \renewcommand\Set[1]{%
    \csname Set \endcsname{\mskip-\medmuskip#1\mskip-\medmuskip}}%
    \DeclareMathOperator{\disc}{disc}
     \pagestyle{empty}

    \begin{document}

    \begin{equation}
    V_{p}=\Set{%
    F\in\Phi | %
    \begin{medsize}\begin{array}{@{\mathsmaller{\bullet}\enspace}l@{}}
    p^2 \nmid \disc(F) \quad \text{if}\enspace p \neq 2\\[1ex]
    \disc(F)\equiv 1\pmod 4 \vee \disc(F)\equiv 8\vee 12
    \pmod{16} \quad\text{if} \enspace p =2
    \end{array}\end{medsize}
    }%
    \end{equation}

     \end{document}

Answer 2

Ich würde lange Mengenbeschreibungen vermeiden; geben Sie einfach zwei Definitionen für p ungleich 2 und für 2 an:

\documentclass[12pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}

\DeclareMathOperator{\disc}{disc}

\begin{document}

We say that $\disc(F)$ is \emph{quozzy} if $\disc{F}\equiv1\pmod{4}$ or
$\disc(F)\equiv8\pmod{16}$ or $\disc(F)\equiv12\pmod{16}$; we shall use
this notion mostly for $p=2$; then we set
\begin{equation}
\begin{aligned}
V_{p}&=\{\, F\in\Phi : p^2\nmid \disc(F)\,\}\quad(p\neq 2) \\
V_{2}&=\{\, F\in\Phi : \text{$\disc(F)$ is quozzy}\,\}
\end{aligned}
\end{equation}

\end{document}

Wählen Sie ein besseres Wort als „quozzy“.