Showing 1–13 of 13 results for author: Nielsen, P P

An elementary algebraic proof of the fundamental theorem of algebra

Authors: Katelyn S. Clark, Pace P. Nielsen

Abstract: We give a new proof of the fundamental theorem of algebra. It is entirely elementary, focused on using long division to its fullest extent. Further, the method quickly recovers a more general version of the theorem recently obtained by Joseph Shipman. We give a new proof of the fundamental theorem of algebra. It is entirely elementary, focused on using long division to its fullest extent. Further, the method quickly recovers a more general version of the theorem recently obtained by Joseph Shipman. △ Less

Submitted 18 February, 2025; originally announced February 2025.

MSC Class: 12D05; 12F05

Euclidean domains with no multiplicative norms

Authors: Caleb J. Dastrup, Pace P. Nielsen

Abstract: We construct a Euclidean domain with no multiplicative Euclidean norm to a compatibly well-ordered monoid, and hence with no multiplicative Euclidean norm to $\mathbb{R}$ (under its usual order). A key step in the proof is showing that the UFD property is preserved when adjoining a free factorization. We construct a Euclidean domain with no multiplicative Euclidean norm to a compatibly well-ordered monoid, and hence with no multiplicative Euclidean norm to $\mathbb{R}$ (under its usual order). A key step in the proof is showing that the UFD property is preserved when adjoining a free factorization. △ Less

Submitted 8 March, 2025; v1 submitted 9 January, 2025; originally announced January 2025.

Levels of cancellation for monoids and modules

Authors: Pere Ara, Ken Goodearl, Pace P. Nielsen, Kevin C. O'Meara, Enrique Pardo, Francesc Perera

Abstract: Levels of cancellativity in commutative monoids $M$, determined by stable rank values in $\mathbb{Z}_{> 0} \cup \{\infty\}$ for elements of $M$, are investigated. The behavior of the stable ranks of multiples $ka$, for $k \in \mathbb{Z}_{> 0}$ and $a \in M$, is determined. In the case of a refinement monoid $M$, the possible stable rank values in archimedean components of $M$ are pinned down. Fina… ▽ More Levels of cancellativity in commutative monoids $M$, determined by stable rank values in $\mathbb{Z}_{> 0} \cup \{\infty\}$ for elements of $M$, are investigated. The behavior of the stable ranks of multiples $ka$, for $k \in \mathbb{Z}_{> 0}$ and $a \in M$, is determined. In the case of a refinement monoid $M$, the possible stable rank values in archimedean components of $M$ are pinned down. Finally, stable rank in monoids built from isomorphism or other equivalence classes of modules over a ring is discussed. △ Less

Submitted 10 September, 2024; originally announced September 2024.

MSC Class: 20M14; 19B10

The separativity problem in terms of varieties and diagonal reduction

Authors: Pere Ara, Ken Goodearl, Pace P. Nielsen, Enrique Pardo, Francesc Perera

Abstract: We provide two new formulations of the separativity problem. First, it is known that separativity (and strong separativity) in von Neumann regular (and exchange) rings is tightly connected to unit-regularity of certain kinds of elements. By refining this information, we characterize separative regular rings in terms of a special type of inner inverse operation, which is defined via a single iden… ▽ More We provide two new formulations of the separativity problem. First, it is known that separativity (and strong separativity) in von Neumann regular (and exchange) rings is tightly connected to unit-regularity of certain kinds of elements. By refining this information, we characterize separative regular rings in terms of a special type of inner inverse operation, which is defined via a single identity. This shows that the separative regular rings form a subvariety of the regular rings. The separativity problem reduces to the question of whether every element of the form $(1-aa')bac(1-a'a)$ in a regular ring is unit-regular, where $a'$ is an inner inverse for $a$. Second, it is known that separativity in exchange rings is equivalent to regular matrices over corner rings being reducible to diagonal matrices via elementary row and column operations. We show that for $2\times 2$ invertible matrices, four elementary operations are sufficient, and in general also necessary. Dropping the invertibility hypothesis, but specializing to separative regular rings, we show that three elementary row operations together with three elementary column operations are sufficient, and again in general also necessary. The separativity problem can subsequently be reframed in terms of the explicit number of operations needed to diagonally reduce. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Trigonometric inequalities and the Riemann zeta-function

