Some Applications of Isomorphism Ideology in Higher Algebra

Zhi‐Chun Gu

2011-01-01

Abstract:In this paper,some applications of isomorphism ideology in Higher Algebra are discussed.By the isomorphisms between the n dimensions vector space V over F with Fn,L(V) with Mn(F),we solve some difficult problems in Higher Algebra.

What problem does this paper attempt to address?

Several Important Ideological Methods of Mathematics in Higher Algebra

Jie Song

2009-01-01

Abstract:Higher Algebra is a basic course of math subject,which has special theory and idea system.Several important ideological methods involved in Higher Algebra are discussed,and their importance are shown.
Isomorphism Theorems for Groupoids and Some Applications

Jesús Ávila,Víctor Marín,Héctor Pinedo

DOI: https://doi.org/10.48550/arXiv.1905.09389

2020-01-28

Abstract:Using an algebraic point of view we present an introduction to the groupoid theory, that is, we give fundamental properties of groupoids as, uniqueness of inverses and properties of the identities, and study subgroupoids, wide subgroupoids and normal subgroupoids. We also present the isomorphism theorems for groupoids and as an applications we obtain the corresponding version of Zassenhaus Lemma and Jordan-Hölder Theorem for groupoids. Finally inspired by the Ehresmann-Schein-Nambooripad Theorem we improve a result of R. Exel concerning a one to one correspondence between partial actions of groups and actions of inverse semigroups.

Group Theory,Operator Algebras
Interacting Monoidal Structures with Applications in Computing

James Cranch,Georg Struth

2024-11-06

Abstract:With a view on applications in computing, in particular concurrency theory and higher-dimensional rewriting, we develop notions of $n$-fold monoid and comonoid objects in $n$-fold monoidal categories and bicategories. We present a series of examples for these structures from various domains, including a categorical model for a communication protocol and a lax $n$-fold relational monoid, which has previously been used implicitly for higher-dimensional rewriting and which specialises in a natural way to strict $n$-categories. A special set of examples is built around modules and algebras of the boolean semiring, which allows us to deal with semilattices, additively idempotent semirings and quantales using tools from classical algebra.

Category Theory,Logic in Computer Science
An Opinion of the Ideological Infiltration of Differentiation, Categorization and Transformation in the Teaching of Higher Algebra

Lingzhi Wang

2002-01-01

Abstract:With the help of the ideological infiltration of differentiation , categorization and transformation, some problems in Higher Algebra can be turned from difficulty into simplicity, and the students can learn and grasp bet ter the dialectical relationship between the concrete and the abstract, between the particular and the general, and between the finite and the infinite.
Some applications of fuzzy sets in residuated lattices

Cristina Flaut,Dana Piciu,Bianca Liana Bercea

2024-01-28

Abstract:In this paper, based on ideals, we investigate residuated lattices from fuzzy set theory and lattice theory point of view. Ideals are important concepts in the theory of algebraic structures used for formal fuzzy logic and first, we investigate the lattice of fuzzy ideals in residuated lattices. Then we present applications of fuzzy sets in Coding Theory and we study connections between fuzzy sets associated to ideals and Hadamard codes.

Logic
Gorenstein Global Dimension and Hopf Algebroid Actions

Yong Wang,Fang Li

DOI: https://doi.org/10.1142/s0219498816500900

2016-01-01

Journal of Algebra and Its Applications

Abstract:Let [Formula: see text] be a Hopf algebroid and [Formula: see text] a left [Formula: see text]-module algebra. In this paper, we mainly present the duality theorem for the smash product [Formula: see text], and making use of integral theory for Hopf algebroids, we investigate the stability of Gorenstein injective pre-envelopes and Gorenstein projective precovers between the category of [Formula: see text]-modules and the category of [Formula: see text]-modules. Moreover, we establish the relationship between Gorenstein global dimension of [Formula: see text] and that of [Formula: see text], and prove that [Formula: see text] has finite representation type, resp. is selfinjective, resp. is CM-finite [Formula: see text]-Gorenstein, if and only if [Formula: see text] has the same property under suitable conditions. As an application, we investigate the representation dimension of the lower triangular matrix Artin algebra [Formula: see text].
Elementary equivalence versus Isomorphism

Florian Pop

DOI: https://doi.org/10.1007/s00222-002-0238-7

2001-09-20

Abstract:How does the first order language of fields encode birational invariants of varieties?... This question is related to rational points on varieties and effectiveness in algebraic/arithmetic geometry.

Algebraic Geometry,Logic
Bijections Between Sets of Invariant Ideals, Via the Ladder Technique

Matthew Gillespie,S. Kaliszewski,John Quigg,Dana P. Williams

2024-06-11

Abstract:We present a new method of establishing a bijective correspondence - in fact, a lattice isomorphism - between action- and coaction-invariant ideals of C*-algebras and their crossed products by a fixed locally compact group. It is known that such a correspondence exists whenever the group is amenable; our results hold for any locally compact group under a natural form of coaction invariance.

