Source author record

Magdaleen S. Marais

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

ResearcherUnclaimed source record

math.AC math.AG math.RA

Catalog footprint

Research overview

5works

3topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

The Classification of Real Singularities Using SINGULAR. Part II: The Structure of the Equivalence Classes of the Unimodal Singularities

In the classification of real singularities by Arnold et al. (1985), normal forms, as representatives of equivalence classes under right equivalence, are not always uniquely determined. We describe the complete structure of the equivalence classes of the unimodal real singularities of corank 2. In other words, we explicitly answer the question which normal forms of different type are equivalent, and how a normal form can be transformed within the same equivalence class by changing the value of the parameter. This provides new theoretical insights into these singularities and has important consequences for their algorithmic classification.

preprint2015arXiv

Mora's holy grail: Algorithms for computing in localizations at prime ideals

This article discusses a computational treatment of the localization A_L of an affine coordinate ring A at a prime ideal L and its associated graded ring Gr_a(A_L) with the means of standard basis techniques. Building on Mora's work, we present alternative proofs on two of the central statements and expand on the applications mentioned by Mora: resolutions of ideals, systems of parameters and Hilbert polynomials, as well as dimension and regularity of A_L. All algorithms are implemented in the library graal.lib for the computer algebra system Singular.

preprint2015arXiv

The Classification of Real Singularities Using SINGULAR. Part I: Splitting Lemma and Simple Singularities

We present algorithms to classify isolated hypersurface singularities over the real numbers according to the classification by V.I. Arnold (Arnold et al., 1985). This first part covers the splitting lemma and the simple singularities; a second and a third part will be devoted to the unimodal singularities up to corank 2. All algorithms are implemented in the SINGULAR library realclassify.lib (Marais and Steenpass, 2012).

preprint2011arXiv

On the centralizer of an $I$ -matrix in $M_2(R/I)$ , $I$ a principal ideal and $R$ a UFD

The concept of an $I$ -matrix in the full $2\times 2$ matrix ring $M_2(R/I)$ , where $R$ is an arbitrary UFD and $I$ is a nonzero ideal in $R$ , was introduced in \cite{mar}. Moreover a concrete description of the centralizer of an $I$ -matrix $\hat B$ in $M_2(R/I)$ as the sum of two subrings $\mathcal S_1$ and $\mathcal S_2$ of $M_2(R/I)$ was also given, where $\mathcal S_1$ is the image (under the natural epimorphism from $M_2(R)$ to $M_2(R/I)$ ) of the centralizer in $M_2(R)$ of a pre-image of $\hat B$ , and where the entries in $\mathcal S_2$ are intersections of certain annihilators of elements arising from the entries of $\hat B$ . In the present paper, we obtain results for the case when $I$ is a principal ideal $<k>$ , $k\in R$ a nonzero nonunit. Mainly we solve two problems. Firstly we find necessary and sufficient conditions for when $\mathcal S_1\subseteq\mathcal S_2$ , for when $\mathcal S_2\subseteq \mathcal S_1$ and for when $\mathcal S_1=\mathcal S_2$ . Secondly we provide a formula for the number of elements in the centralizer of $\hat B$ for the case when $R/<k>$ is finite.

preprint2011arXiv

The centralizer of an $I$ -matrix in $M_2(R/I)$ , $R$ a UFD

The concept of an $I$ -matrix in the full $2\times 2$ matrix ring $M_2(R/I)$ , where $R$ is an arbitrary UFD and $I$ is a nonzero ideal in $R$ , is introduced. We obtain a concrete description of the centralizer of an $I$ -matrix $\hat B$ in $M_2(R/I)$ as the sum of two subrings $\mathcal S_1$ and $\mathcal S_2$ of $M_2(R/I)$ , where $\mathcal S_1$ is the image (under the natural epimorphism from $M_2(R)$ to $M_2(R/I)$ ) of the centralizer in $M_2(R)$ of a pre-image of $\hat B$ , and where the entries in $\mathcal S_2$ are intersections of certain annihilators of elements arising from the entries of $\hat B$ . It turns out that if $R$ is a PID, then every matrix in $M_2(R/I)$ is an $I$ -matrix. However, this is not the case if $R$ is a UFD in general. Moreover, for every factor ring $R/I$ with zero divisors and every $n\ge 3$ there is a matrix for which the mentioned concrete description is not valid.

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.

Magdaleen S. Marais

Research overview

Is this your work?

5 publications

The Classification of Real Singularities Using SINGULAR. Part II: The Structure of the Equivalence Classes of the Unimodal Singularities

Mora's holy grail: Algorithms for computing in localizations at prime ideals

The Classification of Real Singularities Using SINGULAR. Part I: Splitting Lemma and Simple Singularities

On the centralizer of an $I$ -matrix in $M_2(R/I)$ , $I$ a principal ideal and $R$ a UFD

The centralizer of an $I$ -matrix in $M_2(R/I)$ , $R$ a UFD

See the researcher in context

Building this map preview

Magdaleen S. Marais

Research overview

Is this your work?

5 publications

The Classification of Real Singularities Using SINGULAR. Part II: The Structure of the Equivalence Classes of the Unimodal Singularities

Mora's holy grail: Algorithms for computing in localizations at prime ideals

The Classification of Real Singularities Using SINGULAR. Part I: Splitting Lemma and Simple Singularities

On the centralizer of an III-matrix in M2(R/I)M_2(R/I)M2​(R/I), III a principal ideal and RRR a UFD

The centralizer of an III-matrix in M2(R/I)M_2(R/I)M2​(R/I), RRR a UFD

See the researcher in context

Building this map preview

On the centralizer of an $I$ -matrix in $M_2(R/I)$ , $I$ a principal ideal and $R$ a UFD

The centralizer of an $I$ -matrix in $M_2(R/I)$ , $R$ a UFD