imported>Aka: /* Eigenschaften */ Satzzeichen

2015-03-18T16:34:45Z

Eigenschaften: Satzzeichen

Neue Seite

'''Nichtkommutative Potenzreihen''' stellen eine Verallgemeinerung der [[formale Potenzreihe|formalen Potenzreihen]] dar, derart dass verschiedene Variablen nicht kommutieren.

== Definition ==
Sei <math>\mathcal{X}</math> eine Menge und <math>W(\mathcal{X})</math> das [[Monoid#Freies Monoid|freie Monoid]] über <math>\mathcal{X}</math>. (Dann ist <math>W(\mathcal{X}) = \{ x_1 \cdots x_n | x_i \in \mathcal{X}, \; n \ge 1 \} \cup \{ 1 \}</math>) Sei <math>R</math> ein Ring. Der nichtkommutative Potenzreihenring über <math>R</math> ist definiert als
: <math> R \langle \langle \mathcal{X} \rangle \rangle := \{ \sum_{x \in W(\mathcal{X})} r_w w | r_w \in R \}\cong \prod_{w \in W(\mathcal{X})} R </math>
Die Addition auf <math> R \langle \langle \mathcal{X} \rangle \rangle </math> wird komponentenweise, die Multiplikation als Faltung
: <math> \sum_w a_w w \cdot \sum_w b_w w := \sum_w (\sum_{uv=w} a_u b_v) w </math>
definiert.

== Eigenschaften ==
* Für endliche Mengen <math>\mathcal{X} = \{ X_1 , \ldots , X_n \} </math> schreibt man <math>R \langle \langle X_1, \ldots, X_n \rangle \rangle </math>.
* <math> R \langle \langle X \rangle \rangle = R [[X]] </math> für eine Variable <math> X </math>
* <math> R \langle \langle \mathcal{X} \rangle \rangle / [R \langle \langle \mathcal{X} \rangle \rangle , R \langle \langle \mathcal{X} \rangle \rangle ] = R [[\mathcal{X}]] </math>

== Siehe auch ==
* [[nichtkommutatives Polynom]]

[[Kategorie:Algebra]]

Nichtkommutative Potenzreihe - Versionsgeschichte

imported>Aka: /* Eigenschaften */ Satzzeichen