Интересно, возможно ли для LaTeX (или пакета amsthm) изменить стиль нумерации теоремы, леммы, следствия, определения, ... на что-то вроде леммы 1B5 вместо леммы 1.2.5. (избегая всех знаков препинания). Это был бы 5-й результат в разделе B главы 1, например. Если это осуществимо, то лемма 1B5b могла бы быть частью b леммы 1B5. Это более компактный стиль, чем лемма 1.2.5.2. Моя неудачная попытка добиться этого приведена ниже.
\documentclass[12pt,leqno]{book}
\usepackage{amsthm}
\usepackage{enumitem}
\renewcommand{\thechapter}{\arabic{chapter}}
\renewcommand{\thesection}{\thechapter\Alph{section}}
\renewcommand{\thesection}{\arabic{chapter}\Alph{section}}
\renewcommand{\thesubsection}{\thesection\arabic{subsection}}
\renewcommand{\thesubsubsection}{\thesubsection.\Alph{subsubsection}}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\begin{document}
\chapter{Modules}
\section{Definition $R$-modules}
Let $R$ be a ring.
\begin{theorem} First Theorem\end{theorem}
\begin{lemma}\label{2}
Second Lemma
\begin{enumerate}[label={\rm (\alph*)}]
\item part a
\item part b\label{b}
\end{enumerate}
\end{lemma}
It follows from Lemma~\ref{2}\ref{b} that \dots.
\section{Examples of $F[t]$-modules}
\begin{proposition} First proposition\end{proposition}
\begin{lemma} Second lemma\end{lemma}
\end{document}
решение1
\documentclass[12pt,leqno]{book}
\usepackage{amsthm}
\usepackage{enumitem}
\renewcommand{\thechapter}{\arabic{chapter}}
\renewcommand{\thesection}{\thechapter\Alph{section}}
\renewcommand{\thesection}{\arabic{chapter}\Alph{section}}
\renewcommand{\thesubsection}{\thesection\arabic{subsection}}
\renewcommand{\thesubsubsection}{\thesubsection.\Alph{subsubsection}}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\renewcommand\thetheorem{\thesection\arabic{theorem}}
\begin{document}
\chapter{Modules}
\section{Definition $R$-modules}
Let $R$ be a ring.
\begin{theorem} First Theorem\end{theorem}
\begin{lemma}\label{2}
Second Lemma
\begin{enumerate}[label={\textup{(\alph*)}},ref=\alph*]
\item part a
\item part b\label{b}
\end{enumerate}
\end{lemma}
It follows from Lemma~\ref{2}\ref{b} that \dots.
\section{Examples of $F[t]$-modules}
\begin{proposition} First proposition\end{proposition}
\begin{lemma} Second lemma\end{lemma}
\end{document}