Source author record

Sophie Frisch

Sophie Frisch appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

13 published item(s)

preprint2025arXiv

Primes and absolutely or non-absolutely irreducible elements in atomic domains

We give examples of atomic integral domains satisfying each of the eight logically possible combinations of existence or non-existence of the following kinds of elements: 1) primes, 2) absolutely irreducible elements that are not prime, and 3) irreducible elements that are not absolutely irreducible. A non-zero non-unit is called absolutely irreducible (or, a strong atom) if every one of its powers factors uniquely into irreducibles.

preprint2022arXiv

Split absolutely irreducible integer-valued polynomials over discrete valuation domains

Regarding non-unique factorization of integer-valued polynomials over a discrete valuation domain $(R,M)$ with finite residue field, it is known that there exist absolutely irreducible elements, that is, irreducible elements all of whose powers factor uniquely, and non-absolutely irreducible elements. We completely and constructively characterize the absolutely irreducible elements among split integer-valued polynomials. They correspond bijectively to finite sets, which we call \emph{balanced}, characterized by a combinatorial property regarding the distribution of their elements among residue classes of powers of $M$. For each such balanced set as the set of roots of a split polynomial, there exists a unique vector of multiplicities and a unique constant so that the corresponding product of monic linear factors times the constant is an absolutely irreducible integer-valued polynomial. This also yields sufficient criteria for integer-valued polynomials over Dedekind domains to be absolutely irreducible.

preprint2020arXiv

A graph-theoretic criterion for absolute irreducibility of integer-valued polynomials with square-free denominator

An irreducible element of a commutative ring is absolutely irreducible if no power of it has more than one (essentially different) factorization into irreducibles. In the case of the ring $\text{Int}(D)=\{f\in K[x]\mid f(D)\subseteq D\}$, of integer-valued polynomials on a principal ideal domain $D$ with quotient field $K$, we give an easy to verify graph-theoretic sufficient condition for an element to be absolutely irreducible and show a partial converse: the condition is necessary and sufficient for polynomials with square-free denominator.

preprint2016arXiv

Polynomial functions on upper triangular matrix algebras

There are two kinds of polynomial functions on matrix algebras over commutative rings: those induced by polynomials with coefficients in the algebra itself and those induced by polynomials with scalar coefficients. In the case of algebras of upper triangular matrices over a commutative ring, we characterize the former in terms of the latter (which are easier to handle because of substitution homomorphism). We conclude that the set of integer-valued polynomials with matrix coefficients on an algebra of upper triangular matrices is a ring, and that the set of null-polynomials with matrix coefficients on an algebra of upper triangular matrices is an ideal.

preprint2015arXiv

Relative polynomial closure and monadically Krull monoids of integer-valued polynomials

Let D be a Krull domain and Int(D) the ring of integer-valued polynomials on D. For any f in Int(D), we explicitly construct a divisor homomorphism from [f], the divisor-closed submonoid of Int(D) generated by f, to a finite sum of copies of (N_0,+). This implies that [f] is a Krull monoid. For V a discrete valuation domain, we give explicit divisor theories of various submonoids of Int(V). In the process, we modify the concept of polynomial closure in such a way that every subset of D has a finite polynomially dense subset. The results generalize to Int(S,V), the ring of integer-valued polynomials on a subset, provided S doesn't have isolated points in v-adic topology.

preprint2013arXiv

Integer-valued polynomials on algebras

Let D be a domain with quotient field K and A a D-algebra. We call a polynomial with coefficients in K that maps every element of A to an element of A "integer-valued on A". For commutative A we also consider integer-valued polynomials in several variables. For an arbitrary domain D and I an arbitrary ideal of D we show I-adic continuity of integer-valued polynomials on A. For Noetherian one-dimensional D, we determine the spectrum and Krull dimension of the ring Int_D(A) of integer-valued polynomials on A. We do the same for the ring of polynomials with coefficients in M_n(K), the K-algebra of n x n matrices, that map every matrix in M_n(D) to a matrix in M_n(D).

preprint2011arXiv

Non-unique factorization of polynomials over residue class rings of the integers

We investigate non-unique factorization of polynomials in Z_{p^n}[x] into irreducibles. As a Noetherian ring whose zero-divisors are contained in the Jacobson radical, Z_{p^n}[x] is atomic. We reduce the question of factoring arbitrary non-zero polynomials into irreducibles to the problem of factoring monic polynomials into monic irreducibles. The multiplicative monoid of monic polynomials of Z_{p^n}[x] is a direct sum of monoids corresponding to irreducible polynomials in Z_p[x], and we show that each of these monoids has infinite elasticity. Moreover, for every positive integer m, there exists in each of these monoids a product of 2 irreducibles that can also be represented as a product of m irreducibles.

preprint2011arXiv

Polynomial parametrization of Pythagorean quadruples, quintuples and sextuples

A Pythagorean n-tuple is an integer solution of x_1^2+...+x_{n-1}^2=x_n^2. For n=4 and n=6, the Pythagorean n-tuples admit a parametrization by a single n-tuple of polynomials with integer coefficients (which is impossible for n=3). For n=5, there is an integer-valued polynomial Pythagorean 5-tuple which parametrizes Pythagorean quintuples (similar to the case n=3). Pythagorean quadruples are closely related to (integer) Descartes quadruples (solutions of 2(b_1^2+b_2^2+b_3^2+b_4^2) = (b_1+b_2+b_3+b_4)^2), which we also parametrize by a Descartes quadruple of polynomials with integer coefficients.

preprint2008arXiv

Polynomial parametrization of the solutions of Diophantine equations of genus 0

Let f in Z[X,Y,Z] be a non-constant, absolutely irreducible, homogeneous polynomial with integer coefficients, such that the projective curve given by f=0 has a function field isomorphic to the rational function field Q(t). We show that all integral solutions of the Diophantine equation f=0 (up to those corresponding to some singular points) can be parametrized by a single triple of integer-valued polynomials. In general, it is not possible to parametrize this set of solutions by a single triple of polynomials with integer coefficients.

preprint2007arXiv

Remarks on polynomial parametrization of sets of integer points

If, for a subset S of Z^k, we compare the conditions of being parametrizable (a) by a single k-tuple of polynomials with integer coefficients, (b) by a single k-tuple of integer-valued polynomials and, (c) by finitely many k-tuples of polynomials with integer coefficients (variables ranging through the integers in each case) then (a) implies (b) (obviously), (b) implies (c), and neither converse holds. Condition (b) is equivalent to the set S being the set of integer values taken by some k-tuple of polynomials with rational coefficients as the variables range through the integers. We also show that every co-finite subset of Z^k is parametrizable a single k-tuple of polynomials with integer coefficients.