Equidecomposable magmas
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866913444961189888 |
|---|---|
| author | Cardó, Carles |
| author_facet | Cardó, Carles |
| contents | A magma is called equidecomposable when the operation is injective, or, in other words, if $x+y=x'+y'$ implies that $x=x'$ and $y=y'$. A magma is free iff it is equidecomposable and graded, hence the notion of equidecomposability is very related to the notion of freeness although it is not sufficient. We study main properties of such magmas. In particular, an alternative characterization of freeness, which uses a weaker condition, is proved. We show how equidecomposable magmas can be split into two disjoint submagmas, one of which is free. Certain tranformations on finite presentations permit to obtain a reduced form which allows us identify all the finite presented equidecomposable magmas up to isomorphisms. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_17698 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Equidecomposable magmas Cardó, Carles Rings and Algebras 08A02, 08A30, 08B20, 08C15, 20N99 A magma is called equidecomposable when the operation is injective, or, in other words, if $x+y=x'+y'$ implies that $x=x'$ and $y=y'$. A magma is free iff it is equidecomposable and graded, hence the notion of equidecomposability is very related to the notion of freeness although it is not sufficient. We study main properties of such magmas. In particular, an alternative characterization of freeness, which uses a weaker condition, is proved. We show how equidecomposable magmas can be split into two disjoint submagmas, one of which is free. Certain tranformations on finite presentations permit to obtain a reduced form which allows us identify all the finite presented equidecomposable magmas up to isomorphisms. |
| title | Equidecomposable magmas |
| topic | Rings and Algebras 08A02, 08A30, 08B20, 08C15, 20N99 |
| url | https://arxiv.org/abs/2407.17698 |