Large operator

From Groupprops
Revision as of 23:46, 7 May 2008 by Vipul (talk | contribs) (2 revisions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article defines a subgroup property modifier (a unary subgroup property operator) -- viz an operator that takes as input a subgroup property and outputs a subgroup property

View a complete list of subgroup property modifiers OR View a list of all subgroup property operators (possibly with multiple inputs)


Given a subgroup property p, the large operator applied to the property p gives the following subgroup property q. A subgroup H of G satisfes property q in G if given any subgroup K satisfying p in G:

H \cap K is trivial \implies K is trivial


Some important instances of application of the large operator:


Template:Reverse monotone pm

Note that the property of being large with respect to p says something like: for every subgroup with property p. Thus, the more subgroups there are with property p, the harder it is to be p-large. More formally if p \le q, then q-large \implies p-large.