Source author record

Maurice Chiodo

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.LO math.HO

Catalog footprint

Research overview

7works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

A Hippocratic Oath for mathematicians? Mapping the landscape of ethics in mathematics

While the consequences of mathematically-based software, algorithms and strategies have become ever wider and better appreciated, ethical reflection on mathematics has remained primitive. We review the somewhat disconnected suggestions of commentators in recent decades with a view to piecing together a coherent approach to ethics in mathematics. Calls for a Hippocratic Oath for mathematicians are examined and it is concluded that while lessons can be learned from the medical profession, the relation of mathematicians to those affected by their work is significantly different. There is something to be learned also from the codes of conduct of cognate but professionalised quantitative disciplines such as engineering and accountancy, as well as from legal principles bearing on professional work. We conclude with recommendations that professional societies in mathematics should sponsor an (international) code of ethics, institutional mission statements for mathematicians and syllabuses for incorporation into mathematics degrees.

preprint2016arXiv

$X$ -torsion and universal groups

For a set $X\subseteq \mathbb{N}$ , we define the $X$ -torsion of a group $G$ to be all elements $g\in G$ with $g^{n}=e$ for some $n\in X$ . With $X$ recursively enumerable, we give two independent proofs (group-theoretic, and model-theoretic) that there exists a universal finitely presented $X$ -torsion-free group; one which contains all finitely presented $X$ -torsion-free groups. We also show that, if $X$ is recursively enumerable, then the set of finite presentations of $X$ -torsion-free groups is $Π_{2}^{0}$ -complete in Kleene's arithmetic hierarchy.

preprint2016arXiv

On torsion in finitely presented groups

We give a uniform construction that, on input of a recursive presentation $P$ of a group, outputs a recursive presentation of a torsion-free group, isomorphic to $P$ whenever $P$ is itself torsion-free. We use this to re-obtain a known result, the existence of a universal finitely presented torsion-free group; one into which all finitely presented torsion-free groups embed. We apply our techniques to show that recognising embeddability of finitely presented groups is $Π^{0}_{2}$ -hard, $Σ^{0}_{2}$ -hard, and lies in $Σ^{0}_{3}$ . We also show that the sets of orders of torsion elements of finitely presented groups are precisely the $Σ^{0}_{2}$ sets which are closed under taking factors.

preprint2016arXiv

The subgroup identification problem for finitely presented groups

We introduce the subgroup identification problem, and show that there is a finitely presented group G for which it is unsolvable, and that it is uniformly solvable in the class of finitely presented locally Hopfian groups. This is done as an investigation into the difference between strong and weak effective coherence for finitely presented groups.

preprint2016arXiv

Transversals as generating sets in finitely generated groups

We explore transversals of finite index subgroups of finitely generated groups. We show that when $H$ is a subgroup of a rank $n$ group $G$ and $H$ has index at least $n$ in $G$ then we can construct a left transversal for $H$ which contains a generating set of size $n$ for $G$ , and that the construction is algorithmic when $G$ is finitely presented. We also show that, in the case where $G$ has rank $n \leq3$ , there is a simultaneous left-right transversal for $H$ which contains a generating set of size $n$ for $G$ . We finish by showing that if $H$ is a subgroup of a rank $n$ group $G$ with index less than $3 \cdot 2^{n-1}$ , and $H$ contains no primitive elements of $G$ , then $H$ is normal in $G$ and $G/H \cong C_{2}^{n}$ .

preprint2013arXiv

Coset intersection graphs for groups

Let H, K be subgroups of G. We investigate the intersection properties of left and right cosets of these subgroups.

preprint2010arXiv

Finding non-trivial elements and splittings in groups

It is well known that the triviality problem for finitely presented groups is unsolvable; we ask the question of whether there exists a general procedure to produce a non-trivial element from a finite presentation of a non-trivial group. If not, then this would resolve an open problem by J. Wiegold: `Is every finitely generated perfect group the normal closure of one element?' We prove a weakened version of our question: there is no general procedure to pick a non-trivial generator from a finite presentation of a non-trivial group. We also show there is neither a general procedure to decompose a finite presentation of a non-trivial free product into two non-trivial finitely presented factors, nor one to construct an embedding from one finitely presented group into another in which it embeds. We apply our results to show that a construction by Stallings on splitting groups with more than one end can never be made algorithmic, nor can the process of splitting connect sums of non-simply connected closed 4-manifolds.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Maurice Chiodo

Research overview

Is this your work?

7 publications

A Hippocratic Oath for mathematicians? Mapping the landscape of ethics in mathematics

$X$ -torsion and universal groups

On torsion in finitely presented groups

The subgroup identification problem for finitely presented groups

Transversals as generating sets in finitely generated groups

Coset intersection graphs for groups

Finding non-trivial elements and splittings in groups

See the researcher in context

Building this map preview

Maurice Chiodo

Research overview

Is this your work?

7 publications

A Hippocratic Oath for mathematicians? Mapping the landscape of ethics in mathematics

XXX-torsion and universal groups

On torsion in finitely presented groups

The subgroup identification problem for finitely presented groups

Transversals as generating sets in finitely generated groups

Coset intersection graphs for groups

Finding non-trivial elements and splittings in groups

See the researcher in context

Building this map preview

$X$ -torsion and universal groups