Operator Algebras
Some Applications of Abelianization in Gromov-Witten Theory

Nawaz Sultani,Rachel Webb

2023-12-27

Abstract:Let $G$ be a complex reductive group and let $X$ and $E$ be two linear representations of $G$. Let $Y$ be a complete intersection in $X$ equal to the zero locus of a $G$-equivariant section of the trivial bundle $E \times X \to X$. We explain some general techniques for using quasimap formulas to compute useful $I$-functions of $Y\mathord{/\mkern-6mu/} G$. We work several explicit examples, including a rigorous derivation of a quantum period computed conjecturally by Oneto-Petracci.

Algebraic Geometry
Homological Identities for Noncommutative Rings

Q.-S Wu,J.J Zhang

DOI: https://doi.org/10.1006/jabr.2001.8817

IF: 0.908

2001-01-01

Journal of Algebra

Abstract:The Auslander–Buchsbaum formula and Bass's theorem are proved for a class of nonlocal, noncommutative algebras (including certain affine PI Hopf algebras). We also show that each filtered noetherian affine PI Hopf algebra has finite injective dimension, which partially answers a question of Brown.
Ideals and Homomorphism Theorems of Fuzzy Associative Algebras

Xiaoman Yang,Xin Zhou

DOI: https://doi.org/10.3390/math12081125

IF: 2.4

2024-04-09

Mathematics

Abstract:Based on the definitions of fuzzy associative algebras and fuzzy ideals, it is proven that the intersections of fuzzy subalgebras are fuzzy subalgebras, and the intersections of fuzzy ideals are fuzzy ideals. Moreover, we prove that the kernels of fuzzy homomorphisms are fuzzy ideals. Using fuzzy ideals, the quotient structures of fuzzy associative algebras are constructed, their corresponding properties are discussed, and their homomorphism theorems are proven.

mathematics
Involutions, odd-degree extensions and generic splitting

Jodi Black,Anne Quéguiner-Mathieu

DOI: https://doi.org/10.48550/arXiv.1310.1505

2014-07-03

Abstract:Let $q$ be a quadratic form over a field $F$ and let $L$ be a field extension of $F$ of odd degree. It is a classical result that if $q_L$ is isotropic (resp. hyperbolic) then $q$ is isotropic (resp. hyperbolic). In turn, given two quadratic forms $q, q^\prime$ over $F$, if $q_L \cong q^\prime_L$ then $q \cong q^\prime$. It is natural to ask whether similar results hold for algebras with involution. We give a survey of the progress on these three questions with particular attention to the relevance of hyperbolicity, isotropy and isomorphism over some {appropriate} function field. Incidentally, we prove the anisotropy property in some {new} low degree cases.

Number Theory
Complete isometries - an illustration of noncommutative functional analysis

David P. Blecher,Damon M. Hay

DOI: https://doi.org/10.48550/arXiv.math/0211098

2002-11-06

