Group for logicians: Difference between revisions
m (Group for logicists moved to Group for logicians) |
No edit summary |
||
| Line 1: | Line 1: | ||
==Definition== | ==Definition== | ||
For | For logicians, in the theory of definability and stability for groups, a '''group''' is an abstract [[group]] along with possibly other functions and relations that may not be directly definable from the group operation. If there are no additional operations, logicians, call the group a '''pure group'''. | ||
==Importance== | ==Importance== | ||
One of the reasons why | One of the reasons why logicians prefer to consider groups with (possibly) additional structure is that when we take a subgroup of a given group (even if it is pure) we do get some additional structure on the subgroup arising from its embedding in the bigger group. Thus, even if we start only with pure groups, we do end up with the more general notion of group with additional structure. | ||
Latest revision as of 21:25, 25 February 2011
Definition
For logicians, in the theory of definability and stability for groups, a group is an abstract group along with possibly other functions and relations that may not be directly definable from the group operation. If there are no additional operations, logicians, call the group a pure group.
Importance
One of the reasons why logicians prefer to consider groups with (possibly) additional structure is that when we take a subgroup of a given group (even if it is pure) we do get some additional structure on the subgroup arising from its embedding in the bigger group. Thus, even if we start only with pure groups, we do end up with the more general notion of group with additional structure.