Algebra Commons^™

Ideals Of Functions With Compact Support In The Integer-Valued Case, Themba Dube, Oghenetega Ighedo, Batsile Tlharesakgosi

Mathematics, Physics, and Computer Science Faculty Articles and Research

For a zero-dimensional Hausdorff space X, denote, as usual, by C(X, ℤ) the ring of continuous integer-valued functions on X. If f ∈ C(X, ℤ), denote by Z(f) the set of all points of X that are mapped to 0 by f. The set C_K(X; ℤ) = {f ∈ C(X; ℤ) | cl_X(X \ Z(f)) is compact} is the integer-valued analogue of the ideal of functions with compact support in C(X). By first working in the category of locales and then interpreting …

(R1500) Type-I Generalized Spherical Interval Valued Fuzzy Soft Sets In Medical Diagnosis For Decision Making, M. Palanikumar, K. Arulmozhi

Applications and Applied Mathematics: An International Journal (AAM)

In the present communication, we introduce the concept of Type-I generalized spherical interval valued fuzzy soft set and define some operations. It is a generalization of the interval valued fuzzy soft set and the spherical fuzzy soft set. The spherical interval valued fuzzy soft set theory satisfies the condition that the sum of its degrees of positive, neutral, and negative membership does not exceed unity and that these parameters are assigned independently. We also propose an algorithm to solve the decision making problem based on a Type-I generalized soft set model. We introduce a similarity measure based on the Type-I …

(R1979) Permanent Of Toeplitz-Hessenberg Matrices With Generalized Fibonacci And Lucas Entries, Hacène Belbachir, Amine Belkhir, Ihab-Eddine Djellas

Applications and Applied Mathematics: An International Journal (AAM)

In the present paper, we evaluate the permanent and determinant of some Toeplitz-Hessenberg matrices with generalized Fibonacci and generalized Lucas numbers as entries.We develop identities involving sums of products of generalized Fibonacci numbers and generalized Lucas numbers with multinomial coefficients using the matrix structure, and then we present an application of the determinant of such matrices.

(R1978) Heated Laminar Vertical Jet Of Psudoplastic Fluids-Against Gravity, Manisha Patel, M. G. Timol

Applications and Applied Mathematics: An International Journal (AAM)

A heated laminar jet of Pseudo-plastic fluid flowing vertically upwards from a long narrow slit into a region of the same fluid which is at a rest and at a uniform temperature is considered. The governing non-linear Partial differential equations (PDEs) for the defined flow problem are transformed into non-linear ordinary differential equations using the effective similarity technique-one parameter deductive group theory method. The obtained non-linear coupled Ordinary differential equations are solved and the results are presented by graphs. The effect of the Prandtl number and Grashof number on the velocity and temperature of the jet flow is discussed. Also, …

(R1509) Topsis And Vikor Methods For Spherical Fuzzy Soft Set Aggregating Operator Framework, M. Palanikumar, K. Arulmozhi, Lejo J. Manavalan

Applications and Applied Mathematics: An International Journal (AAM)

The Spherical Fuzzy Soft (SFS) set is a generalization of the Pythagorean fuzzy soft set and the intuitionistic fuzzy soft set. We introduce the concept of aggregating SFS decision matrices based on aggregated operations. The techniques for order of preference by similarity to ideal solution (TOPSIS) and viekriterijumsko kompromisno rangiranje (VIKOR) for the SFS approaches are the strong points of multi criteria group decision making (MCGDM), which is various extensions of fuzzy soft sets. We define a score function based on aggregating TOPSIS and VIKOR methods to the SFS-positive and SFS-negative ideal solutions. The TOPSIS and VIKOR methods provide decision-making …

Voting Rules And Properties, Zhuorong Mao

Undergraduate Honors Theses

This thesis composes of two chapters. Chapter one considers the higher order of Borda Rules (Bp) and the Perron Rule (P) as extensions of the classic Borda Rule. We study the properties of those vector-valued voting rules and compare them with Simple Majority Voting (SMV). Using simulation, we found that SMV can yield different results from B1, B2, and P even when it is transitive. We also give a new condition that forces SMV to be transitive, and then quantify the frequency of transitivity when it fails.

