Fee subgroup

From Hyperoperations Wiki
Revision as of 14:50, 8 November 2025 by Natsugou (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

A fee subgroup \(H\) of a linearly ordered subgroup \(G\)is a subgroup such that \(g^{-1}Hg \subset H\) for all \(g > 1\).

When a map \(a\) defined on a linearly ordered group \(G\) satisfies that \(a(g) = a(h)\) implies \(a(fg) = a(fh)\) for all \(f > 1\), \(P(a) = \{g^{-1}h \mid a(g) = a(h)\}\) is a fee subgroup[1].

A fee subgroup is not always normal [2].