[Paper Review] Solving Problems in Scalar Algebras of Reduced Powers

Elemér E Rosinger|ArXiv.org|Aug 24, 2005

Mathematical and Theoretical Analysis2 references13 citations

TL;DR

This paper introduces a large class of scalar algebras constructed as reduced powers of real-valued functions on an infinite index set, using filters to define quotient algebras. It establishes that surjective algebra homomorphisms between these algebras enable simultaneous and correlated computations, generalizing traditional real, complex, and nonstandard scalars, thereby offering deeper insight into mathematical and physical problems through structured algebraic frameworks.

ABSTRACT

Following our previous work, we suggest here a large class of algebras of scalars in which simultaneous and correlated computations can be performed owing to the existence of surjective algebra homomorphisms. This may replace the currently used traditional computations in which only real or complex scalars are used, or occasionally, nonstandard ones. The usual real, complex, or nonstandard scalars are included in the mentioned large class of algebras. Such simultaneous and correlated computations offer a depth of insight which has so far been missed when only using the few traditional kind of scalars.

Motivation & Objective

• To develop a broad class of scalar algebras that generalize real, complex, and nonstandard scalars using reduced power constructions.
• To establish a systematic framework for simultaneous and correlated computations across these algebras via surjective algebra homomorphisms.
• To replace traditional scalar-based computations with a more expressive algebraic structure that reveals deeper insights in mathematical and physical problems.
• To characterize the conditions under which reduced power algebras avoid degeneracy, particularly by excluding filters with finite intersections.

Proposed method

• Constructs scalar algebras as quotients of the power algebra $\mathbb{R}^\Lambda$ by ideals $\mathcal{I}_\mathcal{F}$, where $\mathcal{F}$ is a filter on the index set $\Lambda$.
• Establishes a one-to-one correspondence between ideals in $\mathbb{R}^\Lambda$ and filters on $\Lambda$, using zero sets $Z(x) = \{\lambda \in \Lambda \mid x(\lambda) = 0\}$.
• Uses the third isomorphism theorem to show that $A_\mathcal{G} \cong A_\mathcal{F} / (\mathcal{I}_\mathcal{G}/\mathcal{I}_\mathcal{F})$ when $\mathcal{F} \subseteq \mathcal{G}$, ensuring algebraic consistency.
• Defines reduced power algebras $A_\mathcal{F} = \mathbb{R}^\Lambda / \mathcal{I}_\mathcal{F}$ only for filters $\mathcal{F}$ satisfying $\bigcap_{J \in \mathcal{F}} J = \emptyset$, to avoid degenerate cases like $\mathbb{R}^n$.
• Introduces the Frechét filter $\mathcal{F}re(\Lambda) = \{\Lambda \setminus I \mid I \subset \Lambda, \text{ finite}\}$ as a minimal generating filter, ensuring all algebras are non-degenerate.
• Constructs commutative diagrams of surjective algebra homomorphisms between algebras associated with nested index sets and compatible filters, ensuring coherence across structures.

Experimental results

Research questions

• RQ1 How can scalar algebras be generalized beyond real, complex, or nonstandard numbers to support simultaneous and correlated computations?
• RQ2 What algebraic conditions ensure that reduced power algebras remain non-degenerate and structurally rich?
• RQ3 How do surjective algebra homomorphisms between reduced power algebras enable coherent, hierarchical computation across different levels of abstraction?
• RQ4 What role do filters—especially the Frechét filter—play in defining and characterizing these generalized scalar algebras?
• RQ5 How can the algebraic framework of reduced powers be extended to support structured, multi-scale computations in theoretical physics?

Key findings

• The construction of reduced power algebras $A_\mathcal{F} = \mathbb{R}^\Lambda / \mathcal{I}_\mathcal{F}$ via filters $\mathcal{F}$ on an infinite index set $\Lambda$ provides a unified framework that includes real, complex, and nonstandard scalars as special cases.
• A one-to-one, order-reversing correspondence exists between ideals in $\mathbb{R}^\Lambda$ and filters on $\Lambda$, with $\mathcal{I} \mapsto \mathcal{F}_\mathcal{I} = \{Z(x) \mid x \in \mathcal{I}\}$ and $\mathcal{F} \mapsto \mathcal{I}_\mathcal{F} = \{x \in \mathbb{R}^\Lambda \mid Z(x) \in \mathcal{F}\}$.
• When $\mathcal{F} \subseteq \mathcal{G}$, the surjective algebra homomorphism $A_\mathcal{F} \to A_\mathcal{G}$ is well-defined, enabling hierarchical and correlated computations across algebras.
• The condition $\bigcap_{J \in \mathcal{F}} J = \emptyset$ ensures non-degeneracy, excluding finite-index cases such as $\mathbb{R}^n$, and is equivalent to $\mathcal{F}re(\Lambda) \subseteq \mathcal{F}$.
• Commutative diagrams of surjective homomorphisms are established between algebras over nested index sets $\Lambda \subseteq \Gamma$, provided the filter restrictions and inclusions are compatible.
• The Frechét filter $\mathcal{F}re(\Lambda)$ serves as a minimal generating filter, and its inclusion in $\mathcal{F}$ ensures all algebras are non-degenerate and infinite-dimensional.