将枚举命令与定理对齐

Question

我想将列表中的所有字母与单词 Theorem 对齐。

\documentclass[12pt,a4paper]{article}
\usepackage[latin1]{inputenc}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{enumitem}
\newtheorem{thm}{Theorem}[section]
\begin{thm}
Let $G$ be a group and $H$ be a pronormal subgroup of $G$. Then  the following statements hold.
\begin{enumerate}[label=(\alph*)]
\item If $H \leq K \leq G$, then $H$ prn $K$.
\item If $H \leq K \unlhd G$, then $G = N_G(H)K$, hence the Frattini argument applies to pronormal subgroups.
\item If $K \unlhd G$, then $HK$ prn $G$. Furthermore, $HK/K$ prn $G/K$. 
\end{thm} 

Answer 1

使用中的更多键enumitem。我还做了一些修复：由于未知原因，\lhd、\unlhd和被声明为二进制运算符号；我添加了“is pronormal in”命令。\rhd\unrhd\prn

\documentclass[12pt,a4paper]{article}

\usepackage{amssymb}
\usepackage{enumitem}

\newtheorem{thm}{Theorem}[section]
\newcommand{\prn}{\mathrel{\mathrm{prn}}}

% fix the wrong setting for some commands
\DeclareMathSymbol{\lhd}  {\mathrel}{AMSa}{"43}
\DeclareMathSymbol{\unlhd}{\mathrel}{AMSa}{"45}
\DeclareMathSymbol{\rhd}  {\mathrel}{AMSa}{"42}
\DeclareMathSymbol{\unrhd}{\mathrel}{AMSa}{"44}


\begin{document}

\begin{thm}
Let $G$ be a group and $H$ be a pronormal subgroup of $G$. Then  the following statements hold.
\begin{enumerate}[label=\textup{(\alph*)},leftmargin=*,align=left]
\item If $H \leq K \leq G$, then $H \prn K$.
\item If $H \leq K \unlhd G$, then $G = N_G(H)K$, hence the Frattini argument applies to pronormal subgroups.
\item If $K \unlhd G$, then $HK \prn G$. Furthermore, $HK/K \prn G/K$.
\end{enumerate}
\end{thm}

\end{document}

\textup如果您喜欢斜体，请删除。