Abstract:This article, addressed to a general audience of functional analysts, is intended to be an illustration of a few basic principles from `noncommutative functional analysis', more specifically the new field of {\em operator spaces.} In our illustration we show how the classical characterization of (possibly non-surjective) isometries between function algebras generalizes to operator algebras. We give some variants of this characterization, and a new proof which has some advantages.

Functional Analysis,Operator Algebras
Invariants of Quadratic Forms and applications in Design Theory

Oliver W. Gnilke,Padraig O Cathain,Oktay Olmez,Guillermo Nunez Ponasso

2023-11-03

Abstract:The study of regular incidence structures such as projective planes and symmetric block designs is a well established topic in discrete mathematics. Work of Bruck, Ryser and Chowla in the mid-twentieth century applied the Hasse-Minkowski local-global theory for quadratic forms to derive non-existence results for certain design parameters. Several combinatorialists have provided alternative proofs of this result, replacing conceptual arguments with algorithmic ones. In this paper, we show that the methods required are purely linear-algebraic in nature and are no more difficult conceptually than the theory of the Jordan Canonical Form. Computationally, they are rather easier. We conclude with some classical and recent applications to design theory, including a novel application to the decomposition of incidence matrices of symmetric designs.

Combinatorics,History and Overview,Number Theory
Isomorphism invariants of restricted enveloping algebras

Hamid Usefi

DOI: https://doi.org/10.48550/arXiv.0804.2281

2009-12-23

Abstract:Let $L$ and $H$ be finite-dimensional restricted Lie algebras over a perfect field $\F$ such that $u(L)\cong u(H)$, where $u(L)$ is the restricted enveloping algebra of $L$. We prove that if $L$ is $p$-nilpotent and abelian, then $L\cong H$. We deduce that if $L$ is abelian and $\F$ is algebraically closed, then $L\cong H$. We use these results to prove the main result of this paper stating that if $L$ is $p$-nilpotent, then $L/L'^p+\gamma_3(L)\cong H/H'^p+\gamma_3(H)$.

Rings and Algebras,Group Theory
On abstract homomorphisms of algebraic groups

Pralay Chatterjee

DOI: https://doi.org/10.48550/arXiv.1511.06180

2016-03-14

Abstract:In this paper we study abstract group homomorphisms between the groups of rational points of linear algebraic groups which are not necessarily reductive. One of our main goal is to obtain results on homomorphisms from the groups of rational points of linear algebraic groups defined over certain specific fields to the groups of rational points of linear algebraic groups over number fields and non-archimedean local fields of characteristic zero; in this set-up we deal with the unexplored topic of abstract homomorphisms from the groups of rational points of anisotropic groups over non-archimedean local fields of characteristic zero. We also obtain results on abstract homomorphisms from unipotent and solvable groups, and prove general results on the structures of abstract homomorphisms using the celebrated result of Borel and Tits in this area and a well-known theorem due to Tits on the structure of the groups of rational points of isotropic semisimple groups.

Group Theory,Algebraic Geometry
Applications Of Dualizing Complexes

q s wu,james j zhang

DOI: https://doi.org/10.1007/978-94-017-0337-6_12

2003-01-01

Abstract:We review the definition and some basic properties of the dualizing complex and present three applications to noncommutative algebras.
Isotropic ideals of metric n-Lie algebras

Ruipu Bai,Wanqing Wu,Zhiqi Chen

DOI: https://doi.org/10.48550/arXiv.1007.0513

2010-07-04

Abstract:In this paper, we give a systematic study on isotropic ideals of metric n-Lie algebras. As an application, we show that the center of a non-abelian (n+k)-dimensional metric n-Lie algebra (1< k< n+2), whose center is isotropic, is of dimension k-1. Furthermore, we classify (n+k)-dimensional metric n-Lie algebras for 1< k < n+2.

Mathematical Physics
Higher Jacobian ideals, contact equivalence and motivic zeta functions

Quy Thuong Lê,Takehiko Yasuda

2023-10-12

Abstract:We show basic properties of higher Jacobian matrices and higher Jacobian ideals for functions and apply it to obtain two results concerning singularities of functions. Firstly, we prove that a higher Nash blowup algebra is invariant under contact equivalences, which was recently conjectured by Hussain, Ma, Yau and Zuo. Secondly, we obtain an analogue of a result on motivic nearby cycles by Bussi, Joyce and Meinhardt.

Algebraic Geometry,Commutative Algebra
BGG Resolutions, Koszulity, and Stratifications, Part I: the nilBrauer Algebra

Fan Zhou

2024-02-10

Abstract:In this paper we homologically construct a (functorial) BGG resolution of the finite-dimensional simple module of the nilBrauer algebra by using infinity-categorical methods following the reconstruction-from-stratification philosophy, e.g. appearing in Ayala-Mazel-Gee-Rozenblyum. To do so, we prove a fact of independent interest, that half of the nilBrauer algebra is Koszul. This BGG resolution categorifies a character formula of Brundan-Wang-Webster. More generally, we have a (functorial) ``BGG spectral sequence'' which converges to any desired module; this spectral sequence is secretly a resolution when the desired module is finite-dimensional. This spectral sequence also categorifies the character formulae of Brundan-Wang-Webster for any (possibly infinite-dimensional) simple module. We expect the methods used here for producing BGG resolutions to be applicable to other (graded) triangular-based algebras also, especially diagrammatic ones.

Representation Theory,Quantum Algebra

Some Applications of Isomorphism Ideology in Higher Algebra

Several Important Ideological Methods of Mathematics in Higher Algebra

Isomorphism Theorems for Groupoids and Some Applications

Interacting Monoidal Structures with Applications in Computing

An Opinion of the Ideological Infiltration of Differentiation, Categorization and Transformation in the Teaching of Higher Algebra

Some applications of fuzzy sets in residuated lattices

Gorenstein Global Dimension and Hopf Algebroid Actions

Elementary equivalence versus Isomorphism

Bijections Between Sets of Invariant Ideals, Via the Ladder Technique

Some Applications of Abelianization in Gromov-Witten Theory

Homological Identities for Noncommutative Rings

Ideals and Homomorphism Theorems of Fuzzy Associative Algebras

Involutions, odd-degree extensions and generic splitting

Complete isometries - an illustration of noncommutative functional analysis

Invariants of Quadratic Forms and applications in Design Theory

Isomorphism invariants of restricted enveloping algebras

On abstract homomorphisms of algebraic groups

Applications Of Dualizing Complexes

Isotropic ideals of metric n-Lie algebras

Higher Jacobian ideals, contact equivalence and motivic zeta functions

BGG Resolutions, Koszulity, and Stratifications, Part I: the nilBrauer Algebra