在定理环境的编号中添加字母。本地，然后恢复为默认行为？

Question 1

一个简单的解决方案：

subequations复制来自的定义amsmath
...但要小心确保你修改\the<counter>了受影响的每个环境 ^$

\documentclass[12pt]{book}
%\usepackage[estonian]{babel}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage{mathtools}
\usepackage{tocloft}
\usepackage{titlesec}
\usepackage{hyperref}

\declaretheorem[numberwithin=chapter,style=plain,name=Theorem,refname={theorem, theorems},Refname={Theorem,Theorems}]{myTheorem} %defining myTheorem
\declaretheorem[name=Lemma,refname={lemma, lemmas},Refname={Lemma,Lemmas},sibling=myTheorem]{myLemma} %defining myLemma
\declaretheorem[name=Sentence,refname={sentence,sentences},Refname={Sentence,Sentences},sibling=myTheorem] {mySentence} %defining mySentence

\makeatletter
\newcounter{myparentThm}
\newenvironment{mysubtheorems}{%
        \refstepcounter{myTheorem}
        \protected@edef\themyparentThm{\themyTheorem}%
        \setcounter{myparentThm}{\value{myTheorem}}%
        \setcounter{myTheorem}{0}%
        \def\themyTheorem{\themyparentThm\alph{myTheorem}}%
        \def\themyLemma{\themyparentThm\alph{myLemma}}%
        \def\themySentence{\themyparentThm\alph{mySentence}}%
        \ignorespaces
}{%
  \setcounter{myTheorem}{\value{myparentThm}}%
  \ignorespacesafterend
}
\makeatother

\begin{document}

\listoftheorems

\chapter{Test Chapter}
This is an example part of a large document.
\section{Test Section}
\subsection{Test Subsection}

Some statements, normal behaviour.
\begin{myTheorem}
    This numbering is OK.
\end{myTheorem}
\begin{mySentence}
    This numbering is OK.
\end{mySentence}

\begin{mysubtheorems}
Now three similar statements. How to make local change in numbering for the following three instances of different environments?
\begin{myLemma}
    This should be 1.3a.
\end{myLemma}

\begin{myLemma}
    This should be 1.3b.
\end{myLemma}

\begin{mySentence}\label{test:sentence}
    This should be 1.3c.
\end{mySentence}
\end{mysubtheorems}

Again different statements. Back to normal behaviour.
\begin{myTheorem}
    This should be 1.4.
\end{myTheorem}

\begin{myLemma}
    This should be 1.5.
\end{myLemma}

\end{document}

输出：

^$这与 OP 观察到的原因有关梅迪纳的回答不起作用。简单地说amsthm，当您定义兄弟计数器时，您得到的是直接使用兄弟计数器的定理。更准确地说，当您调用时\newtheorem{theorem}[equation]{Theorem}，中的代码\begin{theorem}将\refstepcounter{equation}，并且在打印定理编号时它将调用\theequation。

这被改变了thmtools（我认为cleveref），因为 cref 类型的命令通过将计数器名称映射到其表示来工作。在的情况下，当您使用兄弟计数器时，例如，在代码中thmtools使用的定义，您将得到myLemma

myLemma具有与相同的底层计数寄存器的计数器myTheorem，
各种支持宏包括 \themyLemma设置为等于\themyTheoremvia \let，
以及myLemma使用计数器myLemma和格式访问其数字的环境\themyLemma。

因此，为了让事情正常运作thmtools，你需要

代码来交换计数器值（这与 Medina 在链接答案中的内容基本相同，也是所做的subequations）
对于每个受影响的环境，替换相应的代码\the<env>（因为它们是通过复制的\let，所以更改一个并不会改变所有）。

注意：我还没有完全测试与 hyperref 的兼容性。如果存在问题，可以通过\theH<env>适当更改定义来解决；请参阅手册的附录 A.3.2 thmtools。

Answer