C-semiring: Difference between revisions
Content deleted Content added
m WP:CHECKWIKI error fixes + general fixes using AWB (7486) |
WP:DEPROD c-semiring is mentioned at target Tag: New redirect |
||
| (11 intermediate revisions by 9 users not shown) | |||
| Line 1: | Line 1: | ||
#redirect [[Semiring]] |
|||
{{lowercase}} |
|||
In [[abstract algebra]], a '''c-semiring''' (that is, a '''constraint-based [[semiring]]''') is a [[tuple]] <''A'',+,X,'''0''','''1'''> such that: |
|||
<ul> |
|||
<li>''A'' is a set and '''0''', '''1''' are elements of ''A''.</li> |
|||
<li>+ is the additive operation and is a [[commutative]] (i.e., +(''a'',''b'') = +(''b'',''a'')) and [[associative]] (i.e., +(''a'',+(''b'',''c'')) = +(+(''a'',''b''),''c'')) operation such that +(''a'','''0''') = ''a'' = +('''0''',''a'') (i.e., '''0''' is its unit element). |
|||
<li>+ is defined over (possibly infinite) sets of elements of ''A'' as follows: |
|||
<ul> |
|||
<li>for all ''a'' which are elements of ''A'', +({''a''}) = ''a''; </li> |
|||
<li>+(empty set) = '''0''' and +(''A'') = '''1''';</li> |
|||
<li>+(U''A<sub>i</sub>'', ''i'' element of ''S'') = +({+(''A<sub>i</sub>''), ''i'' element of ''S''}) for all sets of indices of ''S'' (flattening property).</li> |
|||
</ul></li> |
|||
<li>X is called the multiplicative operation, is a [[binary function|binary]], [[associative]] and [[commutative]] operation such that '''1''' is its unit element and ''a'' X '''0''' = '''0''' = '''0''' X ''a'' (i.e., '''0''' is its absorbing element); </li> |
|||
<li>X distributes over +.</li> |
|||
</ul> |
|||
{{DEFAULTSORT:C-Semiring}} |
|||
[[Category:Abstract algebra]] |
|||
[[Category:Ring theory]] |
|||
{{algebra-stub}} |
|||
Latest revision as of 14:41, 8 June 2019
Redirect to: