Open main menu

Groupprops β

Changes

Function restriction-expressible subgroup property

No change in size, 20:43, 6 August 2009
no edit summary
===Main definition===
A [[subgroup property]] <math>p</math> is said to be '''function-restriction-expresssible''' if there exist function properties <math>a</math> and <math>b</math> such that <math>p</math> has a restriction formal expression <math>a</math> &rarr; <math>b</math> with respect to the [[function restriction formalism]]. In other words, a subgroup <math>H</math> satisfies <math>p</math> in a group <math>G</math> if and only if every function in <math>G</math> satisfying property <math>a</math> restricts to a function on <math>H</math> satisfying property <math>b</math>.
==Relation with other metaproperties==
Bureaucrats, emailconfirmed, Administrators
39,119
edits