# 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

thisformalism

*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

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.