Difference between revisions of "Centralizer"
(stub) |
m (correct link) |
||
| Line 5: | Line 5: | ||
If <math>X \subseteq Y</math> are subsets of a magma <math>E</math>, then <math>Y' \subseteq X'</math>. The ''bicentralizer'' <math>X''</math> of <math>X</math> is the centralizer of <math>X'</math>. Evidently, <math>X \subseteq X''</math>. The centralizer of the bicentralizer, <math>X'''</math>, is equal to <math>X'</math>, for <math>X' \subseteq X'''</math>, but <math>X \subseteq X''</math>, so <math>X''' \subseteq X'</math>. | If <math>X \subseteq Y</math> are subsets of a magma <math>E</math>, then <math>Y' \subseteq X'</math>. The ''bicentralizer'' <math>X''</math> of <math>X</math> is the centralizer of <math>X'</math>. Evidently, <math>X \subseteq X''</math>. The centralizer of the bicentralizer, <math>X'''</math>, is equal to <math>X'</math>, for <math>X' \subseteq X'''</math>, but <math>X \subseteq X''</math>, so <math>X''' \subseteq X'</math>. | ||
| − | If the magma <math>E</math> is [[associative]], then the centralizer of <math>X</math> is also the centralizer of the subset of <math>E</math> genererated by <math>X</math>, and the centralizer of <math>X</math> is furthermore an associative sub-magma of <math>E</math>. If <math>E</math> is a [[group]], then the centralizer of <math>X</math> is a [[subgroup]], though not necessarily [[normal subgroup | normal]]. The centralizer of <math>E</math> is also called the ''[[center]]'' of <math>E</math>. | + | If the magma <math>E</math> is [[associative]], then the centralizer of <math>X</math> is also the centralizer of the subset of <math>E</math> genererated by <math>X</math>, and the centralizer of <math>X</math> is furthermore an associative sub-magma of <math>E</math>. If <math>E</math> is a [[group]], then the centralizer of <math>X</math> is a [[subgroup]], though not necessarily [[normal subgroup | normal]]. The centralizer of <math>E</math> is also called the ''[[center (algebra) | center]]'' of <math>E</math>. |
{{stub}} | {{stub}} | ||
Revision as of 11:28, 11 May 2008
A centralizer is part of an algebraic structure.
Specifically, let 
be a magma, and let 
be a subset of . The centralizer 
of is the set of elements of which commute with every element of .
If 
are subsets of a magma , then 
. The bicentralizer 
of is the centralizer of . Evidently, 
. The centralizer of the bicentralizer, 
, is equal to , for 
, but , so 
.
If the magma is associative, then the centralizer of is also the centralizer of the subset of genererated by , and the centralizer of is furthermore an associative sub-magma of . If is a group, then the centralizer of is a subgroup, though not necessarily normal. The centralizer of is also called the center of .
This article is a stub. Help us out by expanding it.
