The Group Properties Wiki (pre-alpha)
TIP: Learn how to better make use of textbook references
ABOUT US: Read our purpose statement and learn what makes us special
ALSO CHECK OUT: Commalg: The Commutative Algebra Wiki
Group metaproperty
From Groupprops
This article is about a general term. A list of important particular cases (instances) is available at Category:Group metaproperties
|
BEWARE! This term is nonstandard and is being used locally within the wiki. For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this | Survey articles about this
Learn more about terminology local to the wiki | view a complete list of such terminology
Definition
A group metaproperty is a map from the collection of all group properties (viz., the group property space) to the two-element set (true, false). Those group properties which get mapped to true are said to have or possess the group metaproperty; those which get mapped to false are said to not have or not possess the group metaproperty.
Examples
An example of a group metaproperty is being quotient-closed. A group property is termed quotient-closed or Q-closed if whenever a group satisfies the properties, so does every quotient of the group. Note that for any group property it either is Q-closed or is not Q-closed.