Authors: Pace P. Nielsen

Abstract: We very slightly improve the leading constant of the (currently best) proven asymptotic zero-free region of the Riemann zeta-function, by using an easy improvement to a trigonometric polynomial. We very slightly improve the leading constant of the (currently best) proven asymptotic zero-free region of the Riemann zeta-function, by using an easy improvement to a trigonometric polynomial. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Comments: 12 pages. Suggestions welcome

Prime factors of $Φ_3(x)$ of the same form

Authors: Cody S. Hansen, Pace P. Nielsen

Abstract: We parameterize solutions to the equality $Φ_3(x)=Φ_3(a_1)Φ_3(a_2)\cdotsΦ_3(a_n)$ when each $Φ_3(a_i)$ is prime. Our focus is on the special cases when $n=2,3,4$, as this analysis simplifies and extends bounds on the total number of prime factors of an odd perfect number. We parameterize solutions to the equality $Φ_3(x)=Φ_3(a_1)Φ_3(a_2)\cdotsΦ_3(a_n)$ when each $Φ_3(a_i)$ is prime. Our focus is on the special cases when $n=2,3,4$, as this analysis simplifies and extends bounds on the total number of prime factors of an odd perfect number. △ Less

Submitted 19 April, 2022; originally announced April 2022.

Journal ref: Integers 22:A71, 9 pages, 2022, available at: http://math.colgate.edu/~integers/w71/w71.pdf

Transfinitely valued Euclidean domains have arbitrary indecomposable order type

Authors: Chris J. Conidis, Pace P. Nielsen, Vandy Tombs

Abstract: We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely characterize the norm complexity of Euclidean domains. Modifying this construction, we also find a finitely valued Euclidean domain with no multiplicative integer value… ▽ More We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely characterize the norm complexity of Euclidean domains. Modifying this construction, we also find a finitely valued Euclidean domain with no multiplicative integer valued norm. △ Less

Submitted 29 August, 2018; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: Accepted for publication at Communications in Algebra

Covering systems with restricted divisibility

Authors: Robert D. Hough, Pace P. Nielsen

Abstract: We prove that every distinct covering system has a modulus divisible by either 2 or 3. We prove that every distinct covering system has a modulus divisible by either 2 or 3. △ Less

Submitted 8 August, 2018; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: Light changes

MSC Class: 11A07; 11B25

Journal ref: Duke Math. J. 168, no. 17 (2019), 3261-3295

Connections between unit-regularity, regularity, cleanness, and strong cleanness of elements and rings

Authors: Pace P. Nielsen, Janez Šter