In chapter two, we study the `protocol paradox' of approval voting. In approval …

Cohen-Macaulay Type Of Weighted Path Ideals, Shuai Wei

All Dissertations

In this dissertation we give a combinatorial characterization of all the weighted $r$-path suspensions for which the $f$-weighted $r$-path ideal is Cohen-Macaulay. In particular, it is shown that the $f$-weighted $r$-path ideal of a weighted $r$-path suspension is Cohen-Macaulay if and only if it is unmixed. Type is an important invariant of a Cohen-Macaulay homogeneous ideal in a polynomial ring $R$ with coefficients in a field. We compute the type of $R/I$ when $I$ is any Cohen-Macaulay $f$-weighted $r$-path ideal of any weighted $r$-path suspension, for some chosen function $f$. In particular, this computes the type for all weighted trees …

Extension Of Fundamental Transversals And Euler’S Polyhedron Theorem, Joy Marie D'Andrea

Annual Symposium on Biomathematics and Ecology Education and Research

No abstract provided.

One-Point Gleason Parts And Point Derivations In Uniform Algebras, Swarup Ghosh, Alexander J. Izzo

Faculty Articles & Research

It is shown that a uniform algebra can have a nonzero bounded point derivation while having no nontrivial Gleason parts. Conversely, a uniform algebra can have a nontrivial Gleason part while having no nonzero, even possibly unbounded, point derivations.

A Cluster Structure On The Coordinate Ring Of Partial Flag Varieties, Fayadh Kadhem

LSU Doctoral Dissertations

The main goal of this dissertation is to show that the (multi-homogeneous) coordinate ring of a partial flag variety C[G/P_K^−] contains a cluster algebra for every semisimple complex algebraic group G. We use derivation properties and a canonical lifting map to prove that the cluster algebra structure A of the coordinate ring C[N_K] of a Schubert cell constructed by Goodearl and Yakimov can be lifted, in an explicit way, to a cluster structure \hat{A} living in the coordinate ring of the corresponding partial flag variety. Then we use a minimality condition to prove that the cluster algebra \hat{A} is equal …

College Algebra Slide Decks, Bader Abukhodair, Michelle Zeng

Open Educational Resources

This collection of slide decks is designed to be used in concert with the following Open Eduational Resources:

- OpenStax College Algebra 2e Open Texbook

- Department of Mathematics Video Playlist

- Homework questions from myOpenMath

Concepts include are: A study of equations, graphs, and inequalities for linear, quadratic, polynomial, rational, logarithmic, exponential, and absolute value functions. Transformations on graphs, complex numbers, circles, systems of inequalities, and systems of equations including matrices.

(Si10-063) Number Of Automorphisms Of Some Non-Abelian P-Groups Of Order P^4, Muniya ., Harsha Arora, Mahender Singh

Applications and Applied Mathematics: An International Journal (AAM)

The automorphism of a group is a way of mapping the object to itself while preserving all of its structure, and the set of automorphisms of an object forms a group called the automorphism group. It is simply a bijective homomorphism. One of the earliest group automorphism was given by Irish mathematician William Rowan Hamilton in 1856, in his icosian calculus where he discovered an order two automorphism. In this paper, we compute the automorphisms of some non-Abelian groups of order p⁴, where p is an odd prime and GAP (Group Algorithm Programming) software has been used for …

Generalizations Of Commutativity In Dihedral Groups, Noah A. Heckenlively

Rose-Hulman Undergraduate Mathematics Journal

The probability that two elements commute in a non-Abelian finite group is at most 5 8 . We prove several generalizations of this result for dihedral groups. In particular, we give specific values for the probability that a product of an arbitrary number of dihedral group elements is equal to its reverse, and also for the probability that a product of three elements is equal to a permutation of itself or to a cyclic permutation of itself. We also show that for any r and n, there exists a dihedral group such that the probability that a product of n …

The Neutrosophic Delta-Beta Connected Topological Spaces, Raja Mohammad Latif

International Journal of Emerging Multidisciplinaries: Mathematics

Real-life situations always include indeterminacy. The Mathematical tool which is well known in dealing with indeterminacy is neutrosophic. The notion of neutrosophic set is generally referred to as the generalization of intuitionistic fuzzy sets. In this paper, the notion of neutrosophic δβ-connectedness and δβ-disconnectedness in neutrosophic topological spaces is introduced. Also, we introduce neutrosophic δβ-separated sets, neutrosophic super δβ-connected spaces, neutrosophic extremely δβ-disconnected spaces, and neutrosophic strongly δβ-connected spaces. We investigate and study several properties and characterizations concerning connectedness in these spaces.

Automorphism-Preserving Color Substitutions On Profinite Graphs, Michal Cizek

Electronic Thesis and Dissertation Repository

Profinite groups are topological groups which are known to be Galois groups. Their free product was extensively studied by Luis Ribes and Pavel Zaleskii using the notion of a profinite graph and having profinite groups act freely on such graphs. This thesis explores a different approach to study profinite groups using profinite graphs and that is with the notion of automorphisms and colors. It contains a generalization to profinite graphs of the theorem of Frucht (1939) that shows that every finite group is a group of automorphisms of a finite connected graph, and establishes a profinite analog of the theorem …

Reduction Of L-Functions Of Elliptic Curves Modulo Integers, Félix Baril Boudreau

Electronic Thesis and Dissertation Repository

Let $\mathbb{F}_q$ be a finite field of size $q$, where $q$ is a power of a prime $p \geq 5$. Let $C$ be a smooth, proper, and geometrically connected curve over $\mathbb{F}_q$. Consider an elliptic curve $E$ over the function field $K$ of $C$ with nonconstant $j$-invariant. One can attach to $E$ its $L$-function $L(T,E/K)$, which is a generating function that contains information about the reduction types of $E$ at the different places of $K$. The $L$-function of $E/K$ was proven to be a polynomial in $\mathbb{Z}[T]$.

In 1985, Schoof devised an algorithm to compute the zeta function of an …

Characterizing Unmixed Trees And Coronas With Respect To Pmu Covers, Michael Cowen

All Dissertations

In this dissertation we study the algebraic properties of ideals constructed from graphs. We use algebraic techniques to study the PMU Placement Problem from electrical engineering which asks for optimal placement of sensors, called PMUs, in an electrical power system. Motivated by algebraic and geometric considerations, we characterize the trees for which all minimal PMU covers have the same size. Additionally, we investigate the power edge ideal of Moore, Rogers, and Sather-Wagstaff which identifies the PMU covers of a power system like the edge ideal of a graph identifies the vertex covers. We characterize the trees for which the power …

On Complete Integral Closure Of Integral Domains, Todd Fenstermacher

All Dissertations

Given an integral domain D with quotient field K, an element x in K is called integral over D if x is a root of a monic polynomial with coefficients in D. The notion of integrality has roots in Dedekind's work with algebraic integers, and was later developed more rigorously by Emmy Noether. Different variations or generalizations of integrality have since been studied, including almost integrality and pseudo-integrality. In this work we give a brief history of integrality and almost integrality before developing the basic theory of these two notions. We will continue the theory of almost integrality further by …

Conductors And Rings With Shared Ideals, Sydney Maibach

All Theses

Given an additive subgroup $I$ of a field $K$, we define the colon ideal (I:I) = {\alpha \in K: \alpha I \subseteq I}. We then use this to construct collections of rings with shared ideals and explore relationships between these concepts and the complete integral closure.

Identifying Trace Affine Linear Sets Using Homotopy Continuation, Julianne Mckay

All Theses

We investigate how the coefficients of a sparse polynomial system influence the sum, or the trace, of its solutions. We discuss an extension of the classical trace test in numerical algebraic geometry to sparse polynomial systems. Two known methods for identifying a trace affine linear subset of the support of a sparse polynomial system use sparse resultants and polyhedral geometry, respectively. We introduce a new approach which provides more precise classifications of trace affine linear sets than was previously known. For this new approach, we developed software in Macaulay2.

The Hfd Property In Orders Of A Number Field, Grant Moles

All Theses

We will examine orders R in a number field K. In particular, we will look at how the generalized class number of R relates to the class number of its integral closure R. We will then apply this to the case when K is a quadratic field to produce a more specific relation. After this, we will focus on orders R which are half-factorial domains (HFDs), in which the irreducible factorization of any element α∈R has fixed length. We will determine two cases in which R is an HFD if and only if its ring of …

Lyubeznik Ideals Minimally Generated By Four Or Fewer Elements, Nathan S. Fontes

All Theses

Free resolutions for an ideal are constructions that tell us useful information about the structure of the ideal. Every ideal has one minimal free resolution which tells us significantly more about the structure of the ideal. In this thesis, we consider a specific type of resolution, the Lyubeznik resolution, for a monomial ideal I, which is constructed using a total order on the minimal generating set G(I). An ideal is called Lyubeznik if some total order on G(I) produces a minimal Lyubeznik resolution for I. We investigate the problem of characterizing whether an ideal I is Lyubeznik …

Efficiency Of Homomorphic Encryption Schemes, Kyle Yates

All Theses

In 2009, Craig Gentry introduced the first fully homomorphic encryption scheme using bootstrapping. In the 13 years since, a large amount of research has gone into improving efficiency of homomorphic encryption schemes. This includes implementing leveled homomorphic encryption schemes for practical use, which are schemes that allow for some predetermined amount of additions and multiplications that can be performed on ciphertexts. These leveled schemes have been found to be very efficient in practice. In this thesis, we will discuss the efficiency of various homomorphic encryption schemes. In particular, we will see how to improve sizes of parameter choices in homomorphic …

Minimal Differential Graded Algebra Resolutions Related To Certain Stanley-Reisner Rings, Todd Anthony Morra

All Dissertations

We investigate algebra structures on resolutions of a special class of Cohen-Macaulay simplicial complexes. Given a simplicial complex, we define a pure simplicial complex called the purification. These complexes arise as a generalization of certain independence complexes and the resultant Stanley-Reisner rings have numerous desirable properties, e.g., they are Cohen-Macaulay. By realizing the purification in the context of work of D'alì, et al., we obtain a multi-graded, minimal free resolution of the Alexander dual ideal of the Stanley-Reisner ideal. We augment this in a standard way to obtain a resolution of the quotient ring, which is likewise minimal and multi-graded. …

Dvr-Matroids Of Algebraic Extensions, Anna L. Lawson

Doctoral Dissertations

A matroid is a finite set E along with a collection of subsets of E, called independent sets, that satisfy certain conditions. The most well-known matroids are linear matroids, which come from a finite subset of a vector space over a field K. In this case the independent sets are the subsets that are linearly independent over K. Algebraic matroids come from a finite set of elements in an extension of a field K. The independent sets are the subsets that are algebraically independent over K. Any linear matroid has a representation as an algebraic matroid, but the converse is …

Characteristic Sets Of Matroids, Dony Varghese

Doctoral Dissertations

Matroids are combinatorial structures that generalize the properties of linear independence. But not all matroids have linear representations. Furthermore, the existence of linear representations depends on the characteristic of the fields, and the linear characteristic set is the set of characteristics of fields over which a matroid has a linear representation. The algebraic independence in a field extension also defines a matroid, and also depends on the characteristic of the fields. The algebraic characteristic set is defined in the similar way as the linear characteristic set.

The linear representations and characteristic sets are well studied. But the algebraic representations and …

Properties And Classifications Of Certain Lcd Codes., Dalton Seth Gannon

Electronic Theses and Dissertations

A linear code $C$ is called a linear complementary dual code (LCD code) if $C \cap C^\perp = {0}$ holds. LCD codes have many applications in cryptography, communication systems, data storage, and quantum coding theory. In this dissertation we show that a necessary and sufficient condition for a cyclic code $C$ over $\Z_4$ of odd length to be an LCD code is that $C=\big( f(x) \big)$ where $f$ is a self-reciprocal polynomial in $\Z_{4}[X]$ which is also in our paper \cite{GK1}. We then extend this result and provide a necessary and sufficient condition for a cyclic code $C$ of length …

Bbt Acoustic Alternative Top Bracing Cadd Data Set-Norev-2022jun28, Bill Hemphill

STEM Guitar Project’s BBT Acoustic Kit

This electronic document file set consists of an overview presentation (PDF-formatted) file and companion video (MP4) and CADD files (DWG & DXF) for laser cutting the ETSU-developed alternate top bracing designs and marking templates for the STEM Guitar Project’s BBT (OM-sized) standard acoustic guitar kit. The three (3) alternative BBT top bracing designs in this release are
(a) a one-piece base for the standard kit's (Martin-style) bracing,
(b) 277 Ladder-style bracing, and
(c) an X-braced fan-style bracing similar to traditional European or so-called 'classical' acoustic guitars.

The CADD data set for each of the three (3) top bracing designs includes …

Harmonious Labelings Via Cosets And Subcosets, Jared L. Painter, Holleigh C. Landers, Walker M. Mattox

Theory and Applications of Graphs

In [Abueida, A. and Roblee, K., More harmonious labelings of families of disjoint unions of an odd cycle and certain trees, J. Combin. Math. Combin. Comput., 115 (2020), 61-68] it is shown that the disjoint union of an odd cycle and certain paths is harmonious, and that certain starlike trees are harmonious using properties of cosets for a particular subgroup of the integers modulo m, where m is the number of edges of the graph. We expand upon these results by first exploring the numerical properties when adding values from cosets and subcosets in the integers modulo m. …

General Covariance With Stacks And The Batalin-Vilkovisky Formalism, Filip Dul

Doctoral Dissertations

In this thesis we develop a formulation of general covariance, an essential property for many field theories on curved spacetimes, using the language of stacks and the Batalin-Vilkovisky formalism. We survey the theory of stacks, both from a global and formal perspective, and consider the key example in our work: the moduli stack of metrics modulo diffeomorphism. This is then coupled to the Batalin-Vilkovisky formalism–a formulation of field theory motivated by developments in derived geometry–to describe the associated equivariant observables of a theory and to recover and generalize results regarding current conservation.