# Infinity-extensible automorphism

From Groupprops

BEWARE!This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

This article defines an automorphism property, viz a property of group automorphisms. Hence, it also defines a function property (property of functions from a group to itself)

View other automorphism properties OR View other function properties

This is a variation of extensible automorphism|Find other variations of extensible automorphism |

## Definition

### Symbol-free definition

An automorphism of a group is said to be **infinity-extensible** if it is -extensible for every ordinal .