# Complex

### From Online Dictionary of Crystallography

(Difference between revisions)

BrianMcMahon (Talk | contribs) (Added German and Spanish translations (U. Mueller)) |
(Lang (Fr, It)) |
||

Line 1: | Line 1: | ||

- | <font color="red">Komplex</font> (''Ge''). <font color="green">Complejo</font> (''Sp''). | + | <font color="blue">Complexe</font> (''Fr''). <font color="red">Komplex</font> (''Ge''). <font color="black">Complesso</font> (''It''). <font color="green">Complejo</font> (''Sp''). |

==Definition== | ==Definition== | ||

A '''complex''' is a subset obtained from a group by choosing part of its elements in such a way that the closure property of groups is not respected. Therefore, a complex is not a group itself. | A '''complex''' is a subset obtained from a group by choosing part of its elements in such a way that the closure property of groups is not respected. Therefore, a complex is not a group itself. |

## Latest revision as of 16:27, 18 June 2019

Complexe (*Fr*). Komplex (*Ge*). Complesso (*It*). Complejo (*Sp*).

## Definition

A **complex** is a subset obtained from a group by choosing part of its elements in such a way that the closure property of groups is not respected. Therefore, a complex is not a group itself.

A typical example of complexes is that of cosets. In fact, a coset does not contain the identity and therefore it is not a group.

A subgroup is a particular case of complex that obeys the closure property and is a group itself.

## Laws of composition for complexes

There exist two laws of composition for complexes.

**Addition**. The sum of two complexes*K*and*L*consists of all the elements of*K*and*L*combined. The addition of complexes is therefore a union from a set-theoretic viewpoint. It is commutative and associative.**Multiplication**. The product of two complexes*K*and*L*is the complex obtained by formal expansion: {*K*}. It is, in general, non-commutative, but associative and distributive._{i}L_{j}

It is, in general, not permissible to apply the cancelling rule to complexes. This means that from the equation *KL = KM* does **not** follow that *L = M*, unless *K* is a single element.