From c8cd642ae6f1dd3455d2ddc0f535508aedc07aaf Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Thu, 30 Mar 2023 17:51:41 -0400
Subject: [PATCH] mjo-algebra: add \Stab command for stabilizer subgroups.

---
 examples.tex    | 3 ++-
 mjo-algebra.tex | 4 ++++
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/examples.tex b/examples.tex
index 740dd02..d8e2c32 100644
--- a/examples.tex
+++ b/examples.tex
@@ -39,7 +39,8 @@
 
     If $R$ has a multiplicative identity (that is, a unit) element,
     then that element is denoted by $\unit{R}$. Its additive identity
-    element is $\zero{R}$.
+    element is $\zero{R}$. The stabilizer (or isotropy)
+    subgroup of $G$ that fixes $x$ is $\Stab{G}{x}$.
   \end{section}
 
   \begin{section}{Algorithm}
diff --git a/mjo-algebra.tex b/mjo-algebra.tex
index 25b96d9..1ab8880 100644
--- a/mjo-algebra.tex
+++ b/mjo-algebra.tex
@@ -90,4 +90,8 @@
 \fi
 
 
+% The stabilizer subgroup of its first argument that fixes the point
+% given by its second argument.
+\newcommand*{\Stab}[2]{ #1_{#2} }
+
 \fi
-- 
2.43.2