Center is bound-word: Difference between revisions

From Groupprops
(Created page with '{{sdf subgroup property satisfaction| sdf = center| property = bound-word subgroup}} ==Statement== The center of a group is a bound-word subgroup: it can be express…')
 
 
Line 5: Line 5:
==Statement==
==Statement==


The [[center]] of a [[group]] is a [[bound-word subgroup]]: it can be expressed as the union of sets of solutions to systems of equations in the group, where all other variables are existentially or universally quantified.
The [[center]] of a [[group]] is a [[bound-word subgroup]].


==Related facts==
==Related facts==

Latest revision as of 22:30, 9 October 2009

This article gives the statement, and possibly proof, of the fact that for any group, the subgroup obtained by applying a given subgroup-defining function (i.e., center) always satisfies a particular subgroup property (i.e., bound-word subgroup)}
View subgroup property satisfactions for subgroup-defining functions View subgroup property dissatisfactions for subgroup-defining functions

Statement

The center of a group is a bound-word subgroup.

Related facts