Difference between revisions of "Fee subgroup"

From Hyperoperations Wiki
Jump to navigation Jump to search
(Created page with "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(g) = a(h)\) implies \(a(fg) = a(fh)\) and...")
 
 
(5 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
A fee subgroup \(H\) of a linearly ordered subgroup \(G\)is a subgroup such that \(g^{-1}Hg \subset H\) for all \(g > 1\).
 
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(g) = a(h)\) implies \(a(fg) = a(fh)\) and \(a(gf) = a(hf)\) for all \(f > 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<ref name="a">https://googology.fandom.com/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:Natsugoh/%E5%AE%9F%E5%A4%89%E6%95%B0%E9%96%A2%E6%95%B0%E3%82%92%E5%86%99%E5%83%8F%E3%81%AE%E5%8F%8D%E5%BE%A9%E3%81%8B%E5%90%A6%E3%81%8B%E5%88%A4%E5%AE%9A</ref>.
+
\(P(a) = \{g^{-1}h \mid a(g) = a(h)\}\) is a fee subgroup<ref name="a">https://tetrationforum.org/showthread.php?tid=1812&pid=12309#pid12309</ref>.
  
A fee subgroup is not always normal <ref name="b">https://googology.fandom.com/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:Natsugoh/%E3%83%95%E3%82%A3%E3%83%BC%E3%81%AF%E5%BF%85%E3%81%9A%E3%81%97%E3%82%82%E6%AD%A3%E8%A6%8F%E3%81%A7%E3%81%AA%E3%81%84</ref>.
+
A fee subgroup is not always normal <ref name="b">https://googology.fandom.com/wiki/User_blog:Natsugoh/A_fee_subgroup_is_not_necessarily_normal</ref>.
  
 
<references />
 
<references />

Latest revision as of 14:50, 8 November 2025

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].