1:
2: \documentclass[a4paper, reqno]{amsart}
3: \usepackage[latin1]{inputenc}
4: \usepackage{amsmath,amsthm,amssymb,amsfonts}
5: \usepackage{enumerate}
6:
7: \theoremstyle{definition}
8: \newtheorem{definition}{Definition}[section]
9: \newtheorem{defn}{Definition}[section]
10: \newtheorem{exmp}[definition]{Example}
11: \newtheorem{example}[definition]{Example}
12: \theoremstyle{remark}
13: \newtheorem{note}[definition]{Remark}
14: \newtheorem{rem}[definition]{Remark}
15: \newtheorem{remark}[definition]{Remark}
16: \newtheorem{claim}[definition]{Claim}
17: \theoremstyle{plain}
18: \newtheorem{lemma}[definition]{Lemma}
19: \newtheorem{lem}[definition]{Lemma}
20: \newtheorem{prop}[definition]{Proposition}
21: \newtheorem{proposition}[definition]{Proposition}
22: \newtheorem{theorem}[definition]{Theorem}
23: \newtheorem{thm}[definition]{Theorem}
24: \newtheorem{corr}[definition]{Corollary}
25: \newtheorem{corollary}[definition]{Corollary}
26: \newtheorem{cor}[definition]{Corollary}
27: \newtheorem{conjecture}[definition]{Conjecture}
28: \newtheorem{question}[definition]{Question}
29:
30:
31: \newcommand{\reg}{\mathrm{reg}}
32: \newcommand{\Nat}{{\mathbb{N}}}
33: \newcommand{\Z}{{\mathbb{Z}}}
34: \newcommand{\C}{{\mathbb{C}}}
35: \newcommand{\R}{{\mathbb{R}}}
36: \newcommand{\Q}{{\mathbb{Q}}}
37: \def\setsuchas#1#2{\left\{\,{#1}\,\vrule\,{#2}\,\right\}}
38: \newcommand{\set}[1]{{\{#1\}}}
39: \newcommand{\vektor}[1]{{\boldsymbol{#1}}}
40:
41: \newcommand{\M}{\mathcal{M}}
42: \newcommand{\rest}[1]{\rho_{{#1}}}
43:
44: \newcommand{\UNI}{\mathcal{A}}
45: \newcommand{\divides}[2]{{#1 \left\lvert {#2} \right.}}
46: \newcommand{\dividesnot}[2]{{#1 \not \vert #2}}
47: \newcommand{\ddivides}[2]{{#1 \left\lvert\lvert {#2} \right.}}
48: \newcommand{\sqbij}{\Phi}
49: \newcommand{\SQ}{\mathfrak{C}}
50: \newcommand{\SQA}{\mathfrak{D}}
51: \newcommand{\GTRUNC}{\mathfrak{S}}
52: \newcommand{\RTRUNC}{\mathfrak{T}}
53: \newcommand{\norm}[1]{{ \left\lvert {#1} \right\rvert}}
54: \newcommand{\tdeg}[1]{{\mathrm{D}(#1)}}
55: %\newcommand{\ord}{\mathrm{ord}}
56: \newcommand{\ord}{\mathrm{N}}
57: \newcommand{\ann}{\mathrm{ann}}
58: \newcommand{\supp}{\mathrm{supp}}
59:
60: \begin{document}
61:
62:
63: \title[The ring of arithmetical functions with unitary convolution]{The
64: ring of arithmetical
65: functions with unitary convolution: Divisorial and topological properties.}
66: \author{Jan Snellman}
67: \address{Department of Mathematics\\
68: Stockholm University\\
69: SE-10691 Stockholm,
70: Sweden}
71: \email{jans@matematik.su.se}
72: \date{January 9, 2002}
73: \subjclass[2000]{11A25, 13J05}
74: \keywords{Unitary convolution, Schauder Basis, factorization}
75:
76:
77:
78: \begin{abstract}
79: We study \((\UNI,+,\oplus)\), the ring of arithmetical functions with unitary
80: convolution,
81: giving an isomorphism between \((\UNI,+,\oplus)\) and a generalized power series
82: ring on infinitely many variables, similar to the isomorphism
83: of Cashwell-Everett\cite{NumThe}
84: between the ring \((\UNI,+,\cdot)\) of arithmetical functions with
85: \emph{Dirichlet convolution}
86: and the power series ring \(\C[[x_1,x_2,x_3,\dots]]\) on countably
87: many variables. We topologize it with respect to a natural norm, and
88: shove that all ideals are quasi-finite. Some
89: elementary results on factorization into atoms are obtained. We
90: prove the existence of an abundance of non-associate regular non-units.
91: \end{abstract}
92:
93: \maketitle
94:
95: \begin{section}{Introduction}
96: The \emph{ring of arithmetical functions with Dirichlet convolution},
97: which we'll denote by \((\UNI,+,\cdot)\),
98: is the set of all functions \(\Nat^+ \to \C\), where \(\Nat^+\)
99: denotes the positive integers. It is given the structure of a
100: commutative \(\C\)-algebra by component-wise addition and
101: multiplication by scalars, and by the Dirichlet convolution
102: \begin{equation} \label{eq:dirichlet}
103: f \cdot g (k) = \sum_{\divides{r}{k}} f(r) g(k/r).
104: \end{equation}
105: Then, the multiplicative unit is the function \(e_1\) with \(e_1(1)=1\)
106: and \(e_1(k)=0\) for \(k>1\), and the additive unit is the zero
107: function \(\mathbf{0}\).
108:
109: Cashwell-Everett \cite{NumThe} showed that \((\UNI,+,\cdot)\) is a UFD
110: using the isomorphism
111: \begin{equation}\label{eq:ce}
112: (\UNI,+,\cdot) \simeq \C[[x_1,x_2,x_3,\dots]],
113: \end{equation}
114: where each \(x_i\) corresponds to the function which is \(1\) on
115: the \(i\)'th prime number, and 0 otherwise.
116:
117: Schwab and Silberberg \cite{vring} topologised \((\UNI,+,\cdot)\) by means
118: of the norm
119: \begin{equation}
120: \label{eq:Snorm}
121: \norm{f} = \frac{1}{\min \setsuchas{k}{f(k) \neq 0}}
122: \end{equation}
123: They noted that this norm is an ultra-metric, and that
124: \(((\UNI,+,\cdot), \norm{\cdot})\) is a valued ring, i.e. that
125: \begin{enumerate}
126: \item \(\norm{\mathbf{0}}=0\) and \(\norm{f}>0\) for \(f \neq
127: \mathbf{0}\),
128: \item \(\norm{f-g} \le \max \set{\norm{f}, \, \norm{g}}\),
129: \item \(\norm{fg} = \norm{f} \norm{g}\).
130: \end{enumerate}
131: They showed that \((\UNI, \norm{\cdot})\) is complete, and that
132: each ideal is \emph{quasi-finite}, which means that there exists a
133: sequence \((e_k)_{k=1}^\infty\), with
134: \(\norm{e_k} \to 0\), such that every
135: element in the ideal can be written as a convergent sum
136: \(\sum_{k=1}c_k e_k\), with \(c_k \in \UNI\).
137:
138: In this article, we treat instead \((\UNI,+,\oplus)\), the ring of
139: all arithmetical
140: functions with unitary convolution. This ring has been studied by
141: several authors, such as Vaidyanathaswamy \cite{vaidy}, Cohen
142: \cite{UniDiv}, and Yocom \cite{Yocom:totmult}.
143:
144: We topologise \(\UNI\) in the same way as Schwab and Silberberg
145: \cite{vring}, so that \((\UNI,+,\oplus)\) becomes a
146: normed ring (but, in contrast to \((\UNI,+,\cdot)\), not a valued ring). We
147: show that all ideals in \((\UNI,+,\oplus)\) are quasi-finite.
148:
149:
150: We show that \((\UNI,+,\oplus)\) is
151: isomorphic to a monomial quotient of a power series ring on
152: countably many variables. It is présimplifiable and atomic, and there is
153: a bound on the lengths of factorizations of a given element.
154: We give a sufficient condition for nilpotency, and
155: prove the existence of plenty of regular non-units.
156:
157: Finally, we show that the set of arithmetical functions supported on
158: square-free integers is a retract of \((\UNI,+,\oplus)\).
159:
160:
161:
162: \end{section}
163:
164:
165: \begin{section}{The ring of arithmetical functions with unitary convolution}
166: Let \(p_i\) denote
167: the \(i\)'th prime number, and denote by \(\mathcal{P}\)
168: the set of prime numbers. Let \(\mathcal{PP}\) denote the set of
169: prime powers. Let \(\omega(r)\)
170: denote the number of distinct prime factors of \(r\), with
171: \(\omega(1)=0\).
172:
173:
174: \begin{definition}
175: If \(k,m\) are positive integers, we define their \emph{unitary product} as
176: \begin{equation}
177: \label{eq:unitmm}
178: k \oplus m =
179: \begin{cases}
180: km & \gcd(k,m)=1 \\
181: 0 & \text{ otherwise}
182: \end{cases}
183: \end{equation}
184: If \(k \oplus m = p\), then we write \(\ddivides{k}{p}\) and say
185: that \(k\) is a \emph{unitary divisor} of \(p\).
186: \end{definition}
187:
188: % If we let \(\le\) denote the ordinary total order on \(\Nat^+\), then
189: % \((\Nat^+, \oplus)\) is a strictly ordered monoid-with-zero, i.e. if \(s <
190: % s'\) and \(s \oplus t \neq 0\), \(s' \oplus t \neq 0\), then \(s
191: % \oplus t < s' \oplus t\). Following Ribenboim
192: % \cite{Rib:GP,Rib:Nilpotent} we will study the set \(\C^{(\Nat^+)}\)
193: % of all mappings from \(\Nat^+\) to \(\C\), endowed with the
194: % \emph{convolution product}. Ribenboim's construction of the generalised
195: % power series ring of a strictly ordered monoid consists of choosing
196: % those mappings whose support are \emph{artinian} and \emph{narrow},
197: % but since every subset of \(\Nat^+\) have those properties (there
198: % are no infinite descending chains, or infinite anti-chains), we will
199: % work with the set of all mappings. The fact that we are dealing with
200: % a monoid-with-zero rather than with a monoid is no major obstacle.
201:
202:
203: The so-called \emph{unitary convolution} was introduced by
204: Vaidyanathaswamy \cite{vaidy}, and was further studied Eckford Cohen
205: \cite{UniDiv}.
206:
207: \begin{definition}
208: \(\UNI = \set{f: \Nat^+ \to \C}\), the set of complex-valued
209: functions on the positive integers. We define the \emph{unitary
210: convolution} of \(f,g \in \UNI\) as
211: \begin{equation}
212: \label{eq:unitaryconv}
213: ( f\oplus g) (n) = \sum_{\substack{m \oplus p = n\\m,n \ge 1}}
214: f(m) g(n) = \sum_{\ddivides{d}{n}} f(d) g(n/d)
215: \end{equation}
216: and the addition as
217: \begin{displaymath}
218: (f+g)(n) = f(n)+g(n)
219: \end{displaymath}
220: The ring \((\UNI, + , \oplus)\) is called \emph{the ring of arithmetic
221: functions} with unitary convolution.
222: %In this article\footnote{This
223: % is at odds with the notation in
224: %Sivaramakrishnans treatise \cite{Afunc}, where \(fg\) denotes
225: %``ordinary multiplication'' \(fg(r)=f(r)g(r)\). We will
226: %mention were our notations differ from \cite{Afunc}.
227: %},
228: %we will often write \(fg\) in place of \(f \oplus g\).
229: \end{definition}
230:
231:
232:
233:
234: \begin{definition}
235: For each positive integer \(k\), we define \(e_k \in \UNI\) by
236: \begin{equation}
237: \label{eq:e}
238: e_k(n) =
239: \begin{cases}
240: 1 & k=n \\
241: 0 & k \neq n
242: \end{cases}
243: \end{equation}
244: We also define\footnote{In \cite{Afunc}, \(\mathbf{1}\) is
245: denoted \(e\), and \(e_1\) denoted \(e_0\).} \(\mathbf{0}\) as
246: the zero function, and
247: \(\mathbf{1}\) as the function which is constantly 1.
248: \end{definition}
249:
250: \begin{lemma}\label{lemma:rels}
251: \(\mathbf{0}\) is the additive unit of \(\UNI\), and \(e_1\) is
252: the multiplicative unit.
253: We have that
254: \begin{equation}
255: \label{eq:ee}
256: (e_{k_1} \oplus e_{k_2} \oplus \cdots \oplus e_{k_r} ) (n) =
257: \begin{cases}
258: 1 & n = k_1 k_2 \cdots k_r \text{ and } \gcd(k_i,k_j) = 1
259: \text{ for } i \neq j \\
260: 0 & \text{ otherwise}
261: \end{cases}
262: \end{equation}
263:
264: hence
265: \begin{equation}
266: \label{eq:ee2}
267: e_{k_1} \oplus e_{k_2} \oplus \cdots \oplus e_{k_r} =
268: \begin{cases}
269: e_{k_1 k_2 \cdots k_r} & \text{ if } \gcd(k_i,k_j) = 1
270: \text{ for } i \neq j \\
271: 0 & \text{ otherwise}
272: \end{cases}
273: \end{equation}
274:
275: \end{lemma}
276: \begin{proof}
277: The first assertions are trivial.
278: We have \cite{Afunc} that for \(f_1,\dots,f_r \in \UNI\),
279: \begin{equation}
280: \label{eq:dist}
281: (f_1 \oplus \cdots f_r)(n) = \sum_{a_1 \oplus \cdots a_r=n}
282: f_1(a_1) \cdots f_r(a_r)
283: \end{equation}
284: Since
285: \begin{displaymath}
286: e_{k_1}(a_1) e_{k_2}(a_2) \cdots e_{k_r})(a_r) = 1 \text{ iff
287: } \forall i: k_i=a_i,
288: \end{displaymath}
289: \eqref{eq:ee} follows.
290: \end{proof}
291:
292:
293: \begin{lemma}\label{lemma:uniq}
294: Any \(e_n\) can be uniquely expressed as a square-free monomial
295: in \(\setsuchas{e_k}{k \in \mathcal{PP}}\).
296: \end{lemma}
297: \begin{proof}
298: By unique factorization, there is a unique way of writing
299: \(n=p_{i_1}^{a_1} \cdots p_{i_r}^{a_r}\), and \eqref{eq:ee2} gives
300: that
301: \begin{displaymath}
302: e_n = e_{p_{i_1}^{a_1} \cdots p_{i_r}^{a_r}} =
303: e_{p_{i_1}^{a_1}} \oplus \cdots e_{p_{i_r}^{a_r}}.
304: \end{displaymath}
305: \end{proof}
306:
307:
308: \begin{theorem}
309: \((\UNI, + , \oplus)\) is a quasi-local, non-noetherian
310: commutative ring having
311: divisors of zero. The units
312: \(U(\UNI)\) consists of those \(f\) such that \(f(1) \neq 0\).
313: \end{theorem}
314: \begin{proof}
315: It is shown in \cite{Afunc} that \((\UNI, + , \oplus)\) is a
316: commutative ring, having zero-divisors, and that the units
317: consists of those \(f\) such that \(f(1) \neq 0\).
318: If \(f(1) = 0\)
319: then
320: \begin{displaymath}
321: (f \oplus g)(1) = f(1)g(1) = 0.
322: \end{displaymath}
323: Hence the non-units
324: form an ideal \(\mathfrak{m}\), which is then the unique maximal
325: ideal.
326:
327: We will show (Lemma~\ref{lemma:mnotfg}) that \(\mathfrak{m}\)
328: contains an ideal (the ideal generated by all \(e_k\), for
329: \(k>1\)) which is
330: not finitely generated, so \(\UNI\) is non-noetherian.
331: \end{proof}
332:
333:
334:
335: \end{section}
336:
337:
338:
339:
340: \begin{section}{A topology on \(\UNI\)}
341:
342:
343: The results of this section are inspired by
344: \cite{vring}, were the authors studied the ring of arithmetical
345: functions under Dirichlet convolution. We'll use the notations of
346: \cite{NonArch}. We regard \(\C\) as trivially normed.
347:
348:
349:
350: \begin{definition}\label{def:metric}
351: Let \(f \in \UNI \setminus \set{\mathbf{0}}\).
352: We define the \emph{support} of \(f\) as
353: \begin{equation}
354: \label{eq:support}
355: \supp(f) = \setsuchas{n \in \Nat^+}{f(n) \neq 0}
356: \end{equation}
357: We define the \emph{order}\footnote{In \cite{Afunc} the term
358: \emph{norm} is used.} of a non-zero element by
359: \begin{equation}
360: \label{eq:height}
361: \ord(f) = \min \supp(f)
362: \end{equation}
363: We also define the \emph{norm} of \(f\) as
364: \begin{equation}
365: \label{eq:norm}
366: \norm{f} = \ord(f)^{-1}
367: \end{equation}
368: and the \emph{degree} as
369: \begin{equation}
370: \label{eq:deg}
371: \tdeg{f} = \min \setsuchas{\omega(k)}{k \in \supp(f)}
372: \end{equation}
373: By definition, the zero element has order infinity, norm 0, and
374: degree -1.
375: \end{definition}
376:
377: \begin{lemma}
378: The value semigroup of \((\UNI, \norm{\cdot})\) is
379: \begin{math}
380: \norm{\UNI \setminus \set{\mathbf{0}}} = \setsuchas{1/k}{k \in \Nat^+},
381: \end{math}
382: a discrete subset of \(\R^+\).
383: \end{lemma}
384:
385:
386: % \begin{proof}
387: % \begin{enumerate}
388: % \item Let \(k < i\). Then \((f-g)(k) = f(k) - g(k)
389: % = 0\), so \(\ord(f-g) \ge i\).
390: % \item It is clear that \(cf(i) \neq 0\),
391: % but that \(cf(k) = 0\), so \(\ord(cf) = \ord(f)\).
392: % \item \(f\) is a non-unit iff \(f(1) \neq 0\), i.e. iff
393: % \(\ord(f)>1\).
394: % \item This is proved in \cite{Afunc}.
395: % \item Follows from the previous assertion together with the next.
396: % \item Let \(\ell < ij\), and let \(uv=\ell\), with
397: % \(\gcd(u,v)=1\). Then
398: % either \(u < i\) or \(v < j\), hence \(f(u)g(v) =0\). This shows
399: % that \(\ord(fg) \ge \ord(f)\ord(g)\). Since \(\UNI\) has
400: % zero-divisors, strict inequality may occur:
401: % \begin{displaymath}
402: %\ord(e_2^2) =
403: % \ord(\mathbf{0}) = \infty > \ord(e_2)^2 = 2^2.
404: % \end{displaymath}
405: % \item If \(f,g\) are non-units, then
406: % \begin{displaymath}
407: %\ord(fg) \ge \ord(f) \ord(g) >
408: % \max \set{\ord(f), \ord(g)}
409: % \end{displaymath}
410: % since \(\ord(f), \ord(g) \ge
411: % 2\). If \(f,g\) are both units, then so is \(fg\), hence
412: % \begin{displaymath}
413: % 1=\ord(fg)=\ord(f)=\ord(g).
414: % \end{displaymath}
415: % If \(f\) is a unit, but \(g\) is
416: % not, then \(f(1) \neq 0\), so putting
417: % \(j=\ord(g)\) as before, we have that \(j>1\), and that \((fg)(j)
418: % = f(1)g(j) \neq 0\), but that \((fg)(k)=0\) for \(k < i\), hence
419: % that \(\ord(fg)=i\).
420: % \end{enumerate}
421: % \end{proof}
422:
423: \begin{lemma}\label{lemma:isval}
424: Let \(f,g \in \UNI \setminus \set{\mathbf{0}}\).
425: Let \(\ord(f)=i\), \(\ord(g)=j\), so that \(f(i) \neq 0\) but
426: \(f(k)=0\) for all \(k < i\), and similarly for \(g\). We assume
427: that \(i \le j\).
428: Then, the following hold:
429: \begin{enumerate}[(i)]
430: \item \label{en:ordplus}
431: \(\ord(f-g) \ge \min \set{\ord(f), \ord(g)}\).
432: \item \label{en:ordconst}
433: \(\ord(cf) = \ord(f)\) for \(c \in \C \setminus \set{0}\).
434: \item \label{en:ordunit}
435: \(\ord(f)=1\) iff \(f\) is a unit.
436: \item \label{en:orddir}
437: \(\ord(f \cdot g) = \ord(f) \ord(g) \le \ord(f\oplus g)\), with equality iff \((i,j)=1\).
438: \item \label{en:ordun}
439: \(\ord(f \oplus g) \ge \max \set{\ord(f), \ord(g)}\),
440: with strict inequality iff both \(f\) and \(g\)
441: are non-units.
442: \item \label{en:tdp}
443: \(\tdeg{f+g} \ge \min \tdeg{f}, \, \tdeg{g}\).
444: \item \label{en:tdm}
445: \(\tdeg{f\cdot g} = \tdeg{f}+ \tdeg{g}\).
446: \item \label{en:un} \(\tdeg{f}=0\) if and only if \(f\) is a unit.
447: \item \label{en:tdum}
448: Suppose that \(f \oplus g \neq \mathbf{0}\). Then
449: \begin{displaymath}
450: \tdeg{f\oplus g} \ge \tdeg{f} + \tdeg{g} \ge \max \set{\tdeg{f}, \,
451: \tdeg{g}}.
452: \end{displaymath}
453: with \(\tdeg{f} + \tdeg{g} > \max \set{\tdeg{f}, \, \tdeg{g}}\)
454: if \(f,g\) are non-units.
455: \end{enumerate}
456: \end{lemma}
457: \begin{proof}
458: \eqref{en:ordplus}, \eqref{en:ordconst}, and \eqref{en:ordunit} are
459: trivial, and \eqref{en:orddir} is proved in \cite{Afunc}.
460: \eqref{en:tdp}, \eqref{en:tdm}, and \eqref{en:un} are proved in \cite{dvar}.
461: Let \(m\) be a monomial in the support of \(f\) such that
462: \(\tdeg{m}=\tdeg{f}\), and
463: let \(n\) be a monomial in the support of \(g\) such that
464: \(\tdeg{n}=\tdeg{g}\). For any \(a\) in the support of \(f\) and any
465: \(q\) in the support of \(g\), such that \(a \oplus q \neq 0\),
466: we have that
467: \begin{displaymath}
468: \tdeg{a \oplus q} = \tdeg{a} + \tdeg{q} \ge \tdeg{f} +
469: \tdeg{g}.
470: \end{displaymath}
471: This proves \eqref{en:tdum}. \eqref{en:ordun} is proved similarly.
472: \end{proof}
473:
474: \begin{cor}\label{cor:normprod}
475: \(\norm{f \oplus g} \le \norm{f} \norm{g} = \norm{f \cdot g}\).
476: \end{cor}
477:
478:
479: \begin{prop}\label{prop:Cauchy}
480: \(\norm{\cdot}\) is an ultrametric function on \(\UNI\), making
481: \((\UNI,+,\oplus)\) a normed ring, as well as a
482: faithfully normed, b-separable complete
483: vector space over \(\C\).
484: \end{prop}
485: \begin{proof}
486: \(((\UNI,+,\cdot), \norm{\cdot})\) is a
487: valuated ring, and a
488: faithfully normed complete vector space over \(\C\)
489: \cite{vring}.
490: It is also separable with
491: respect to bounded maps \cite[Corollary 2.2.3]{NonArch}.
492: So \((\UNI,+)\) is a normed group, hence
493: Corollary~\ref{cor:normprod}
494: shows that \((\UNI,+,\oplus)\) is a normed ring.
495: \end{proof}
496:
497:
498: Note that, unlike \(((\UNI,+,\cdot), \norm{\cdot})\), the normed ring
499: \(((\UNI,+,\oplus), \norm{\cdot})\) is not a valued ring, since
500: \begin{displaymath}
501: \norm{e_2\oplus e_2} = \norm{\mathbf{0}} = 0 < \norm{e_2}^2 = 1/4.
502: \end{displaymath}
503: In fact, we have that
504:
505: \begin{lemma}\label{lemma:normsq}
506: If \(f\) is a unit, then \(1 = \norm{f^n} = \norm{f}^n\) for all
507: positive integers \(n\). If \(n\) is a non-unit, then \(\norm{f^n} <
508: \norm{f}^n\) for all \(n>1\).
509: \end{lemma}
510: \begin{proof}
511: The first assertion is trivial, so suppose that \(f\) is a
512: non-unit. From Corollary~\ref{cor:normprod} we
513: have that \(\norm{f^n} \le \norm{f}^n\). If \(\norm{f}=1/k\),
514: \(k>1\), i.e. \(f(k) \neq 0\) but \(f(j) =
515: 0\) for \(j < k\), then \(f^2(k^2) = 0\) since \(\gcd(k,k) = k >
516: 1\). It follows that \(\norm{f^2} > \norm{f}^2\), from which the
517: result follows.
518: \end{proof}
519:
520: Recall that in a normed ring, a non-zero element \(f\) is called
521: \begin{itemize}
522: \item \emph{topologically nilpotent} if \(f^n \to 0\),
523: \item \emph{power-multiplicative} if \(\norm{f^n}=\norm{f}^n\) for all
524: \(n\),
525: \item \emph{multiplicative} if \(\norm{fg}=\norm{f}\norm{g}\) for all
526: \(g\) in the ring.
527: \end{itemize}
528:
529: \begin{theorem}\label{thm:topsim}
530: Let \(f \in ((\UNI,+,\oplus),\norm{\cdot})\), \(f \neq\mathbf{0}\). Then
531: the following are equivalent:
532: \begin{enumerate}
533: \item \(f\) is topologically nilpotent,
534: \item \(f\) is not power-multiplicative,
535: \item \(f\) is not multiplicative\footnote{This is not the same
536: concept as multiplicativity for arithmetical functions,
537: i.e. that \(f(nm)=f(n)f(m)\) whenever \((n,m)=1\). However,
538: since the latter kind of elements satisfy \(f(1)=1\), they are
539: units, and hence multiplicative in the normed-ring sense.} in the normed ring
540: \((\UNI,+,\oplus),\norm{\cdot})\),
541: \item \(f\) is a non-unit,
542: \item \(\norm{f} < 1\).
543: \end{enumerate}
544: \end{theorem}
545: \begin{proof}
546: Using \cite[1.2.2, Prop. 2]{NonArch}, this follows from the
547: previous Lemma, and the fact that for a unit
548: \(f\),
549: \begin{displaymath}
550: 1= \norm{f^{-1}} = \norm{f}^{-1}.
551: \end{displaymath}
552: \end{proof}
553:
554: \begin{subsection}{A Schauder basis for \((\UNI,\norm{\cdot})\)}
555: \begin{definition}
556: Let \(\UNI'\) denote the subset of \(\UNI\) consisting of
557: functions with finite support. We define a pairing
558: \begin{equation}
559: \label{eq:pairing}
560: \begin{split}
561: \UNI \times \UNI' & \to \C \\
562: \left \langle f,g \right \rangle & = \sum_{k=1}^\infty f(k) g(k)
563: \end{split}
564: \end{equation}
565: \end{definition}
566:
567:
568:
569: \begin{theorem}\label{thm:dense}
570: The set
571: \begin{math}
572: \label{eq:genset}
573: \setsuchas{e_{k}}{k \in \Nat^+}
574: \end{math}
575: is an ordered orthogonal Schauder base in the normed vector space
576: \((\UNI, \norm{\cdot})\). In other words,
577: if \(f \in \UNI\) then
578: \begin{equation}
579: \label{eq:fis}
580: f = \sum_{k=1}^\infty c_k e_k, \qquad c_k \in \C
581: \end{equation}
582: where
583: \begin{enumerate}[(i)]
584: \item \(\norm{e_k} \to 0\),
585: \item the infinite sum \eqref{eq:fis} converges w.r.t. the
586: ultrametric topology,
587: \item the coefficients \(c_k\) are
588: uniquely determined by the fact that
589: \begin{equation}
590: \label{eq:langle}
591: \left\langle f, e_k \right\rangle = f(k) = c_k
592: \end{equation}
593: \item
594: \begin{equation}
595: \label{eq:orthogonal}
596: \max_{k \in \Nat^+} \set{\norm{c_k}\norm{e_k}} = \norm{
597: \sum_{k=1}^\infty c_k e_k}
598: \end{equation}
599: \end{enumerate}
600:
601: The set \(\setsuchas{e_p}{p \in \mathcal{PP}}\) generates a dense
602: subalgebra of \(((\UNI,+,\oplus), \norm{\cdot})\).
603: \end{theorem}
604: \begin{proof}
605: It is proved in \cite{vring} that this set
606: is a Schauder base in the topological vector space \((\UNI,
607: \norm{\cdot})\). It also follows
608: from \cite{vring} that the coefficients \(c_k\) in
609: \eqref{eq:genset} are given by \(c_k=f(k)\).
610:
611: It remains to prove orthogonality. With the above notation,
612: \begin{displaymath}
613: \norm{f} = \norm{\sum_{k=1}^\infty c_k e_k}=1/j,
614: \end{displaymath}
615: where \(j\)
616: is the smallest \(k\) such that \(c_k \neq 0\). Recalling that
617: \(\C\) is trivially normed, we have that
618: \begin{displaymath}
619: \norm{c_k}\norm{e_k} =
620: \begin{cases}
621: \norm{e_k} = 1/k & \text{ if }c_k \neq 0 \\
622: 0 & \text{ if } c_k = 0
623: \end{cases},
624: \end{displaymath}
625: so \(\max_{k \in \Nat^+} \set{\norm{c_k}\norm{e_k}} = 1/j\),
626: with \(j\) as above, so
627: \eqref{eq:orthogonal} holds.
628:
629: By Lemma~\ref{lemma:uniq} any \(e_k\) can be written as a
630: square-free monomial in the elements of
631: \(\setsuchas{e_p}{p \in \mathcal{PP}}\). The set
632: \(\setsuchas{e_k}{k \in \Nat^+}\) is dense in \(\UNI\), so
633: \(\setsuchas{e_p}{p \in \mathcal{PP}}\) generates a dense subalgebra.
634: \end{proof}
635:
636:
637: Let \(J \subset \mathfrak{m}\) denote the ideal generated by all \(e_k\),
638: \(k>1\).
639:
640: \begin{lemma}\label{lemma:mnotfg}
641: \(J\) is not finitely generated.
642: \end{lemma}
643: \begin{proof}
644: If \(J\) is finitely generated, then
645: there is an \(N\) such that
646: \begin{displaymath}
647: J = \left( e_2, \dots, e_N \right).
648: \end{displaymath}
649: Let \(L\) be a prime number, \(L > N\).
650: Since \(e_L \in J\), we have that
651: \begin{displaymath}
652: e_L = \sum_{k=2}^N f_k \oplus e_k, \qquad f_k \in \UNI.
653: \end{displaymath}
654: We write \(f_k = \sum_{i=1}^\infty c_{ki} e_i\), so that
655: \begin{displaymath}
656: e_L = \sum_{k=2}^N e_k \oplus \sum_{i=1}^\infty c_{ik} e_i =
657: \sum_{k=2}^N \sum_{i=1}^\infty c_{ik} e_i \oplus e_k =
658: \sum_{k=2}^N \sum_{\gcd(i,k) = 1} c_{ik} e_{ik}.
659: \end{displaymath}
660: But this is impossible, because we can not write \(L=ik\) with
661: \(\gcd(i,k)=1\) and \(2 \le i \le N < L\).
662: \end{proof}
663:
664:
665:
666: \begin{definition}
667: An ideal \(I \subset \UNI\) is called quasi-finite if there
668: exists a sequence \((g_k)_{k=1}^\infty\) in \(I\) such that
669: \(\norm{g_k} \to 0\) and such that every element \(f \in I\) can be
670: written (not necessarily uniquely) as a convergent sum
671: \begin{equation}
672: \label{eq:qf}
673: f = \sum_{k=0}^\infty a_k \oplus g_k, \qquad a_k \in \UNI
674: \end{equation}
675: \end{definition}
676:
677: \begin{lemma}
678: \(\mathfrak{m}\) is quasi-finite.
679: \end{lemma}
680: \begin{proof}
681: By Theorem~\ref{thm:dense} the set \(\setsuchas{e_k}{k > 1}\) is a
682: quasi-finite generating set for \(\mathfrak{m}\).
683: \end{proof}
684: Since all ideals are contained in \(\mathfrak{m}\), it follows
685: that any ideal containing \(\setsuchas{e_k}{k > 1}\) is
686: quasi-finite. Furthermore, such an ideal has \(\mathfrak{m}\) as
687: its closure. In particular, \(J\) is quasi-finite, but not closed.
688:
689:
690: \begin{theorem}
691: All (non-zero) ideals in \(\UNI\) are quasi-finite.
692: In fact, given any subspace \(I\) if we can find
693: \begin{equation}
694: \label{eq:G}
695: G(I) := (g_k)_{k=1}^\infty
696: \end{equation}
697: such that for all \(f \in I\),
698: \begin{equation}
699: \label{eq:qua}
700: \exists c_1,c_2,c_3,\dots \in \C, \qquad f = \sum_{i=1}^\infty c_i g_i.
701: \end{equation}
702: So all subspaces possesses a Schauder basis.
703: \end{theorem}
704: \begin{proof}
705: We construct \(G(I)\) in the following way: for each
706: \begin{displaymath}
707: k \in
708: \setsuchas{\ord(f)}{f \in I \setminus \set{\mathbf{0}}} =: N(I)
709: \end{displaymath}
710: we
711: choose a \(g_k \in I\) with \(\ord(g_k)=k\), and with
712: \(g_k(k)=1\). In other words, we make sure that the ``leading
713: coefficient'' is 1; this can always be achieved since the
714: coefficients lie in a field. For \(k \not \in N(I)\) we put
715: \(g_k = \mathbf{0}\).
716:
717: To show that this choice of elements satisfy \eqref{eq:qua},
718: take any \(f \in I\), and put
719: \(f_0=f\). Then define recursively, as long as \(f_i \neq \mathbf{0}\),
720: \begin{align*}
721: n_i &:= N(f_i) \\
722: \C \ni a_i &:= f_i(n_i)\\
723: \UNI \ni f_{i+1} &:= f_i - a_i g_{n_i}
724: \end{align*}
725: Of course, if \(f_i= \mathbf{0}\), then we have expressed \(f\)
726: as a linear combination of \[g_{n_1},\dots,g_{n_{i-1}},\] and we are
727: done. Otherwise, note that by induction \(f_i \in I\), so \(n_i
728: \in N(I)\), hence \(g_{n_i} \neq 0\).
729: Thus \(\ord(f_{i+1}) > \ord(f_i)\), so \(\norm{f_{i+1}} <
730: \norm{f_i}\), whence
731: \begin{displaymath}
732: \norm{f_0} > \norm{f_1} > \norm{f_2} > \cdots \to 0.
733: \end{displaymath}
734: But \[f_{i+1} = f-\sum_{j=1}^i a_j g_{n_j},\] so
735: \begin{displaymath}
736: F_i := \sum_{j=1}^i a_j g_{n_j} \to f,
737: \end{displaymath}
738: which shows that
739: \(\sum_{j=1}^\infty a_j g_j=f\).
740: \end{proof}
741:
742: \end{subsection}
743:
744:
745: \end{section}
746:
747:
748:
749:
750:
751:
752:
753:
754:
755:
756:
757:
758:
759:
760:
761:
762:
763:
764:
765: \begin{section}{A fundamental isomorphism}
766: \begin{subsection}{The monoid of separated monomials}
767: Let
768: \begin{equation}
769: \label{eq:Y}
770: Y = \setsuchas{y_i^{(j)}}{i,j \in \Nat^+}
771: \end{equation}
772: be an infinite set of variables, in bijective correspondence with the
773: integer lattice points in the first quadrant minus the axes. We call
774: the subset
775: \begin{equation}
776: \label{eq:column}
777: Y_{i} = \setsuchas{y_i^{(j)}}{j \in \Nat^+}
778: \end{equation}
779: the \emph{\(i\)'th column} of \(Y\).
780:
781:
782:
783:
784:
785:
786: Let \([Y]\) denote the free
787: abelian monoid on \(Y\), and let
788: %\([Y']\) denote the subset of
789: %square-free monomials. We regard \([Y']\) as a
790: % monoid-with-zero, so that the multiplication is given by
791: % \begin{equation}
792: % \label{eq:zeromult}
793: % m \times m' =
794: % \begin{cases}
795: % mm' & mm' \in [Y'] \\
796: % 0 & \text{ otherwise}
797: % \end{cases}
798: % \end{equation}
799: %
800: %
801: % Similarly, let
802: %
803: \(\M\) be the subset of \emph{separated monomials},
804: i.e. monomials in which no two occurring variables come from the same
805: column:
806: \begin{equation}
807: \label{eq:MM}
808: \M = \setsuchas{y_{i_1}^{(j_1)} y_{i_2}^{(j_1)} \cdots y_{i_r}^{(j_r)}}{ 1 \le i_i < i_2
809: < \cdots i_r}
810: \end{equation}
811:
812:
813: %\noindent
814: % \begin{figure}[htbp]
815: %\tiny{
816: % \setlength{\unitlength}{0.7cm}
817: % \parbox{5cm}{
818: % \begin{picture}(6,7)(-1,-1)
819:
820:
821: % \multiput(0.3,0)(0,1){6}{\multiput(0,0)(1,0){6}{\circle*{0.1}}}
822:
823:
824: % \put(0.0,0.2){\(y_{1,1}\)}
825: % \put(0.0,1.2){\(y_{1,2}\)}
826: % \put(0.0,2.2){\(y_{1,3}\)}
827: % \put(0.0,3.2){\(y_{1,4}\)}
828: % \put(1.0,0.2){\(y_{2,1}\)}
829: % \put(1.0,1.2){\(y_{2,2}\)}
830: % \put(1.0,2.2){\(y_{2,3}\)}
831: % \put(1.0,3.2){\(y_{2,4}\)}
832: % \put(2.0,0.2){\(y_{3,1}\)}
833: % \put(2.0,1.2){\(y_{3,2}\)}
834: % \put(2.0,2.2){\(y_{3,3}\)}
835: % \put(2.0,3.2){\(y_{3,4}\)}
836: % \put(3.0,0.2){\(y_{4,1}\)}
837: % \put(3.0,1.2){\(y_{4,2}\)}
838: % \put(3.0,2.2){\(y_{4,3}\)}
839: % \put(3.0,3.2){\(y_{4,4}\)}
840:
841: % \put(0.9,-0.5){\line(1,0){0.7}}
842: % \put(0.9,-0.5){\line(0,1){6}}
843: % \put(1.6,-0.5){\line(0,1){6}}
844:
845: % \end{picture}
846: % }
847: % \hspace{1cm}
848: % \parbox{4cm}{
849: % \begin{picture}(7,7)(-1,-1)
850:
851:
852: % \multiput(0.3,0)(0,1){6}{\multiput(0,0)(1,0){6}{\circle*{0.1}}}
853:
854:
855: % \put(0.0,0.2){\(y_{1,1}\)}
856: % \put(0.0,1.2){\(y_{1,2}\)}
857: % \put(0.0,2.2){\(y_{1,3}\)}
858: % \put(0.0,3.2){\(y_{1,4}\)}
859: % \put(1.0,0.2){\(y_{2,1}\)}
860: % \put(1.0,1.2){\(y_{2,2}\)}
861: % \put(1.0,2.2){\(y_{2,3}\)}
862: % \put(1.0,3.2){\(y_{2,4}\)}
863: % \put(2.0,0.2){\(y_{3,1}\)}
864: % \put(2.0,1.2){\(y_{3,2}\)}
865: % \put(2.0,2.2){\(y_{3,3}\)}
866: % \put(2.0,3.2){\(y_{3,4}\)}
867: % \put(3.0,0.2){\(y_{4,1}\)}
868: % \put(3.0,1.2){\(y_{4,2}\)}
869: % \put(3.0,2.2){\(y_{4,3}\)}
870: % \put(3.0,3.2){\(y_{4,4}\)}
871:
872: % \put(1.3,0.2){\circle{0.7}}
873: % \put(2.3,1.2){\circle{0.7}}
874: % \put(3.3,3.2){\circle{0.7}}
875:
876: % \end{picture}
877: % }
878: % \caption{\(Y\) and the second column
879: % \(Y_{2,\cdot}\). The separated monomial \(y_{2,1}y_{3,2} y_{4,4}\)}
880: % \label{fig:sep}
881: %}
882: % \end{figure}
883:
884: We regard \(\M\) as a
885: monoid-with-zero, so that the multiplication is given by
886: \begin{equation}
887: \label{eq:mmmult}
888: m \oplus m' =
889: \begin{cases}
890: mm' & mm' \in \M \\
891: 0 & \text{ otherwise}
892: \end{cases}
893: \end{equation}
894: Note that the zero is exterior to \(\M\), i.e. \(0 \not \in
895: \M\). The set \(\M \cup \set{0}\) is a (non-cancellative) monoid if
896: we define \(m \oplus 0 = 0\) for all \(m \in \M\).
897:
898: Recall that \(\mathcal{PP}\) denotes the set of
899: prime powers. It follows from the fundamental theorem of arithmetic that any
900: positive integer
901: \(n\) can be uniquely written as a \emph{square-free} product of prime
902: powers. Hence we have that
903: \begin{equation}
904: \label{eq:phi1}
905: \begin{split}
906: \sqbij: Y & \to \mathcal{PP} \\
907: y_i^{(j)} & \mapsto p_i^j
908: \end{split}
909: \end{equation}
910: is a bijection which can be extended to a bijection
911: \begin{equation}
912: \label{eq:phi2}
913: \begin{split}
914: \sqbij: \M & \to \Nat^+ \\
915: 1 & \mapsto 1\\
916: y_{i_1}^{(j_1)} \cdots y_{i_r}^{(j_r)} & \mapsto p_{i_1}^{j_1} \cdots
917: p_{i_r}^{j_r}
918: \end{split}
919: \end{equation}
920: If we regard \(\Nat^+\) as a monoid-with-zero with the operation
921: \(\oplus\) of \eqref{eq:unitmm}, then \eqref{eq:phi2} is a
922: monoid-with-zero isomorphism.
923:
924: %and to a surjection
925: %\begin{equation}
926: % \label{eq:phi3}
927: % \begin{split}
928: % \sqbij: [Y] & \to \Nat^+ \\
929: % 1 & \mapsto 1\\
930: % y_{i_1}^{(j_1)} \cdots y_{i_r}^{(j_r)} & \mapsto p_{i_1}^{j_1} \cdots
931: % p_{i_r}^{j_r}
932: %\end{split}
933: %\end{equation}
934:
935: \end{subsection}
936:
937:
938:
939:
940: \begin{subsection}{The ring \(\UNI\) as a generalized power series
941: ring, and as a quotient of \(\C[[Y]]\)}
942:
943: Let \(R\) be the large power series ring on \([Y]\), i.e. \(R=C[[Y]]\)
944: consists of all formal power series \(\sum c_\vektor{\alpha}
945: \vektor{y}^\vektor{\alpha}\), where the sum is over all multi-sets
946: \(\vektor{\alpha}\) on \(Y\).
947: %Let \(R_2= \frac{R}{\SQ}\),
948: %where \(\SQ\) is the ideal generated by \(\setsuchas{y_i^{(j)}^2}{i,j
949: % \in \Nat^+}\).
950: %Then \(\SQ \subset \SQA\) and hence \(R_3\) is a
951: %quotient of \(R_2\).
952:
953:
954: % \(R_2\) can be regarded as a generalised monoid-with-zero ring
955: % of \([Y']\), i.e.
956: % \(R_2\) is the set of all formal power series
957: % \begin{equation}
958: % \label{eq:formal}
959: % \sum_{m \in [Y']} f(m) m
960: % \end{equation}
961: % with multiplication
962: % \begin{equation}
963: % \label{eq:R2conv2}
964: % \begin{split}
965: % \left( \sum_{m \in [Y']} f(m) m \right) \times
966: % \left( \sum_{m \in [Y']} g(m) m \right) &=
967: % \left( \sum_{m \in [Y']} h(m) m \right) \\
968: % h(m) &= f \times g(m) =
969: % \sum_{s \times t=m} f(s)g(t)
970: % \end{split}
971: % \end{equation}
972:
973:
974:
975: Let \(S\) be the generalized monoid-with-zero ring on \(\M\).
976: By this, we mean that \(S\) is the set of all formal power series
977: \begin{equation}
978: \label{eq:formalM}
979: \sum_{m \in \M} f(m) m
980: \end{equation}
981: with component-wise addition, and
982: with multiplication
983: \begin{equation}
984: \label{eq:R3conv2}
985: \begin{split}
986: \left( \sum_{m \in \M} f(m) m \right) \oplus
987: \left( \sum_{m \in \M} g(m) m \right) &=
988: \left( \sum_{m \in \M} h(m) m \right) \\
989: h(m) &= (f \oplus g)(m) =
990: \sum_{s \oplus t = m} f(s)g(t)
991: \end{split}
992: \end{equation}
993:
994: Define
995: \begin{align}
996: \supp(\sum_{m \in [Y]} c_m m) &= \setsuchas{m \in Y}{c_m \neq 0} \\
997: \supp(\sum_{m \in \M} c_m m) &= \setsuchas{m \in \M}{c_m \neq 0} \\
998: \end{align}
999:
1000: Let furthermore
1001: \begin{equation}
1002: \label{eq:sqa}
1003: \SQA = \setsuchas{f \in R}{\supp(f) \cap \M = \emptyset}
1004: \end{equation}
1005:
1006:
1007:
1008: %\begin{definition}\label{def:ealpha}
1009: % For each multi-index \(\vektor{\alpha}=(\alpha_1,\dots,\alpha_n)\),
1010: % we define \(e_{\vektor{\alpha}} = e_{p_1^{\alpha_1} \cdots
1011: % p_n^{\alpha_n}} \in \UNI\).
1012: %\end{definition}
1013:
1014:
1015: \begin{theorem}\label{thm:iso}
1016: \(S\) and \(\frac{R}{\SQA}\) and \(\UNI\) are isomorphic as
1017: \(\C\)-algebras.
1018: \end{theorem}
1019: \begin{proof}
1020: The bijection \eqref{eq:phi2} induces a bijection between \(S\)
1021: and \(\UNI\) which is an isomorphism because of the way
1022: multiplication is defined on \(S\). In detail, the isomorphism is
1023: defined by
1024: \begin{equation}
1025: \begin{split}
1026: \label{eq:triviso}
1027: S \ni \sum_{m \in \M} c_m m & \mapsto f \in \UNI \\
1028: f(\Phi(m)) &= c_m
1029: \end{split}
1030: \end{equation}
1031:
1032:
1033: For the second part, consider the epimorphism
1034: \begin{align*}
1035: \phi: R &\to S \\
1036: \phi \left( \sum_{m \in [Y]} c_m m \right) &=
1037: \sum_{m \in \M} c_m m
1038: \end{align*}
1039: Clearly, \(\ker(\phi) = \SQA\), hence \(S \simeq
1040: \frac{R}{\ker(\phi)} = \frac{R}{\SQA}\).
1041: \end{proof}
1042:
1043: Let us exemplify this isomorphism by noting that \(e_n\), where \(n\)
1044: has the square-free factorization
1045: \(n=p_1^{a_1} \cdots p_r^{a_r}\), corresponds
1046: to the square-free monomial \(y_{1}^{(a_1)} \cdots y_{r}^{(a_r)}\), and that
1047:
1048: \begin{equation}
1049: \label{eq:oneis}
1050: \mathbf{1} = \sum_{m \in \M} m
1051: = \prod_{i=1}^\infty \left( 1+\sum_{j=1}^\infty y_i^{(j)} \right)
1052: \end{equation}
1053:
1054: What does its inverse \(\mu^*\) correspond to?
1055:
1056: \begin{definition}
1057: For \(m \in \M\), we denote by \(\tdeg{m}\) the number of occurring
1058: variables in \(m\) (by definition, \(\tdeg{1}=0\) and
1059: \(\tdeg{0}=-\infty\)). For
1060: \begin{displaymath}
1061: S \ni f
1062: = \sum_{m \in \M} c_m m
1063: \end{displaymath}
1064: we put
1065: \begin{equation}
1066: \label{eq:abs}
1067: \tdeg{f} = \min \setsuchas{\tdeg{m}}{c_m \neq 0}
1068: \end{equation}
1069: Using the isomorphism between \(S\) and \(\UNI\), we define
1070: \(\tdeg{g}\) for any \(g \in \UNI\) by
1071: \begin{displaymath}
1072: \tdeg{g} = \min \setsuchas{\omega(n)}{f(n) \neq 0}.
1073: \end{displaymath}
1074: \end{definition}
1075:
1076: It is known (see \cite{Afunc}) that
1077: %\begin{equation}
1078: % \label{eq:dstar}
1079: % (\mathbf{1} \oplus \mathbf{1})(r) = d^*(r) = 2^{\omega(r)}
1080: %\end{equation}
1081: %and that
1082: \begin{equation}
1083: \label{eq:omegastart}
1084: \mu^*(r)=(-1)^{\omega(r)}
1085: \end{equation}
1086: We then have that \(\mu^*\) corresponds to
1087: \begin{equation}
1088: \label{eq:mus}
1089: {\mathbf{1}}^{-1} = \frac{1}{\prod_{i=1}^\infty \left(
1090: 1+\sum_{j=1}^\infty y_i^{(j)} \right)} = \prod_{i=1}^\infty
1091: \frac{1}{ 1+\sum_{j=1}^\infty y_i^{(j)}}
1092: =\sum_{m \in \M} (-1)^{\tdeg{m}} m
1093: \end{equation}
1094:
1095: Recall that \(f \in \UNI\) is a \emph{multiplicative} arithmetic
1096: function if \(f(nm)=f(n)f(m)\) whenever \((n,m)=1\). Regarding \(f\)
1097: as an element of \(S\) we have that \(f\) is multiplicative if and
1098: only if it can be written as
1099: \begin{equation}
1100: \label{eq:multiplicative}
1101: f = \prod_{i=1}^\infty \left(1 + \sum_{j=1}^\infty c_{i,j} y_i^{(j)}
1102: \right)
1103: \end{equation}
1104: It is now easy to see that the multiplicative functions form a group
1105: under multiplication.
1106: \end{subsection}
1107:
1108:
1109: \begin{subsection}{The continuous endomorphisms}
1110: In \cite{vring}, Schwab and Silberberg characterized all continuous
1111: endomorphisms of \(\Gamma\). We give the corresponding result for \(\UNI\):
1112: \begin{theorem}
1113: Every continuous endomorphism \(\theta\) of the \(\C\)-algebra
1114: \(S \simeq \UNI\) is defined by
1115: \begin{equation}
1116: \label{eq:endo}
1117: \theta(y_i^{(j)}) = \gamma_{i,j}
1118: \end{equation}
1119: where
1120: \begin{equation}
1121: \label{eq:kernel}
1122: \gamma_{i,j} \gamma_{i,k} = 0 \qquad \text{ for all } i,j,k
1123: \end{equation}
1124: and
1125: \begin{equation}
1126: \label{eq:cont}
1127: \gamma_{a_1(n),b_1(n)} \cdots \gamma_{a_r(n),b_r(n)} \to
1128: 0 \qquad \text{ as } n = p_{a_1(n)}^{b_1(n)} \cdots
1129: p_{a_r(n)}^{b_r(n)}
1130: \to \infty
1131: \end{equation}
1132: \end{theorem}
1133: \begin{proof}
1134: Recall that \(S \simeq \frac{R}{\SQA}\), where \(R= \C[[Y]]\)
1135: and \(\SQA\) is the closure of the ideal generated by all non-separated quadratic
1136: monomials \(y_i^{(j)}y_{i}^{(k)}\). Since the set of square-free monomials
1137: in the \(y_i^{(j)}\)'s form a Schauder base, any continuous
1138: \(C\)-algebra endomorphism \(\theta\) of \(S\) is
1139: determined by its values on the \(y_i^{(j)}\)'s, and must fulfill
1140: \eqref{eq:cont}. Since \(y_i^{(j)}y_{i}^{(k)} = 0\) in \(S\), we must
1141: have that
1142: \begin{displaymath}
1143: \theta(0) = \theta(y_i^{(j)}y_{i}^{(k)}) =
1144: \theta(y_i^{(j)})\theta(y_{i}^{(k)}) =
1145: \gamma_{i,j} \gamma_{i,k} = 0.
1146: \end{displaymath}
1147: \end{proof}
1148:
1149: \end{subsection}
1150:
1151:
1152:
1153:
1154: \end{section}
1155:
1156:
1157:
1158:
1159:
1160:
1161:
1162:
1163:
1164:
1165: \begin{section}{Nilpotent elements and zero divisors}
1166: \newcommand{\psupp}{\mathrm{psupp}}
1167: \newcommand{\lp}{\mathrm{lp}}
1168: \newcommand{\existsunique}{\exists !}
1169: \begin{definition}
1170: For \(m \in \Nat^+\), define the \emph{prime support} of \(m\) as
1171: \begin{equation}
1172: \label{eq:primesupp}
1173: \psupp(m)=\setsuchas{p \in \mathcal{P}}{\divides{p}{m}}
1174: \end{equation}
1175: and (when \(m>1\)) the \emph{leading prime} as
1176: \begin{equation}
1177: \label{eq:lp}
1178: \lp(m) = \min \psupp(m)
1179: \end{equation}
1180: For \(n \in \Nat^+\), put
1181: \begin{equation}
1182: \label{eq:supportfilt}
1183: A^{n} = \setsuchas{k \in \Nat^+}{\divides{p_n}{k} \text{ but }
1184: \dividesnot{p_i}{k} \text{ for } i < n} =
1185: \setsuchas{k \in \Nat^+}{\lp(k) = p_n}
1186: \end{equation}
1187: Then \(\Nat^+ \setminus \set{1}\) is a disjoint union
1188: \begin{equation}
1189: \label{eq:disj}
1190: \Nat^+ \setminus \set{1} = \bigsqcup_{i=1}^\infty A^{i}
1191: \end{equation}
1192: \end{definition}
1193:
1194: \begin{definition}\label{def:canonical}
1195: Let \(f \in \UNI\) be a non-unit. The \emph{canonical decomposition}
1196: of \(f\) is the unique way of expressing \(f\) as a convergent sum
1197: \begin{equation}
1198: \label{eq:cansum}
1199: f = \sum_{i=1}^\infty f_i, \quad f_i = \sum_{k \in A^i}{f(k) e_k}
1200: \end{equation}
1201: The element \(f\) is said to be of \emph{polynomial type} if
1202: all but finitely many of the \(f_i\)'s are zero. In that case, the
1203: largest \(N\) such that \(f_N \neq \mathbf{0}\) is called the
1204: \emph{filtration degree} of \(f\).
1205: \end{definition}
1206:
1207: \begin{lemma}\label{lemma:jonce}
1208: \begin{equation}
1209: \label{eq:fi}
1210: f_i = \sum_{j=1}^\infty e_{p_i^j}
1211: \oplus g_{i,j}, \quad r \le i, \quad \divides{p_r}{n} \,\,
1212: \implies \, g_{i,j}(n)=0.
1213: \end{equation}
1214: For any \(n\) there is at most one pair \((i,j)\) such that
1215: \begin{displaymath}
1216: \left(e_{p_i^j} \oplus g_{i,j}\right)(n) \neq 0.
1217: \end{displaymath}
1218: More precisely, if
1219: \begin{displaymath}
1220: n=p_{i_1}^{j_1} \cdots p_{i_r}^{j_r}, \qquad i_1 < \cdots < i_r,
1221: \end{displaymath}
1222: then \(\left(e_{p_{i_1}^{j_1}} \oplus g_{i_1,j_1}\right)(n)\) may
1223: be non zero.
1224: \end{lemma}
1225:
1226: \begin{definition}
1227: For \(k \in \Nat\), define
1228: \begin{equation}
1229: \label{eq:Iid}
1230: I_{k} = \setsuchas{f \in \UNI}{f(n)=0 \text{ for every } n \text{
1231: such that } (n,p_1p_2 \cdots p_k)=1}
1232: \end{equation}
1233: \end{definition}
1234: \begin{lemma}
1235: \(I_k\) is an ideal in \((\UNI,+,\oplus)\).
1236: \end{lemma}
1237: \begin{proof}
1238: It is shown in \cite{dvar} that the \(I_k\)'s form an ascending chain
1239: of ideals in \((\UNI,+,\cdot)\). They are also easily seen to be
1240: ideals in \((\UNI,+,\oplus)\): if
1241: \[f \in I_k, \,g \in \UNI \text{ and }
1242: (n,p_1p_2 \cdots p_k)=1\] then
1243: \begin{displaymath}
1244: (f \oplus g)(n) = \sum_{\ddivides{d}{n}} f(d) g(n/d) = 0,
1245: \end{displaymath}
1246: since \((d,p_1p_2 \cdots p_k)=1\) for any unitary divisor of \(n\).
1247: \end{proof}
1248:
1249: \begin{thm}\label{thm:fszN}
1250: Let \(N \in \Nat^+\), and let \(f \in (\UNI,+,\oplus)\) be a
1251: non-unit. Then
1252: \begin{align*}
1253: \label{eq:eq:eqideal}
1254: I_N &= \ann(e_{p_1 \cdots p_N}) \\
1255: &= \set{\mathbf{0}} \cup
1256: \setsuchas{f \in \UNI}{f \text{ is of
1257: polynomial type and has filtration degree } N} \\
1258: &=\overline{\UNI \setsuchas{e_{p_i^a}}{a ,i \in \Nat^+,\, i \le N}}
1259: \end{align*}
1260: where \(\overline{\UNI W}\) denotes the topological closure of the
1261: ideal generated by the set \(W\).
1262: \end{thm}
1263: \begin{proof}
1264: If \(f \in I_N\) then for all \(k\)
1265: \begin{equation}
1266: \quad (f \oplus e_{p_1 \cdots p_N}) (k) =
1267: \sum_{a \oplus p_1 \cdots p_N = k} f(a) e_{p_1 \cdots p_N} (p_1
1268: \cdots p_N) =
1269: \sum_{a \oplus p_1 \cdots p_N = k} f(a) =0
1270: \end{equation}
1271: so \(f \in \ann(e_{p_1 \cdots p_N})\).
1272: Conversely, if \(f \in
1273: \ann(e_{p_1 \cdots p_N})\) then \((f \oplus e_{p_1 \cdots p_N}) (k)
1274: =0\) for all \(k\), hence if \((n,p_1 \cdots p_N)=1\) then
1275: \begin{equation}
1276: \label{eq:iszerois}
1277: 0 = (f \oplus e_{p_1 \cdots p_N}) (n p_1 \cdots p_N)
1278: = f(n) e_{p_1 \cdots p_N}( p_1 \cdots p_N) = f(n)
1279: \end{equation}
1280: hence \(f \in I_N\).
1281:
1282: If \(f \in I_N\) then for \(j > N\) we get that \(f_j =
1283: \mathbf{0}\), since
1284: \begin{displaymath}
1285: f_j(k) =
1286: \begin{cases}
1287: 0 & \text{ if } k \not \in A^j\\
1288: f(k) =0 & \text{ if } k \in A^j
1289: \end{cases}
1290: \end{displaymath}
1291: Hence \(f = \sum_{i=1}^N f_i\). Conversely, if \(f\) can be
1292: expressed thusly, then \(f(k)=f_{j_1}(k)=0\) for \(k=p_{j_1}^{a_1}
1293: \cdots p_{j_r}^{a_r}\) with \(N < j_1 < \cdots < j_r\).
1294:
1295: The last equality follows from Theorem~\ref{thm:dense}.
1296: \end{proof}
1297:
1298: \begin{thm}\label{thm:fsz}
1299: Let \(f \in \UNI\) be a non-unit. The following are equivalent:
1300: \begin{enumerate}[(i)]
1301: \item \label{en:pt} \(f\) is of polynomial type.
1302: \item \label{en:filt} \(f \in \cup_{k=0}^\infty I_k\),
1303: \item \label{en:fin}
1304: There is a finite subset
1305: \(Q \subset \mathcal{P}\) such that \(f(k) = 0\) for all \(k\)
1306: relatively prime to all \(p \in Q\).
1307: \item \label{en:ann}
1308: \(f \in \cup_{N=1}^\infty \ann(e_{p_1p_2\cdots p_N})\).
1309: \item \label{en:clos}
1310: \(f\) is contained in the topological closure of the ideal
1311: generated by the set
1312: \(\setsuchas{e_{p_i^a}}{a ,i \in \Nat^+,\, i \le N}\).
1313: \end{enumerate}
1314: If \(f\) has finite support, then it is of polynomial type.
1315: If \(f\) is of polynomial type, then it is nilpotent.
1316: \end{thm}
1317: \begin{proof}
1318: Clearly, a finitely supported \(f\) is of polynomial type.
1319: The equivalence \eqref{en:pt} \(\iff\) \eqref{en:filt}
1320: \(\iff\)\eqref{en:fin} \(\iff\) \eqref{en:ann} \(\iff\) \eqref{en:clos}
1321: follows from the previous theorem.
1322:
1323:
1324: If \(f\) is of polynomial type, say of filtration degree \(N\),
1325: then
1326: \begin{equation}
1327: \label{eq:sumform}
1328: f = \sum_{i=1}^N f_i
1329: \end{equation}
1330: and we see that if \(f^{N+1}\) is the \(N+1\)'st unitary
1331: power of \(f\), then \(f^{N+1}\) is the linear combination of monomials
1332: in the \(f_i\)'s, and none of these monomials are
1333: square-free. Since \(f_i \oplus f_i = \mathbf{0}\) for all \(i\),
1334: we have that \(f^{N+1}=\mathbf{0}\). So \(f\) is nilpotent.
1335: \end{proof}
1336:
1337: \begin{lemma}\label{lemma:poltypid}
1338: The elements of polynomial type forms an ideal.
1339: \end{lemma}
1340: \begin{proof}
1341: By the previous theorem, this set can be expressed as
1342: \begin{displaymath}
1343: \bigcup_{n=1}^\infty I_n,
1344: \end{displaymath}
1345: which is an ideal since each \(I_n\) is.
1346: \end{proof}
1347:
1348: \begin{question}
1349: Are all [nilpotent elements, zero divisors] of polynomial type?
1350: If one could prove that the zero divisors are precisely the elements
1351: of polynomial type, then by Lemma~\ref{lemma:poltypid} it would follow
1352: that
1353: \begin{math}
1354: Z(\UNI)
1355: \end{math}
1356: is an ideal, and moreover a prime ideal, since the product of two
1357: regular elements is regular (in any commutative ring). Then one could
1358: conclude \cite{zerodiv} that
1359: \((\UNI,+,\oplus)\) has \emph{few zero divisors}, hence is
1360: \emph{additively regular}, hence is a \emph{Marot ring}.
1361: \end{question}
1362:
1363:
1364: \begin{theorem}\label{thm:regN}
1365: \((\UNI,+,\oplus)\) contains infinitely many non-associate regular
1366: non-units.
1367: \end{theorem}
1368: \begin{proof}
1369: {\bf Step 1}. We first show that there is at least one such element.
1370: Let \(f \in \UNI\) denote the arithmetical function
1371: \begin{displaymath}
1372: f(k) =
1373: \begin{cases}
1374: 1 & k \in \mathcal{PP} \\
1375: 0 & \text{otherwise }
1376: \end{cases}
1377: \end{displaymath}
1378: Then \(f\) is a non-unit, and using a result by Yocom
1379: \cite{Yocom:totmult, dvar} we have that \(f\) is contained in a
1380: subring of \((\UNI,+,\oplus)\) which is a discrete valuation ring
1381: isomorphic to \(\C[[t]]\), the power series ring in one
1382: indeterminate. This ring is a domain, so \(f\) is not nilpotent.
1383:
1384: We claim that \(f\) is in fact regular.
1385: To show this, suppose that \(g \in \UNI\), \(f\oplus g =
1386: \mathbf{0}\). We will show that
1387: \(g = \mathbf{0}\).
1388:
1389:
1390: Any positive integer \(m\) can be written \(m=q_1^{a_1} \cdots q_r^{a_r}\),
1391: where the \(q_i\) are distinct prime numbers.
1392: If \(r=0\), then \(m=1\), and \(g(1)=0\), since
1393: \begin{displaymath}
1394: 0=(f\oplus g)(2) = f(2) g(1) = g(1).
1395: \end{displaymath}
1396: For the case \(r=1\), we want to show that \(g(q^a)=0\) for all
1397: prime numbers \(q\).
1398: Choose three different prime powers \(q_1^{a_1}\), \(q_2^{a_2}\), and \(q_3^{a_3}\).
1399: Then
1400: \begin{displaymath}
1401: 0 = f\oplus g(q_i^{a_i} q_j^{a_j}) = f(q_i^{a_i}) g(q_j^{a_j}) + f(q_j^{a_j}) g(q_i^{a_i}) =
1402: g(q_j^{a_j}) + g(q_i^{a_i}),
1403: \end{displaymath}
1404: when \(i \neq j\), \(i,j \in \set{1,2,3}\).
1405: In matrix notation, these three equations can be written as
1406: \begin{displaymath}
1407: \begin{bmatrix}
1408: 1 & 1 & 0 \\
1409: 1 & 0 & 1 \\
1410: 0 & 1 & 1
1411: \end{bmatrix}
1412: \begin{bmatrix}
1413: g(q_1^{a_1}) \\ g(q_2^{a_2}) \\ g(q_3^{a_3})
1414: \end{bmatrix}
1415: =
1416: \begin{bmatrix}
1417: 0 \\ 0 \\ 0
1418: \end{bmatrix}
1419: \end{displaymath}
1420: from which we conclude (since the determinant of the coefficient
1421: matrix is non-zero) that \(0 = g(q_1^{a_1}) = g(q_2^{a_2}) = g(q_3^{a_3})\).
1422:
1423: Now for the general case, \(r>1\). We need to show that
1424: that
1425: \begin{equation}
1426: \label{eq:mc}
1427: g(q_1^{a_1} \cdots q_r^{a_r}) = 0
1428: \end{equation}
1429: whenever \(q_1^{a_1}, \dots, q_r^{a_r}\) are pair-wise relatively
1430: prime prime powers.
1431:
1432: Choose \(N\) pair-wise relatively prime prime powers \(q_1^{a_1},
1433: \dots, q_N^{a_N}\).
1434: For each \(r+1\)-subset \(q_{s_1},\dots, q_{s_{r+1}}\) of this set
1435: we get a
1436: homogeneous linear equation
1437: \begin{multline}
1438: \label{eq:mc2}
1439: 0 = f\oplus g(q_{s_1} \dots q_{s_{r+1}}) = \\
1440: g(q_{s_2}\cdots q_{s_{r+1}} ) + g(q_{s_1} q_{s_3} \cdots
1441: q_{s_{r+1}} ) + \dots + g(q_{s_1} \cdots g_{s_r} )
1442: \end{multline}
1443: The matrix of the homogeneous linear equation system formed by all
1444: these equations is the incidence matrix of \(r\)-subsets (of a
1445: set of \(N\) elements) into \(r+1\)-subsets. It
1446: has full rank \cite{Wilson:design}. Since it consists of
1447: \(\binom{N}{r+1}\) equations and \(\binom{N}{r}\) variables,
1448: we get that
1449: for sufficiently large \(N\), the null-space is zero-dimensional,
1450: thus the homogeneous system has only the trivial solution.
1451: It follows, in particular, that \eqref{eq:mc} holds.
1452:
1453: Thus, \(g(m)=0\) for all \(m\), so \(f\) is a regular element.
1454:
1455:
1456: {\bf Step 2}. We construct infinitely many different regular non-units.
1457: Consider the element \(\tilde{f}\), with
1458: \begin{displaymath}
1459: \tilde{f}(k) =
1460: \begin{cases}
1461: c_k & k \in \mathcal{PP} \\
1462: 0 & \text{otherwise }
1463: \end{cases}
1464: \end{displaymath}
1465: and where the \(c_k\)'s are ``sufficiently generic'' non-zero
1466: complex numbers, then we claim that \(\tilde{f}\), too, is a
1467: regular non-unit.
1468: With \(g\), \(m\), \(r\) as before, we
1469: have that, for \(r=0\),
1470: \begin{displaymath}
1471: 0 = f\oplus g(p^a) = = f(p^a) g(1) = c_{p^a} g(1).
1472: \end{displaymath}
1473: We demand that \(c_{p^a} \neq 0\), then \(g(1)=0\).
1474:
1475: For a general \(r\), we argue as follows: the incidence matrices
1476: that occurred before will be replaced with ``generic'' matrices
1477: whose elements are \(c_k\)'s or zeroes, and which specialize, when
1478: setting all \(c_k=1\), to full-rank matrices. They must therefore
1479: have full rank, and the proof goes through.
1480:
1481:
1482: {\bf Step 3}. Let \(g\) be a unit in \(\UNI\), and \(\tilde{f}\) as above.
1483: We claim that
1484: if \(g \oplus f\) is of the above
1485: form, i.e. supported on \(\mathcal{PP}\), then \(g\) must be a
1486: constant. Hence there are infinitely
1487: many non-associate regular non-units of the above form.
1488:
1489: To prove the claim, we argue exactly as before, using the fact that
1490: \(g \oplus \tilde{f}\) is supported on \(\mathcal{PP}\).
1491: For \(m=q_1^{a_1} \cdots q_r^{a_r}\) as before, the case \(r=0\) yields
1492: nothing:
1493: \begin{displaymath}
1494: 0 = g\oplus \tilde{f}(1) = \tilde{f}(1) g(1) = 0 g(1)=0,
1495: \end{displaymath}
1496: neither does the case \(r=1\):
1497: \begin{displaymath}
1498: w = g\oplus \tilde{f}(q^a) = \tilde{f}(q^a) g(1),
1499: \end{displaymath}
1500: so \(g(1)\) may be non-zero.
1501: But for \(r=2\) we get
1502: \begin{displaymath}
1503: 0 = g\oplus \tilde{f}(q_1^{a_1}q_2^{a_2}) =
1504: \tilde{f}(q_1^{a_1}) g(q_2^{a_2}) +
1505: g(q_1^{a_1}) \tilde{f}(q_2^{a_2}),
1506: \end{displaymath}
1507: and also
1508: \begin{align*}
1509: 0 &= g\oplus \tilde{f}(q_1^{a_1}q_3^{a_3}) =
1510: \tilde{f}(q_1^{a_1}) g(q_3^{a_3}) +
1511: g(q_1^{a_1}) \tilde{f}(q_3^{a_3}) \\
1512: 0 &= g\oplus \tilde{f}(q_2^{a_2}q_3^{a_3}) =
1513: \tilde{f}(q_2^{a_2}) g(q_3^{a_3}) +
1514: g(q_1^{a_1}) \tilde{f}(q_3^{a_3})
1515: \end{align*}
1516: which means that
1517: \begin{displaymath}
1518: \begin{bmatrix}
1519: \tilde{f}(q_2^{a_2}) & \tilde{f}(q_1^{a_1}) & 0 \\
1520: \tilde{f}(q_3^{a_3}) & 0 & \tilde{f}(q_1^{a_1}) \\
1521: 0 & \tilde{f}(q_3^{a_3}) & \tilde{f}(q_2^{a_2})
1522: \end{bmatrix}
1523: \begin{bmatrix}
1524: g(q_1^{a_1}) \\ g(q_2^{a_2}) \\ g(q_3^{a_3})
1525: \end{bmatrix}
1526: =
1527: \begin{bmatrix}
1528: 0 \\ 0 \\ 0
1529: \end{bmatrix}
1530: \end{displaymath}
1531: By our assumptions, the coefficient matrix is non-singular, so
1532: only the zero solution exists, hence \(g(q_1^{a_1})=0\).
1533:
1534: An analysis similar to
1535: what we did before shows that \(g(q_1^{a_1}\cdots q_r^{a_r})=0\) for
1536: \(r > 1\).
1537: \end{proof}
1538:
1539: With the same method, one can easily show that the characteristic
1540: function on \(\mathcal{P}\) is regular.
1541:
1542:
1543: %%% Local Variables: ***
1544: %%% TeX-master:"unitary" ***
1545: %%% End: ***
1546:
1547: \end{section}
1548:
1549: \begin{section}{Some simple results on factorisation}
1550: Cashwell-Everett \cite{NumThe} showed that \((\UNI,+,\cdot)\) is a
1551: UFD. We will briefly treat the factorisation properties of \((\UNI,+,\oplus)\).
1552: Definitions and facts regarding factorisation in commutative rings with
1553: zero-divisors from the articles by Anderson and Valdes-Leon
1554: \cite{ZeroDiv1,ZeroDiv2} will be used.
1555:
1556: First, we note that since \((\UNI,+,\oplus)\) is quasi-local, it is
1557: présimplifiable, i.e. \(a \neq \mathbf{0}\), \(a = r \oplus a\)
1558: implies that \(r\) is a unit. It follows that for \(a,b \in \UNI\),
1559: the following three
1560: conditions are equivalent:
1561: \begin{enumerate}
1562: \item \(a,b\) are \emph{associates}, i.e. \(\UNI \oplus a = \UNI
1563: \oplus b\).
1564: \item \(a,b\) are \emph{strong associates}, i.e. \(a = u \oplus b\)
1565: for some unit \(u\).
1566: \item \(a,b\) are \emph{very strong associates}, i.e. \(\UNI \oplus a
1567: = \UNI \oplus b\) and
1568: either \(a=b=\mathbf{0}\), or \(a \neq \mathbf{0}\) and
1569: \(a=r\oplus b \implies r \in U(\UNI)\).
1570: \end{enumerate}
1571: We say that \(a \in \UNI\) is \emph{irreducible}, or an \emph{atom}, if
1572: \(a = b\oplus c\) implies
1573: that \(a\) is associate with either \(b\) or \(c\).
1574:
1575: \begin{theorem}\label{thm:atomic}
1576: \((\UNI,+,\oplus)\) is \emph{atomic}, i.e. all non-units can be
1577: written as a product of finitely many atoms. In fact, \((\UNI,+,\oplus)\) is a
1578: \emph{bounded factorial ring} (BFR), i.e. there is a bound on the
1579: length of all factorisations of an element.
1580: \end{theorem}
1581:
1582: \begin{proof}
1583: It follows from Lemma~\ref{lemma:isval} that the
1584: non-unit \(f\) has a factorisation into at most \(\tdeg{f}\) atoms.
1585: \end{proof}
1586:
1587:
1588:
1589: \begin{example}\label{ex:1}
1590: We have that \(e_2 \oplus (e_{2^k} + e_3) = e_6\) for all
1591: \(k\), hence \(e_6\) has an infinite number of non-associate
1592: irreducible divisors, and infinitely many factorisations into atoms.
1593: \end{example}
1594:
1595: \begin{example}\label{ex:2}
1596: The element \(h= e_{30}\) can be factored as \(e_2 \oplus
1597: e_3 \oplus e_5\), or as \((e_6 + e_{20}) \oplus (e_2 + e_5)\).
1598: \end{example}
1599:
1600: These examples show that \((\UNI,+,\oplus)\) is neither a
1601: \emph{half-factorial ring}, nor a \emph{finite factorisation ring},
1602: nor a \emph{weak finite factorisation ring}, nor an \emph{atomic
1603: idf-ring}.
1604:
1605:
1606:
1607:
1608:
1609:
1610:
1611:
1612: \end{section}
1613:
1614:
1615:
1616:
1617:
1618: \begin{section}{The subring of arithmetical functions supported on
1619: square-free integers}
1620: \newcommand{\SQF}{\mathcal{SQF}}
1621: \newcommand{\SQFS}{\mathfrak{C}}
1622: \newcommand{\sqfrest}{p}
1623: Let \(\SQF \subset \Nat^+\) denote the set of square-free integers,
1624: and put
1625: \begin{equation}
1626: \label{eq:sqfree}
1627: \SQFS = \setsuchas{f \in \UNI}{\supp(f) \subset \SQF}
1628: \end{equation}
1629: For any \(f \in \UNI\), denote by \(\sqfrest(f) \in \SQFS\) the restriction of
1630: \(f\) to \(\SQF\).
1631:
1632: \begin{theorem}
1633: \((\SQFS,+,\oplus)\) is a subring of \((\UNI,+,\oplus)\), and a
1634: closed \(\C\)-subalgebra with respect to the norm
1635: \(\norm{\cdot}\). The map
1636: \begin{equation}
1637: \label{eq:restmap}
1638: \begin{split}
1639: \sqfrest: \UNI & \to \SQFS\\
1640: f & \mapsto \sqfrest(f)
1641: \end{split}
1642: \end{equation}
1643: is a continuous \(\C\)-algebra epimorphism, and a retraction of the
1644: inclusion map \(\SQFS \subset \UNI\).
1645: \end{theorem}
1646: \begin{proof}
1647: Let \(f,g \in \SQFS\). If \(n \in \Nat^+ \setminus \SQF\) then
1648: \((f+g)(n) = f(n) + g(n) = 0\), and \(cf(n)=0\) for all \(c \in
1649: \C\). Since \(n \in \Nat^+ \setminus \SQF\), there is at least on
1650: prime \(p\) such that \(\divides{p^2}{n}\). If \(m\) is a
1651: unitary divisor of \(m\), then either \(m\) or \(n/m\) is divisible
1652: by \(p^2\). Thus \[(f \oplus g)(n) = \sum_{\ddivides{m}{n}} f(m)
1653: g(n/m) =0.\]
1654:
1655: If \(f_k \to f\) in \(\UNI\), and all \(f_k \in \SQFS\), let \(n \in
1656: \supp(f)\). Then there is an \(N\) such that \(f(n)=f_k(n)\) for all
1657: \(k \ge N\). But \(\supp(f_k) \subset \SQF\), so \(n \in
1658: \SQF\). This shows that \(\SQFS\) is a closed subalgebra of
1659: \(\UNI\).
1660:
1661: It is clear that \(\sqfrest(f+g)= \sqfrest(f) + \sqfrest(g)\) and
1662: that \(\sqfrest(cf)= c\sqfrest(f)\) for any \(c \in \C\). If \(n\)
1663: is not square-free, we have already showed that
1664: \begin{displaymath}
1665: 0=(\sqfrest(f) \oplus \sqfrest(g))(n) = \sqfrest((f \oplus g))(n).
1666: \end{displaymath}
1667: Suppose therefore that \(n\) is square-free. Then so is all its
1668: unitary divisors, hence
1669: \begin{multline*}
1670: \sqfrest(f \oplus g)(n) = (f \oplus g)(n) =
1671: \sum_{\ddivides{m}{n}} f(m) g(n/m) = \\
1672: \sum_{\ddivides{m}{n}}
1673: \sqfrest(f)(m) \sqfrest(g)(n/m) = (\sqfrest(f) \oplus \sqfrest(g))(n).
1674: \end{multline*}
1675:
1676: We have that \(\sqfrest(f)=f\) if and only if \(f \in \SQFS\), hence
1677: \(\sqfrest(\sqfrest(f))=\sqfrest(f)\), so \(\sqfrest\) is a
1678: retraction to the inclusion \(i: \SQFS \to \UNI\). In other words,
1679: \(\sqfrest \circ i = \mathrm{id}_\SQFS\).
1680: \end{proof}
1681:
1682: \begin{corr}
1683: The multiplicative inverse of an element in \(\SQFS\) lies in \(\SQFS\).
1684: \end{corr}
1685: \begin{proof}
1686: If \(f \in \SQFS\), \(f\oplus g = e_1\) then
1687: \begin{displaymath}
1688: e_1 = \sqfrest(e_1) = \sqfrest(f\oplus g) = \sqfrest(f)\oplus
1689: \sqfrest(g) = f \oplus \sqfrest(g),
1690: \end{displaymath}
1691: hence \(g= \sqfrest(g)\), so \(g \in \SQFS\).
1692:
1693: Alternatively, we can reason as follows. If \(f\) is a unit in
1694: \(\SQFS\) then we can without loss of generality assume that \(f(1)=1\). By
1695: Theorem~\ref{thm:topsim}, \(g=-f+e_1\) is topologically nilpotent, hence
1696: by Proposition 1.2.4 of \cite{NonArch} we have that the inverse
1697: of \(e_1 - g = f\) can be expressed as \(\sum_{i=0}^\infty g^i\). It
1698: is clear that \(g\), and every power of it, is supported on
1699: \(\SQF\), hence so is \(f^{-1}\).
1700: \end{proof}
1701:
1702: \begin{corr}
1703: \((\SQFS,+,\oplus)\) is semi-local.
1704: \end{corr}
1705: \begin{proof}
1706: The units consists of all \(f \in \SQFS\) with \(f(1) \neq
1707: 0\), and the non-units form the unique maximal ideal.
1708: \end{proof}
1709:
1710: \begin{note}
1711: More generally, given any subset \(Q \subset \Nat^+\),
1712: we get a retract of \((\UNI,+,\oplus)\) when considering those
1713: arithmetical functions that are supported on the integers
1714: \(n=p_1^{a_1} \cdots p_r^{a_r}\) with \(a_i \in Q \cup \set{0}\).
1715: This property is unique for the unitary convolution, among all
1716: regular convolutions in the sense of Narkiewicz \cite{Nark:conv}.
1717:
1718: In particular, the set of arithmetical functions supported on the
1719: exponentially odd integers (those \(n\) for which all \(a_i\) are
1720: odd) forms a retract of \((\UNI,+,\oplus)\). It follows that the
1721: inverse of such a function is of the same form.
1722: \end{note}
1723:
1724: Let \(T=\C[[x_1,x_2,x_3,\dots]]\), the large power series ring on
1725: countably many variables, and let \(J\) denote the ideal of
1726: elements supported on non square-free monomials.
1727:
1728: \begin{theorem}
1729: \((\SQFS,+,\oplus) \simeq T/J\).
1730: This algebra can also be described as the generalized power series
1731: ring on the monoid-with-zero whose elements are all finite subsets of a fixed
1732: countable set \(X\), with multiplication
1733: \begin{equation}
1734: \label{eq:multimult}
1735: A \times B =
1736: \begin{cases}
1737: A \cup B & \text{ if } A \cap B = \emptyset\\
1738: 0 & \text{ otherwise }.
1739: \end{cases}
1740: \end{equation}
1741: \end{theorem}
1742: \begin{proof}
1743: Define \(\eta\) by
1744: \begin{equation}
1745: \label{eq:sqdef}
1746: \begin{split}
1747: \eta: T & \to \UNI \\
1748: \eta(\sum_{m} c_m m) &= \sum_{m \text{ square-free}} c_m e_m,
1749: \end{split}
1750: \end{equation}
1751: where for a square-free monomial \(m=m_{i_1} \cdots m_{i_r}\) with
1752: \(1 \le i_1 < \cdots < i_r\) we put \(e_m = e_{p_{i_1} \cdots p_{i_r}}\).
1753: Then \(\eta(T) = \SQFS\), \(\ker \eta = J\). It follows that
1754: \(\SQFS \simeq T/J\).
1755: \end{proof}
1756:
1757:
1758:
1759:
1760: \end{section}
1761:
1762: %\begin{section}{Factorisations and divisibility}
1763: % \input{factor}
1764: %\end{section}
1765:
1766: %\begin{section}{The truncations $\UNI_n$ --- definition and basic properties}
1767: % \input{truncations}
1768: %\end{section}
1769:
1770: %\begin{section}{Presentations of $\UNI_n$ --- defining ideals and the
1771: % associated simplical complex}
1772: % \input{presentations}
1773: %\end{section}
1774:
1775: %\begin{section}{Homological properties of $\UNI_n$}
1776: % \input{homological}
1777: %\end{section}
1778:
1779: \bibliographystyle{plain}
1780: \bibliography{journals,articles,snellman}
1781: \end{document}
1782: