Function restriction expression
This page describes a formal expression, or formalism, that can be used to describe certain subgroup properties.View a complete list of formal expressions for subgroup properties OR View subgroup properties expressible using this formalism
To see function restriction expressions for a number of subgroup properties, and some of the associated metaproperties of these, refer to the function restriction formalism chart
Contents
Definition
Main definition
A function restriction expression is the expression of a subgroup property in terms of two properties of functions (by function here is meant a function from a group to itself). The function restriction formal expression corresponding to function properties and
is denoted as:
meaning that satisfies the property in
if and only if every function satisfying
on
restricts to a function satisfying
in the set corresponding to
. (Note that in particular, every function satisfying property
in
should send
to itself).
The property on the left of the arrow is termed the left side of the function restriction expression, and the property on the right side of the arrow is termed the right side of the function restriction expression.
Related formal expressions
Expressing subgroup properties this way
Subgroup properties that can be expressed
A subgroup property that can be expressed via a function restriction expression is termed a function-restriction-expressible subgroup property. A list of all the subgroup properties that are function-restriction-expressible can be found at: Category:Function-restriction-expressible subgroup properties.
Canonical forms for expressing a given subgroup property
If we are given a function restriction expression , we can do two operations:
- Left tightening: This tries to find the weakest property
such that
. Here,
is the property of being a function from a group
to itself that restricts to a function satisfying property
in every subgroup
satisfying property
in
. The left tightening operation is idempotent, and a function restriction formal expression that arises as a result of left tightening is termed a left tight function restriction expression.
- Right tightening: This tries to find the strongest property
such that
. Here,
is the property of being a function from a group
to itself, such that there exists a group
containing
as a subgroup with property
, and a function satisfying
in
, whose restriction to
is the given function. The right tightening operation is idempotent, and a function restriction expression that arises as a result of right tightening is termed a right tight function restriction expression.
There are some implicit assertions made in the above definitions which are not hard to justify.
If a subgroup property is function-restriction-expressible, then it possesses both a left tight and a right tight function restriction expression, by the above logic. Further, right tightening preserves left tightness, so if we apply both the left and the right tightening operations, we get a property that is both left and right tight. However, it seems that the order in which we apply the left and right tightening operations, could affect the final answer we get.
Notice, however, that to be able to obtain a left tight and/or a right tight function restriction expression, we need to have some function restriction expression to begin with.
Implication relations
Further information: Proving implications using function restriction expressions
If we have two subgroup properties:
and the condition are satisfied (in other words, any function satisfying property
satisfies property
, and any function satisfying property
also satisfies property
.
Then, . In other words, any subgroup satisfying property
also satisfies
.
Composition operator
Composition rule
Let and
be subgroup properties. Then if
, we have:
For full proof, refer: composition rule for function restriction
Corollary for left transiter
Let be a subgroup property. Then, if
,
.
This in particular means that the left transiter for is weaker than
. In fact, a stronger result holds: if
is a right tight restriction formal expression for
(that is,
cannot be strengthened further) then
is precisely the left transiter of
.
This stronger result arises from the transiter master theorem.
An example is where is the property of being normal. Setting
as the property of being an inner automorphism and
as the property of being an automorphism gives a right tight restriction formal expression for
. Hence, the left transiter is the property with both left side and right side being the property of being an automorphism. This is the subgroup property of being characteristic.
Corollary for right transiter
Let be a subgroup property. Then, if
,
.
This in particular means that the right transiter for is weaker than
. In fact, a stronger result holds: if
is a left tight restriction formal expression]] for
, and
, then
is precisely the right transiter of
.
This stronger result arises from the transiter master theorem.
Particular kinds of function restriction expressions
Balanced expression
Further information: Balanced function restriction expression
A function restriction expression is said to be balanced if the left side and the right side are equal. A subgrop property that possesses a balanced function restriction expression is termed a balanced subgroup property. Clearly, any balanced subgroup property must be a t.i. subgroup property.
Interestingly, the transiter master theorem gives us a partial converse: any function-restriction-expressible subgroup property that is also a t.i. subgroup property, is actually balanced. This arises from the fact that it must equal its left transiter (or alternatively, its right transiter).
Invariance expression
An invariance expression is a function restriction expression where the right side is the tautology, or the property of being any function. A subgroup property that possesses an invariance expression is termed an invariance property. Basically an invariance property just means that the subgroups satisfying thep roperty are precisely those ones that are invariant under a certain set of functions.
Invariance properties are strongly intersection-closed as well as closed under unions of ascending chains of subgroups.