--- prefixes: dfn: ref: ["dfn.", "dfns."] title: "Definition" scope: "sec" referenceIndexTemplate: "$$i$$$$s.ref# (%)$$" cl: ref: ["cl.", "cls."] scope: "dfn" referenceIndexTemplate: "$$i$$$$s.ref# (%)$$" sec: captionTemplate: '$$title% $$$$i$$$$titleDelim$$ $$t$$' captionIndexTemplate: '$$s.i%.$$$$ri$$' referenceIndexTemplate: '$$i$$$$s.ref# (%)$$' scope: sec titleDelim: '.' title: Chapter ref: ["chp.", "chps."] sub: title: Section ref: ["sec.", "secs."] sub: title: Paragraph ref: ["par.", "pars."] chapters: false ... # Section 1 {#sec:1} ## Section 1.1 {#sec:11}
A _group_ is a pair $(R,*)$ satisfying: #. [$*$ is a monoid]{#cl:grpmul}
# Section 2 {#sec:2} ## Section 2.1 {#sec:21} ### Section 2.1.1 {#sec:211} ### Section 2.1.2 {#sec:212}
A _ring_ is a triple $(R,+,*)$ satisfying: #. [$+$ is an abelian group]{#cl:addgp} #. [$*$ is a monoid]{#cl:multmon} #. [$*$ distributes over $+$]{#cl:distrib}
# Section 3 - @sec:1 - @sec:11 - @dfn:group - @cl:grpmul --- - @sec:2 - @dfn:ring - @cl:addgp - @Cl:multmon - @Cl:distrib