Composition-closed subgroup metaproperty: Difference between revisions
No edit summary |
m (2 revisions) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{subgroup | {{subgroup metametaproperty}} | ||
==Definition== | ==Definition== | ||
A [[subgroup metaproperty]] <math>\alpha</math> is termed '''composition-closed''' if whenever [[subgroup property|subgroup properties]] <math>p</math> and <math>q</math> satisfy the metaproperty <math>\alpha</math>, so does the [[composition operator|composition]] <math>p * q</math>. | A [[subgroup metaproperty]] <math>\alpha</math> is termed '''composition-closed''' if whenever [[subgroup property|subgroup properties]] <math>p</math> and <math>q</math> satisfy the metaproperty <math>\alpha</math>, so does the [[composition operator|composition]] <math>p * q</math>. | ||
Latest revision as of 23:19, 7 May 2008
This article defines a subgroup metametaproperty
View a complete list of subgroup metametaproperties
Definition
A subgroup metaproperty is termed composition-closed if whenever subgroup properties and satisfy the metaproperty , so does the composition .