Elliptic subgroup: Difference between revisions
m (1 revision) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{subgroup property}} | {{subgroup property}} | ||
{{finitarily tautological subgroup property}} | |||
==Definition== | ==Definition== | ||
Revision as of 19:31, 9 March 2009
This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]
This subgroup property is a finitarily tautological subgroup property: when the ambient group is a finite group, the property is satisfied.
View other such subgroup properties
Definition
Symbol-free definition
A subgroup of a group is termed elliptic if it forms an elliptic pair of subgroups with every subgroup of the group.
Definition with symbols
A subgroup of a group is termed elliptic if for any subgroup of , form an elliptic pair of subgroups. In other words, there exists an such that:
where each is written times.