summaryrefslogtreecommitdiff
path: root/library/algebra
diff options
context:
space:
mode:
Diffstat (limited to 'library/algebra')
-rw-r--r--library/algebra/group.tex2
-rw-r--r--library/algebra/monoid.tex2
2 files changed, 2 insertions, 2 deletions
diff --git a/library/algebra/group.tex b/library/algebra/group.tex
index 7de1051..449bacb 100644
--- a/library/algebra/group.tex
+++ b/library/algebra/group.tex
@@ -1,5 +1,5 @@
\import{algebra/monoid.tex}
-\section{Group}
+\section{Group}\label{form_sec_group}
\begin{struct}\label{group}
A group $G$ is a monoid such that
diff --git a/library/algebra/monoid.tex b/library/algebra/monoid.tex
index 06fcb50..3249a93 100644
--- a/library/algebra/monoid.tex
+++ b/library/algebra/monoid.tex
@@ -1,5 +1,5 @@
\import{algebra/semigroup.tex}
-\section{Monoid}
+\section{Monoid}\label{form_sec_monoid}
\begin{struct}\label{monoid}
A monoid $A$ is a semigroup equipped with