BIBFRAME Work
Title
Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups
Type
- Text
- Monograph
Contribution
Wehrung, Friedrich (author )
Subject
- Algebra (LCSH)
- Ordered algebraic structures (LCSH)
- M12120
- M11086
- MAT002010 (BISACSH)
- PBG
- Group theory (LCSH)
- M1106X
- Measure theory (LCSH)
- Rings (Algebra) (LCSH)
- M11078
- Associative rings (LCSH)
- K-theory (LCSH)
- M11027
- M11124
Language
Classification
- DDC: 512.2
- LCC: QA174-183 (Status: nuba, p)
Content
Summary
Adopting a new universal algebraic approach, this book explores and consolidates the link between Tarski's classical theory of equidecomposability types monoids, abstract measure theory (in the spirit of Hans Dobbertin's work on monoid-valued measures on Boolean algebras) and the nonstable K-theory of rings. This is done via the study of a monoid invariant, defined on Boolean inverse semigroups, called the type monoid. The new techniques contrast with the currently available topological approaches. Many positive results, but also many counterexamples, are provided.
Table of Contents
Chapter 1. Background -- Chapter 2. Partial commutative monoids. - Chapter 3. Boolean inverse semigroups and additive semigroup homorphisms -- Chapter 4. Type monoids and V-measures. - Chapter 5. Type theory of special classes of Boolean inverse semigroups. - Chapter 6. Constructions involving involutary semirings and rings. - Chapter 7. discussion. - Bibliography -- Author Index. - Glossary -- Index.
Authorized Access Point
Wehrung, Friedrich. Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups
Admin Metadata
- Date: 2026-09-11T20:11:58.371605+00:00
- Agent: cbc
- Status: c
- Derived from: 21734221
Admin Metadata
- Date: 2026-09-11
- Cataloger id: Unknown
- Description level: http://id.loc.gov/ontologies/bibframe-2-6-0/
- Description language: eng
- Description authentication: pcc
Alternative Formats
Blue Core Actions
- Load to Marva Marva loads Instances, not Works. Open one of this Work's Instances and load that into Marva instead.
- Load to Sinopia
- Export to Catalog Only Instances can be exported. Open one of this Work's Instances and export that instead.