PROGRESS UPDATE (May 25, 2021):
I'll keep this as main hub for updates regarding superfunctions trick and superfunction-closed spaces.
I'm making progress on the work on the Jabotinsky-Nixon theory link seems not completely contained in this so I'll post those updates in the Jabotinky-Nixon thread.
I found some interesting trival results about groups that are extremely relevant to invertible superfunction-theory. I save them here for the future.
Now about superfunction closed space I'd like to restrict attention on the special case where the superfunction space is a group, i.e. every function in the space is invertible. No further assumption on the space.
We say that a group is
superfunction-closed if 
that are different from the identity do exists an element 
such that 
.
Remember: in a group, if an element is conjugated with the identity it IS the identity. In fact
implies
We can conclude that a non-trivial group
is supefunction-closed iff it has only two conjugacy classes:
and
(g is a nontrivial element)
G being non-trivial means that exists
s.t.
, i.e. exists a non-trivial element g. In other words this means that G has not less than 2 element.
What I found is that if G is finite and is supefunction closed then it only contains cyclic elements of order two. i.e.
.
That means that the theory of ranks inside finite groups, when restricted to finite groups could finally provide examples for periodic sequences of subfunctions * (e.g. solution
to the Nixon's system of equations
that dates back to the diamond operation thread).
Lets call an element a torsion element if
for some non-zero n. For exemple, every involution is a torsion. The function i(x)=-x is a torsion in the group of bijections
; the function j(x)=1/x is a torsion in the group of bijections
. So torsion elements have only a finite number of different iterates. Torsion free elements have infinite integer iterates.
Also if
is taken infinite and torsion-free, torsion free means that it has not torsion elements except the identity, then we can extend
to a new group
that is superfunction-complete using the
HNN extension, an advanced group theoretic technique (actually Exercise 11.78 in
Rotman's An Introduction to the Theory of Groups) that reminds somehow the procedure of adding layers after layers of new superfuntions like adding ranks going and taking the limit of this process.
Here some bookmarks for future studies:
Embedding Theorems for Groups
[url=https://math.stackexchange.com/questions/773437/infinite-groups-with-only-2-conjugacy-classes?rq=1][/url]
* That statement is not accurate. When G is finite and super-closed then IT HAS ONLY TWO ELEMENTS. So the only periodic chain of subfunctions has lenght 1, i.e. it is a fixed point.
\\<br />
f\,\,\text{is a bijection}\,\,\\<br />
f'(x) > 0\\<br />
\lim_{x\to\infty}f'(x) \ge 1\\<br />
f^{\circ n}(x) \to \infty\\<br />
f^{\circ -n}(x) \to -\infty\\<br />
)
exists. Then there exists a super function operator on 
, call it 
,\\<br />
)
/f(x) = I_{g,f} \ge 1\\<br />
)
)
in which,) = \phi(f(x))\\<br />
\phi\,\,\text{is a bijection}\\<br />
\phi'(x) > 0\\<br />
\lim_{x\to\infty} \phi'(x) \ge 1\\<br />
\phi^{\circ n}(x) \to \infty\\<br />
)
 \to -\infty)
. I think this might be off base even trying to prove it with this much information. So I nearly have a set 
and consequently it encodes nothing about the behaviour at negative infinity. Damn it, so close!