Abstract: We construct an example of a unit-regular ring which is not strongly clean, answering an open question of Nicholson. We also characterize clean matrices with a zero column, and this allows us to describe an interesting connection between unit-regular elements and clean elements. It is also proven that given an element $a$ in a ring $R$, if $a,a^2,\ldots, a^k$ are all regular elements in $R$ (for s… ▽ More We construct an example of a unit-regular ring which is not strongly clean, answering an open question of Nicholson. We also characterize clean matrices with a zero column, and this allows us to describe an interesting connection between unit-regular elements and clean elements. It is also proven that given an element $a$ in a ring $R$, if $a,a^2,\ldots, a^k$ are all regular elements in $R$ (for some $k\geq 1$), then there exists $w\in R$ such that $a^{i}w^{i}a^{i}=a^{i}$ for $1\leq i\leq k$, and a similar statement holds for unit-regular elements. The paper ends with a large number of examples elucidating further connections (and disconnections) between cleanliness, regularity, and unit-regularity. △ Less

Submitted 12 October, 2015; originally announced October 2015.

On Vaughan Pratt's crossword problem

Authors: George M. Bergman, Pace P. Nielsen

Abstract: Vaughan Pratt has introduced objects consisting of pairs $(A,W)$ where $A$ is a set and $W$ a set of subsets of $A,$ such that (i) $W$ contains $\emptyset$ and $A,$ (ii) if $C$ is a subset of $A\times A$ such that for every $a\in A,$ both $\{b\mid (a,b)\in C\}$ and $\{b\mid (b,a)\in C\}$ are members of $W$ (a "crossword" with all "rows" and "columns" in $W),$ then $\{b\mid (b,b)\in C\}$ (the "diag… ▽ More Vaughan Pratt has introduced objects consisting of pairs $(A,W)$ where $A$ is a set and $W$ a set of subsets of $A,$ such that (i) $W$ contains $\emptyset$ and $A,$ (ii) if $C$ is a subset of $A\times A$ such that for every $a\in A,$ both $\{b\mid (a,b)\in C\}$ and $\{b\mid (b,a)\in C\}$ are members of $W$ (a "crossword" with all "rows" and "columns" in $W),$ then $\{b\mid (b,b)\in C\}$ (the "diagonal word") also belongs to $W,$ and (iii) for all distinct $a,b\in A,$ the set $W$ has an element which contains $a$ but not $b.$ He has asked whether for every $A,$ the only such $W$ is the set of all subsets of $A.$ We answer that question in the negative. We also obtain several positive results, in particular, a positive answer to the above question if $W$ is closed under complementation. We obtain partial results on whether there can exist counterexamples to Pratt's question with $W$ countable. △ Less

Submitted 18 December, 2015; v1 submitted 27 April, 2015; originally announced April 2015.

Comments: 17 pages. Final version; we have made various minor changes in wording etc

MSC Class: 08A99; 68R15 (Primary); 03E10; 03G10; 06A11; 06D05; 54A05; 68Q65 (Secondary)

Journal ref: J. Lond. Math. Soc. (2) 93 (2016) 825-845

Nonnegative minors of minor matrices

Authors: David A. Cardon, Pace P. Nielsen

Abstract: Using the relationship between totally nonnegative matrices and directed acyclic weighted planar networks, we show that $2\times 2$ minors of minor matrices of totally nonnegative matrices are also nonnegative. We give a combinatorial interpretation for the minors of minor matrices in terms of the weights of families of paths in a network. Using the relationship between totally nonnegative matrices and directed acyclic weighted planar networks, we show that $2\times 2$ minors of minor matrices of totally nonnegative matrices are also nonnegative. We give a combinatorial interpretation for the minors of minor matrices in terms of the weights of families of paths in a network. △ Less

Submitted 7 February, 2012; v1 submitted 7 January, 2011; originally announced January 2011.

MSC Class: 05C21; 05C22; 05C30; 26C10

Journal ref: Linear Algebra and its Applications, Volume 436, Issue 7, Pages 2187-2200, 2012

Odd Perfect Numbers Have At Least Nine Distinct Prime Factors

Authors: Pace P. Nielsen

Abstract: An odd perfect number, N, is shown to have at least nine distinct prime factors. If 3 does not divide N, then N must have at least twelve distinct prime divisors. The proof ultimately avoids previous computational results for odd perfect numbers. An odd perfect number, N, is shown to have at least nine distinct prime factors. If 3 does not divide N, then N must have at least twelve distinct prime divisors. The proof ultimately avoids previous computational results for odd perfect numbers. △ Less

Submitted 21 February, 2006; originally announced February 2006.

Comments: 17 pages

MSC Class: 11N25; 11Y50

Countable and Full Exchange Rings

Authors: Pace P. Nielsen

Abstract: We show that a suitable ring with a ``nice'' topology, in which convergent limits of units are units, is an \aleph_0-exchange ring. We generalize the argument to show that a semi-regular ring, R, with a ``nice'' topology, is a full exchange ring. Putting these results in the language of modules, we show that a cohopfian module with finite exchange has countable exchange. Also, all modules with D… ▽ More We show that a suitable ring with a ``nice'' topology, in which convergent limits of units are units, is an \aleph_0-exchange ring. We generalize the argument to show that a semi-regular ring, R, with a ``nice'' topology, is a full exchange ring. Putting these results in the language of modules, we show that a cohopfian module with finite exchange has countable exchange. Also, all modules with Dedekind-finite, semi-regular endomorphism rings are full exchange modules. △ Less

Submitted 25 August, 2004; v1 submitted 11 June, 2004; originally announced June 2004.

Comments: 15 pages

Journal ref: Communications in Algebra 35(1):3-23, 2007