Help:Subgroup metaproperty satisfaction lookup
This page gives information on finding statements and proofs of metaproperty satisfactions and dissatisfactions by subgroups. The two reference categories are:
Formulating and looking up a subgroup metaproperty satisfaction/dissatisfaction
The idea behind formulation
The following statements, though they do not mention subgroup properties or metaproperties, are examples of subgroup metaproperty satisfactions:
- If are groups, and is a normal subgroup of , then is a normal subgroup of .
- If are groups, such that is a characteristic subgroup of and is a characteristic subgroup of , then is a characteristic subgroup of .
- If and are subgroups of a group such that is normal in , then is normal in .
Here are some examples of subgroup metaproperty dissatisfactions:
- It can happen that are groups such that is normal in and is normal in , but is not normal in .
- If are groups, such that is a characteristic subgroup of , it is not necessary that be a characteristic subgroup of .
There are two main steps to identifying a subgroup metaproperty satisfaction/dissatisfaction:
- First, identify the subgroup property that the statement is about.
- Second, identify the statement that is being made about the subgroup property, and abstract it into a subgroup metaproperty.
For the second step, it is important to know the names (as used in this wiki) for the important subgroup metaproperties. (In most cases, there is no standard terminology, though the names used on the wiki are by and large self-explanatory). Here are some examples:
- If with normal in , then is normal in : The subgroup property here is normal subgroup and the subgroup metaproperty here is the intermediate subgroup condition. A subgroup property satisfies the intermediate subgroup condition if whenever satisfies property in , also satisfies property in every intermediate subgroup . The proof of the statement is found at Normality satisfies intermediate subgroup condition.
- If with characteristic in , characteristic in , then is characteristic in : The subgroup property here is characteristic subgroup and the metaproperty is called being a transitive subgroup property. The proof of the statement is found at characteristicity is transitive.
Hunting for metaproperty satisfactions starting from the property page
If hunting for metaproperty (dis)satisfactions about the property of being a normal subgroup, the first place you should go is the page on normal subgroup. There are now two approaches:
- Go to the metaproperties section. If you know what the metaproperty is called, go right to that subsection; otherwise, read through all the subsections. Each subsection is about a particular metaproperty, and states whether the subgroup property satisfies that metaproperty. In many cases, a link to a separate page with more explanation and proof is provided.
- At the top of the page, in the box stating that the property is a subgroup property, there may be a link under VIEW RELATED to subgroup metaproperty satisfactions and subgroup metaproperty dissatisfactions. These links provide automatically generated lists.
Sources of confusion
Not every statement about a subgroup property qualifies as a metaproperty satisfaction or dissatisfaction. Here are some other kinds of statements:
- Subgroup property implications/non-implications: These assert that one subgroup property implies/does not imply the other. Lists are available at Category:Subgroup property implications and Category:Subgroup property non-implications. Further information: Subgroup property implication lookup
- Subgroup property operator computations: These make statements about more complex relations between multiple subgroup properties. The category Category:Subgroup property operator computations has lists of different kinds of operator computations. For instance, there's Category:Composition computations, which involves statements like: If are groups such that has property in and has property in , then has property in .
Going through all these lists may be painful. Luckily, there's a one-stop method for viewing all facts related to a subgroup property. This is usually linked to from a box at the top, which describes the type of term. A line in the box says: VIEW: Definitions built on this | Facts about this ...
The list of facts about any term can also be obtained directly by going to:
For instance, all facts related to normal subgroup can be accessed by:
More sophisticated searches are possible as well. Further information: Help:Semantic search