Semiring (original) (raw)
Ein Halbring ist in der Mathematik die Verallgemeinerung der algebraischen Struktur eines Ringes, in der die Addition nicht mehr eine kommutative Gruppe, sondern nur noch eine kommutative Halbgruppe sein muss. Halbringe werden ebenso mit nicht kommutativer Addition sowie mit (absorbierender) und/oder definiert, die Definitionen in der Literatur sind nicht einheitlich.
| Property | Value |
|---|---|
| dbo:abstract | Polookruh je v abstraktní algebře označení pro algebraickou strukturu podobnou okruhu, ve které ovšem nemusí pro všechny prvky existovat opačný prvek vzhledem ke sčítání. Jedná se o strukturu s dvěma binárními operacemi, která je vzhledem ke sčítání komutativním monoidem, vzhledem k násobení monoidem, pro operace platí distributivita a násobením nulovým prvkem vzniká nula. Komutativním polookruhem se rozumí polookruh, kde platí komutativita pro násobení. Definice polookruhu jako takového není zcela ustálená a za polookruh se někdy považuje i algebraická struktura, ve které není neutrální prvek vůči násobení ani vůči sčítání, tedy struktura se sčítáním a násobením, která je vzhledem ke sčítání , vzhledem k násobení pologrupou a pro operace platí distributivita. (cs) Ein Halbring ist in der Mathematik die Verallgemeinerung der algebraischen Struktur eines Ringes, in der die Addition nicht mehr eine kommutative Gruppe, sondern nur noch eine kommutative Halbgruppe sein muss. Halbringe werden ebenso mit nicht kommutativer Addition sowie mit (absorbierender) und/oder definiert, die Definitionen in der Literatur sind nicht einheitlich. (de) En mathématiques, un demi-anneau, ou semi-anneau, est une structure algébrique qui a les propriétés suivantes : * constitue un monoïde commutatif ; * forme un monoïde ; * est distributif par rapport à + ; * 0 est absorbant pour le produit, autrement dit: pour tout . Ces propriétés sont proches de celles d'un anneau, la différence étant qu'il n'y a pas nécessairement d'inverses pour l’addition dans un demi-anneau. Un demi-anneau est commutatif quand son produit est commutatif ; il est idempotent quand son addition est idempotente. Parfois on distingue les demi-anneaux et les demi-anneaux unifères : dans ce cas, la structure multiplicative n'est qu'un demi-groupe, donc ne possède pas nécessairement un élément neutre. En général, on demande aussi que . Un demi-anneau qui ne possède pas nécessairement un élément neutre pour sa multiplication est parfois appelé hémi-anneau (hemiring en anglais). Contrairement à ce qui se passe pour les anneaux, on ne peut démontrer que 0 est un élément absorbant à partir des autres axiomes. (fr) En álgebra, un semianillo es una estructura algebraica más general que un anillo. (es) In abstract algebra, a semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse. The term rig is also used occasionally—this originated as a joke, suggesting that rigs are rings without negative elements, similar to using rng to mean a ring without a multiplicative identity. Tropical semirings are an active area of research, linking algebraic varieties with piecewise linear structures. (en) Dalam aljabar abstrak, semigelanggang adalah struktur aljabar dengan gelanggang tanpa persyaratan setiap elemen menggunakan aditif invers. adalah bidang penelitian aktif, yang menghubungkan dengan struktur . (in) Un semianello è una struttura algebrica formata da un insieme munito di due operazioni binarie, dette somma e prodotto e denotate rispettivamente con e , le quali verifichino le seguenti proprietà: 1. * Somma e prodotto sono operazioni associative: si ha cioè e per ogni terna di elementi di ; 2. * Esiste un (unico) elemento neutro per la somma, indicato con . Ciò significa che comunque si scelga in , vale ; 3. * Il prodotto è distributivo rispetto alla somma, vale a dire e per ogni scelta di , e in . 4. * Per ogni in , . Si noti che la prima proprietà dice esattamente che e sono semigruppi, mentre la seconda proprietà specifica più completamente che è anche un monoide. (it) 추상대수학에서 반환(半環, 영어: semiring, rig)은 환과 유사하지만 덧셈의 역원이 존재하지 않는 대수 구조이다. 즉, 덧셈에 대하여 가환 모노이드를, 곱셈에 대하여 모노이드를 이루며, 분배 법칙이 성립하는 대수 구조이다. (ko) Een halfring of ook semiring is een ring, maar zonder de eis dat elk element een tegengestelde moet hebben voor de optelbewerking. Een halfring is dus een verzameling R, waarop twee bewerkingen, een optelbewerking + en een vermenigvuldigingsbewerking x gedefinieerd zijn, die aan een aantal eisen voldoen.Elke ring is dus ook een halfring. Een voorbeeld van een halfring is de verzameling N van de natuurlijke getallen met de gewone optelling + en vermenigvuldiging x. De betekenis van de halfring is, dat er stellingen over bewezen kunnen worden, die dan voor alle halfringen gelden. (nl) Półpierścień – struktura algebraiczna podobna do pierścienia, która jednak nie musi być grupą względem dodawania. Oznacza to, że elementy półpierścienia nie muszą mieć elementu przeciwnego do siebie. (pl) 抽象代数学において、半環（はんかん、英: semi-ring）とは環に類似した代数的構造で、環の公理から加法的逆元の存在を除いたようなもののことである。負元 (negative) の無い環 (ring) ということから rig という用語もしばしば用いられる。 (ja) Полукольцо — общеалгебраическая структура, похожая на кольцо, но без требования существования противоположного по сложению элемента. (ru) В абстрактній алгебрі напівкільце — алгебрична структура, схожа на кільце, але без вимоги існування оберненого елемента щодо операції додавання. (uk) 在抽象代数中，半环是类似于环但没有加法逆元的代数结构。偶尔使用术语 rig - 这起源于一个笑话，rig 是没有 negative 元素的 ring。 (zh) |
| dbo:wikiPageExternalLink | https://archive.org/details/appliedcombinato0000loth https://eudml.org/doc/115127 http://www.hpl.hp.com/techreports/96/HPL-BRIMS-96-24.pdf http://www.cl.cam.ac.uk/~sd601/papers/semirings.pdf http://cermics.enpc.fr/~cohen-g/SED/book-online.html |
| dbo:wikiPageID | 371468 (xsd:integer) |
| dbo:wikiPageLength | 34260 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1114363801 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Cartesian_product dbr:Endomorphism_ring dbr:Binary_relation dbr:Algebra_(ring_theory) dbr:Algebraic_structure dbr:Regular_expression dbr:Rng_(algebra) dbr:Index_set dbr:Inner_model dbr:0_(number) dbc:Ring_theory dbr:Commutative dbr:Commutative_monoid dbr:Matrix_(mathematics) dbr:Matrix_multiplication dbr:Measure_theory dbr:Order_of_operations dbr:C-semiring dbr:Quantale dbr:Empty_relation dbr:Empty_string dbr:Endomorphism dbr:François_Baccelli dbr:Function_composition dbr:Geometric_series dbr:Monoid dbr:Multiset dbr:Coproduct dbr:Ordinal_arithmetic dbr:Andrew_Viterbi dbr:Shortest_path dbr:String_concatenation dbr:Combinatorial_class dbr:Commutative_ring dbr:Composition_of_relations dbr:Dense_set dbr:Functor dbr:Ideal_(ring_theory) dbr:Identity_element dbr:Identity_matrix dbr:Matrix_addition dbr:Matrix_semiring dbr:Viterbi_algorithm dbc:Algebraic_structures dbr:Category_of_sets dbr:Transitive_closure dbr:Disjoint_sets dbr:Distributive_category dbr:Distributive_lattice dbr:Distributive_property dbr:Log_semiring dbr:Semigroup dbr:Additive_inverse dbr:Algebraic_variety dbr:Dynamic_programming dbr:Cardinal_number dbr:Floyd–Warshall_algorithm dbr:Formal_language dbr:Performance_evaluation dbr:Product_(category_theory) dbr:Group_(mathematics) dbr:Interval_(mathematics) dbr:Jan_Łukasiewicz dbr:Zero_morphism dbr:Ring_(algebra) dbr:Abelian_group dbr:Abstract_algebra dbr:John_Horton_Conway dbr:Least-upper-bound_property dbr:Binary_operation dbr:Hidden_Markov_model dbr:Topos dbr:Identity_relation dbr:Reflexive_closure dbr:Disjoint_union dbr:Boolean_algebra_(structure) dbr:Boolean_ring dbr:Piecewise_linear_manifold dbr:Polynomial dbr:Positional_notation dbr:Square_matrices dbr:Free_monoid dbr:Free_object dbr:Continuous_monoid dbr:Idempotent dbr:Infinity dbr:Kleene_algebra dbr:Natural_number dbr:Ordinal_number dbr:Category_of_small_categories dbr:Category_theory dbr:Rational_number dbr:Real_number dbr:Set_(mathematics) dbr:Wojciech_Szpankowski dbr:Kleene_star dbr:Multi-valued_logic dbr:Near-semiring dbr:Extended_natural_numbers dbr:Complete_monoid dbr:Skew_lattice dbr:Two-element_Boolean_algebra dbr:Finitary dbr:Gesine_Reinert dbr:Sophie_Schbath dbr:Partial_order dbr:Annihilating_element dbr:Zero_matrix dbr:Tropical_semiring dbr:Valérie_Berthé dbr:Distributive_law dbr:Naturally_ordered_semiring dbr:Least_element dbr:Probabilistic_parsing dbr:Commutative_group dbr:Extended_real dbr:Trivial_ring |
| dbp:wikiPageUsesTemplate | dbt:Algebraic_structures dbt:Anchor dbt:Annotated_link dbt:Authority_control dbt:Citation dbt:Citation_needed dbt:Cite_book dbt:Cite_journal dbt:Doi dbt:Efn dbt:Em dbt:Noteslist dbt:Reflist dbt:Ring_theory_sidebar dbt:See_also dbt:Sfn dbt:Short_description dbt:Sup dbt:Visible_anchor dbt:Unordered_list dbt:Isbn dbt:MathSciNet dbt:Zwj dbt:Durrett_Probability_Theory_and_Examples_5th_Edition |
| dcterms:subject | dbc:Ring_theory dbc:Algebraic_structures |
| gold:hypernym | dbr:Structure |
| rdf:type | owl:Thing yago:Artifact100021939 yago:Object100002684 yago:PhysicalEntity100001930 yago:YagoGeoEntity yago:YagoPermanentlyLocatedEntity dbo:Building yago:Structure104341686 yago:Whole100003553 yago:WikicatAlgebraicStructures |
| rdfs:comment | Ein Halbring ist in der Mathematik die Verallgemeinerung der algebraischen Struktur eines Ringes, in der die Addition nicht mehr eine kommutative Gruppe, sondern nur noch eine kommutative Halbgruppe sein muss. Halbringe werden ebenso mit nicht kommutativer Addition sowie mit (absorbierender) und/oder definiert, die Definitionen in der Literatur sind nicht einheitlich. (de) En álgebra, un semianillo es una estructura algebraica más general que un anillo. (es) In abstract algebra, a semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse. The term rig is also used occasionally—this originated as a joke, suggesting that rigs are rings without negative elements, similar to using rng to mean a ring without a multiplicative identity. Tropical semirings are an active area of research, linking algebraic varieties with piecewise linear structures. (en) Dalam aljabar abstrak, semigelanggang adalah struktur aljabar dengan gelanggang tanpa persyaratan setiap elemen menggunakan aditif invers. adalah bidang penelitian aktif, yang menghubungkan dengan struktur . (in) 추상대수학에서 반환(半環, 영어: semiring, rig)은 환과 유사하지만 덧셈의 역원이 존재하지 않는 대수 구조이다. 즉, 덧셈에 대하여 가환 모노이드를, 곱셈에 대하여 모노이드를 이루며, 분배 법칙이 성립하는 대수 구조이다. (ko) Een halfring of ook semiring is een ring, maar zonder de eis dat elk element een tegengestelde moet hebben voor de optelbewerking. Een halfring is dus een verzameling R, waarop twee bewerkingen, een optelbewerking + en een vermenigvuldigingsbewerking x gedefinieerd zijn, die aan een aantal eisen voldoen.Elke ring is dus ook een halfring. Een voorbeeld van een halfring is de verzameling N van de natuurlijke getallen met de gewone optelling + en vermenigvuldiging x. De betekenis van de halfring is, dat er stellingen over bewezen kunnen worden, die dan voor alle halfringen gelden. (nl) Półpierścień – struktura algebraiczna podobna do pierścienia, która jednak nie musi być grupą względem dodawania. Oznacza to, że elementy półpierścienia nie muszą mieć elementu przeciwnego do siebie. (pl) 抽象代数学において、半環（はんかん、英: semi-ring）とは環に類似した代数的構造で、環の公理から加法的逆元の存在を除いたようなもののことである。負元 (negative) の無い環 (ring) ということから rig という用語もしばしば用いられる。 (ja) Полукольцо — общеалгебраическая структура, похожая на кольцо, но без требования существования противоположного по сложению элемента. (ru) В абстрактній алгебрі напівкільце — алгебрична структура, схожа на кільце, але без вимоги існування оберненого елемента щодо операції додавання. (uk) 在抽象代数中，半环是类似于环但没有加法逆元的代数结构。偶尔使用术语 rig - 这起源于一个笑话，rig 是没有 negative 元素的 ring。 (zh) Polookruh je v abstraktní algebře označení pro algebraickou strukturu podobnou okruhu, ve které ovšem nemusí pro všechny prvky existovat opačný prvek vzhledem ke sčítání. Jedná se o strukturu s dvěma binárními operacemi, která je vzhledem ke sčítání komutativním monoidem, vzhledem k násobení monoidem, pro operace platí distributivita a násobením nulovým prvkem vzniká nula. Komutativním polookruhem se rozumí polookruh, kde platí komutativita pro násobení. (cs) En mathématiques, un demi-anneau, ou semi-anneau, est une structure algébrique qui a les propriétés suivantes : * constitue un monoïde commutatif ; * forme un monoïde ; * est distributif par rapport à + ; * 0 est absorbant pour le produit, autrement dit: pour tout . Ces propriétés sont proches de celles d'un anneau, la différence étant qu'il n'y a pas nécessairement d'inverses pour l’addition dans un demi-anneau. Contrairement à ce qui se passe pour les anneaux, on ne peut démontrer que 0 est un élément absorbant à partir des autres axiomes. (fr) Un semianello è una struttura algebrica formata da un insieme munito di due operazioni binarie, dette somma e prodotto e denotate rispettivamente con e , le quali verifichino le seguenti proprietà: 1. * Somma e prodotto sono operazioni associative: si ha cioè e per ogni terna di elementi di ; 2. * Esiste un (unico) elemento neutro per la somma, indicato con . Ciò significa che comunque si scelga in , vale ; 3. * Il prodotto è distributivo rispetto alla somma, vale a dire e per ogni scelta di , e in . 4. * Per ogni in , . (it) |
| rdfs:label | Polookruh (cs) Halbring (algebraische Struktur) (de) Semianillo (es) Semigelanggang (in) Demi-anneau (fr) Semianello (it) 반환 (수학) (ko) Halfring (nl) 半環 (ja) Półpierścień (pl) Semiring (en) Полукольцо (ru) Напівкільце (uk) 半环 (zh) |
| rdfs:seeAlso | dbr:Ring_of_sets |
| owl:sameAs | freebase:Semiring yago-res:Semiring http://d-nb.info/gnd/4123331-1 wikidata:Semiring dbpedia-cs:Semiring dbpedia-de:Semiring dbpedia-es:Semiring dbpedia-fi:Semiring dbpedia-fr:Semiring dbpedia-id:Semiring dbpedia-it:Semiring dbpedia-ja:Semiring dbpedia-ko:Semiring dbpedia-ms:Semiring dbpedia-nl:Semiring dbpedia-pl:Semiring dbpedia-pms:Semiring dbpedia-ru:Semiring dbpedia-uk:Semiring dbpedia-vi:Semiring dbpedia-zh:Semiring https://global.dbpedia.org/id/MDH9 |
| prov:wasDerivedFrom | wikipedia-en:Semiring?oldid=1114363801&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Semiring |
| is dbo:wikiPageRedirects of | dbr:Probability_semiring dbr:Commutative_semiring dbr:Complete_semiring dbr:Complete_star_semiring dbr:Continuous_semiring dbr:Conway_semiring dbr:C-semiring dbr:Star_semiring dbr:Starsemiring dbr:Idempotent_semiring dbr:Rig_(mathematics) dbr:Iteration_semiring dbr:Boolean_semiring dbr:Semi-ring_of_sets dbr:Dioid dbr:Rig_(algebra) dbr:Constraint-based_semiring dbr:Idempotent_semi-ring dbr:Semi-ring dbr:Semi_ring dbr:Semialgebra dbr:Semirings dbr:Hemiring dbr:Pre-semiring |
| is dbo:wikiPageWikiLink of | dbr:List_of_abstract_algebra_topics dbr:Module_(mathematics) dbr:Monus dbr:Random_measure dbr:Probability_semiring dbr:Binomial_theorem dbr:Peano_axioms dbr:Rng_(algebra) dbr:Valuation_(algebra) dbr:Dörte_Haftendorn dbr:Lie_algebroid dbr:Lie_groupoid dbr:Positive_real_numbers dbr:Pseudo-ring dbr:Weighted_automaton dbr:0.999... dbr:Commutative_semiring dbr:Complete_semiring dbr:Complete_star_semiring dbr:Concatenation dbr:Continuous_semiring dbr:Conway_semiring dbr:C-semiring dbr:Zero_element dbr:Quantale dbr:Glossary_of_ring_theory dbr:GraphBLAS dbr:Monoid dbr:Content_(measure_theory) dbr:Wheel_theory dbr:Ordinal_arithmetic dbr:Logarithm dbr:Shortest_path_problem dbr:Star_semiring dbr:Starsemiring dbr:Combinatorial_class dbr:Idempotent_semiring dbr:Krivine–Stengle_Positivstellensatz dbr:Matrix_ring dbr:Distributive_property dbr:Fuzzy_measure_theory dbr:Log_semiring dbr:Logical_matrix dbr:Non-standard_model_of_arithmetic dbr:Field_with_one_element dbr:Finite-state_transducer dbr:Formal_power_series dbr:Nonstandard_analysis dbr:Graded_Lie_algebra dbr:Graded_ring dbr:Product_of_group_subsets dbr:Quasiregular_element dbr:Rig_(mathematics) dbr:Ring_(mathematics) dbr:Inverse_element dbr:Iteration_semiring dbr:Boolean_semiring dbr:Absorbing_element dbr:Tropical_geometry dbr:Boolean_ring dbr:Positional_notation dbr:Field_of_fractions dbr:Free_object dbr:Green's_relations dbr:Kleene_algebra dbr:Natural_number dbr:Semi-ring_of_sets dbr:Unambiguous_finite_automaton dbr:Near-ring dbr:Near-semiring dbr:Extended_natural_numbers dbr:External_(mathematics) dbr:Dioid dbr:Two-element_Boolean_algebra dbr:Finite-state_machine dbr:Rational_series dbr:Semifield dbr:Semimodule dbr:Noncommutative_signal-flow_graph dbr:Outline_of_algebraic_structures dbr:Zero-product_property dbr:Tropical_cryptography dbr:Tropical_semiring dbr:Rig_(algebra) dbr:Constraint-based_semiring dbr:Idempotent_semi-ring dbr:Semi-ring dbr:Semi_ring dbr:Semialgebra dbr:Semirings dbr:Hemiring dbr:Pre-semiring |
| is foaf:primaryTopic of | wikipedia-en:Semiring |