Difference between revisions of "Gauss semi-group"
(LaTeX) |
m (link) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | A commutative semi-group with unit satisfying the cancellation law | + | A commutative [[semi-group]] with unit (i.e. [[Monoid]]) satisfying the [[cancellation law]] and in which any non-invertible element $a$ is decomposable into a product of irreducible elements (i.e. non-invertible elements that cannot be represented as a non-trivial product of non-invertible factors); moreover, for each two such decompositions |
$$ | $$ | ||
a = b_1 \cdots b_k\ \ \text{and}\ \ a = c_1 \cdots c_l | a = b_1 \cdots b_k\ \ \text{and}\ \ a = c_1 \cdots c_l | ||
| Line 8: | Line 8: | ||
$$ | $$ | ||
| − | where $\epsilon_1,\ldots,\epsilon_k$ are invertible elements. Typical examples of Gauss semi-groups include the multiplicative semi-group of non-zero integers, and that of non-zero polynomials in one unknown over a field. Any two elements of a Gauss semi-group have a highest common divisor. | + | where $\epsilon_1,\ldots,\epsilon_k$ are invertible elements. |
| + | |||
| + | Typical examples of Gauss semi-groups include the multiplicative semi-group of non-zero integers, and that of non-zero polynomials in one unknown over a field. Any two elements of a Gauss semi-group have a highest common divisor. | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> A.G. Kurosh, "Lectures on general algebra" , Chelsea (1963) (Translated from Russian)</TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> A.G. Kurosh, "Lectures on general algebra" , Chelsea (1963) (Translated from Russian)</TD></TR></table> | ||
| + | |||
| + | [[Category:Group theory and generalizations]] | ||
Latest revision as of 16:17, 21 December 2014
A commutative semi-group with unit (i.e. Monoid) satisfying the cancellation law and in which any non-invertible element $a$ is decomposable into a product of irreducible elements (i.e. non-invertible elements that cannot be represented as a non-trivial product of non-invertible factors); moreover, for each two such decompositions $$ a = b_1 \cdots b_k\ \ \text{and}\ \ a = c_1 \cdots c_l $$ one has $k=l$ and, possibly after renumbering the factors, also $$ b_1 = c_1 \epsilon_1,\ \ldots,\ b_k = c_k \epsilon_k $$
where $\epsilon_1,\ldots,\epsilon_k$ are invertible elements.
Typical examples of Gauss semi-groups include the multiplicative semi-group of non-zero integers, and that of non-zero polynomials in one unknown over a field. Any two elements of a Gauss semi-group have a highest common divisor.
References
| [1] | A.G. Kurosh, "Lectures on general algebra" , Chelsea (1963) (Translated from Russian) |
Gauss semi-group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Gauss_semi-group&oldid=33585