Search

This paper discusses the problem of marking constraints in a class of partially controllable timed Petri nets. Specifically, these are Timed Event Graphs (TEGs) which include disturbed input transitions and which are subject to token capacity constraints in some paths. Using the Min-Plus algebra formalism, formal approaches are proposed to design causal control laws to guarantee compliance with marking constraints in TEGs. Sufficient conditions are defined to show the existence and synthesis of these controllers. The developed methodologies are illustrated in a case study of a disassembly system with a limited stock of components. [ABSTRACT FROM AUTHOR]

Let $ n \geq ~2 $ n ≥ 2 be a natural number, and denote by $ \mathcal {M}_{n} $ M n the algebra of all $ n \times n $ n × n matrices over an algebraically closed field $ \mathbb {F} $ F of zero characteristic. Let also $ K_{1} $ K 1 and $ K_{2} $ K 2 be two non-empty proper subsets of $ \mathbb {F} $ F . In this paper, we characterize linear maps φ on $ \mathcal {M}_{n} $ M n having the property that, for every $ T \in \mathcal {M}_{n} $ T ∈ M n , the spectrum of T is a subset of $ K_1 $ K 1 if and only if the spectrum of $ \varphi (T) $ φ (T) is a subset of $ K_2 $ K 2 . We obtain a similar caracterization for the case when $ K_{1} $ K 1 and $ K_{2} $ K 2 have both at most n elements, working with the equality of the spectrum to the fixed subsets instead of the inclusion. [ABSTRACT FROM AUTHOR]

In this paper, we present a modality-free pre-rough algebra. Łukasiewicz Moisil algebra and Wajsberg algebra are equivalent under a transformation. A similar type of equivalence exists in our proposed definition and standard definition of pre-rough algebra. We obtain a few modality-free algebras weaker than pre-rough algebra. Furthermore, it is also established that modality-free versions for other analogous structures weaker than pre-rough algebra do not exist. Both Hilbert-type axiomatization and sequent calculi for all proposed algebras are presented. [ABSTRACT FROM AUTHOR]

Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. [ABSTRACT FROM AUTHOR]

The present paper is devoted to the study of 2-local derivations on the Schrödinger-Virasoro Algebra, which is an infinite-dimensional Lie algebra with three outer derivations. We prove that all 2-local derivations on the Schrödinger-Virasoro Algebra are derivations. [ABSTRACT FROM AUTHOR]

In this paper, we give a complete classification of all free $ U(\mathbb {C}L_0 \oplus \mathbb {C}Y_0\oplus \mathbb {C}M_0) $ U (C L 0 ⊕ C Y 0 ⊕ C M 0) -modules of rank 1 over a Schrödinger-Virasoro type algebra $ \mathfrak {tsv} $ tsv . [ABSTRACT FROM AUTHOR]

The present paper is devoted to studying local derivations on the Lie algebra $ W(2,2) $ W (2 , 2) which has some outer derivations. Using some linear algebra methods in [1] and a key construction for $ W(2,2) $ W (2 , 2) , we prove that every local derivation on $ W(2, 2) $ W (2 , 2) is a derivation. As an application, we determine all local derivations on the deformed $ \mathfrak {bms}_3 $ b m s 3 algebra. [ABSTRACT FROM AUTHOR]

In this work, we study the relational representation of the class of Tarski algebras endowed with a subordination, called subordination Tarski algebras. These structures were introduced in a previous paper as a generalisation of subordination Boolean algebras. We define the subordination Tarski spaces as topological spaces with a fixed basis endowed with a closed relation. We prove that there exist categorical dualities between categories whose objects are subordination Tarski algebras and categories whose objects are subordination Tarski spaces. These results extend the known dualities for modal algebras. Finally, we are going to characterise some algebraic conditions written in the quasi-modal language by means of first-order conditions. [ABSTRACT FROM AUTHOR]

Two groups of mathematics faculty, one from a four-year college and one from a two-year college, redesigned their respective introductory college mathematics courses following presentation of observational data regarding how faculty had been teaching the courses. This presentation emphasised how infrequently faculty teaching introductory college mathematics employed recommended pedagogical practices. This work was part of a multi-year federal grant project designed to increase the numbers of underrepresented students majoring in STEM disciplines. While the two teams developed very different redesigned course activities, in both instances the primary motivation for initiating the work was the information provided to faculty in a professional development workshop regarding how they had previously been observed teaching the mathematics content and how infrequently they utilised the pedagogical practices recommended by STEM education experts. The paper also highlights faculty resistance to curricular reform and enumerates some ways of addressing this resistance. The paper also discusses why faculty from two-year and four-year institutions resisted working together on course redesign and provides recommendations for future efforts addressing course redesign. [ABSTRACT FROM AUTHOR]

The generalized L'vov–Kaplansky conjecture states that for any finite-dimensional simple algebra A the image of a multilinear polynomial on A is a vector space. In this paper, we prove it for the algebra of octonions $ \mathbb {O} $ O over a field F satisfying certain specified conditions (in particular, we prove it for quadratically closed fields, and for the field $ \mathbb R $ R ). In fact, letting V be the space of pure octonions in $ \mathbb {O} $ O , we prove that the image set must be either $ \{0\} $ { 0 } , F, V or $ \mathbb {O} $ O . We discuss possible evaluations of semihomogeneous polynomials on $ \mathbb {O} $ O and of arbitrary polynomials on the corresponding Malcev algebra. [ABSTRACT FROM AUTHOR]

AbstractThis paper is concerned with generalizing the results for Lie CT-algebras to Leibniz algebras. In some cases our results give a generalization even for the case of a Lie algebra. Results on A-algebras are used to show every Leibniz CT-algebra over an algebraically closed field of characteristic different from 2,3 is solvable or is isomorphic to sl2(F). A characterization is then given for solvable Leibniz CT-algebras. It is also shown that the class of solvable Leibniz CT-algebras is factor closed. [ABSTRACT FROM AUTHOR]

AbstractLeibniz algebras are certain generalizations of Lie algebras. Motivated by the concept of subinvariance and ascendancy in group theory, Schenkman studied properties of subinvariant subalgebras of a Lie algebra. Kawamoto studied ascendency in Lie algebras. In this paper we define subinvariance and asendency in Leibniz algebras and study their properties. It is shown that the signature results on subinvariance and ascendency in Lie algebras have analogs for Leibniz algebras. [ABSTRACT FROM AUTHOR]

Making connections within and between different aspects of mathematics is recognised as fundamental to learning mathematics with understanding. However, exactly what these connections are and how they serve the goal of learning mathematics is rarely made explicit in curriculum documents with the result that mathematics tends to be presented as a set of discrete, disconnected topics. Interest in establishing a more coherent approach to the teaching and learning of school mathematics has led to a focus on big ideas. That is, networks of related concepts, skills and ways of thinking that facilitate learning mathematics with understanding. Research on learning progressions has helped identify what these big ideas are and how they serve to build connections within and between different aspects of mathematics. This paper draws on research that provides an evidenced-based learning progression for multiplicative reasoning to illustrate the connective role of multiplicative thinking in the development of algebraic, geometrical, and statistical reasoning. [ABSTRACT FROM AUTHOR]

AbstractIn this paper, we introduce a combinatorial path model of representation of the quantum affine algebra of type Dn, inspired by Mukhin and Young’s combinatorial path models of representations of the quantum affine algebras of types An and Bn. In particular, we give a combinatorial formula for q-characters of fundamental modules of type Dn by assigning each path to a monomial or binomial. By counting our paths, a new expression on dimensions of fundamental modules of type Dn is obtained. [ABSTRACT FROM AUTHOR]

AbstractIn this paper, we extend the notion of anti-pre-Lie algebras to the ℤ2-graded version, and introduce the notion of anti-pre-Lie superalgebras. They can be characterized as a class of Lie-admissible superalgebras that satisfy its negative left multiplication operators are the representations of the corresponding sub-adjacent Lie superalgebras. And we give the classification of 2-dimensional anti-pre-Lie superalgebras. We introduce the notion of anti-super -operators on Lie superalgebras to explore the relationships between anti-super -operators and anti-pre-Lie superalgebras. We show that nondegenerate super-commutative 2-cocycles on Lie superalgebras can obtain a class of compatible anti-pre-Lie superalgebra structures. In addition, we introduce a subclass of anti-pre-Lie superalgebras, namely admissible Novikov superalgebras, which correspond to Novikov superalgebras through q-superalgebras. Finally, we introduce the notions of anti-pre-Lie Poisson superalgebras and admissible Novikov-Poisson superalgebras, extending the correspondence to the level of Poisson type structures, the correspondence of the Novikov-Poisson superalgebras and the admissible Novikov-Poisson superalgebras are realized through admissible pairs. [ABSTRACT FROM AUTHOR]

In this paper, first we give the controlling algebra of Lie triple systems. In particular, the cohomology of Lie triple systems can be characterized by the controlling algebra. Then using controlling algebras, we introduce the notions of homotopy Nambu algebras and homotopy Lie triple systems. We show that 2-term homotopy Lie triple systems is equivalent to Lie triple 2-systems, and the latter is the categorification of a Lie triple system. Finally we study skeletal and strict Lie triple 2-systems. We show that skeletal Lie triple 2-systems can be classified the third cohomology group, and strict Lie triple 2-systems are equivalent to crossed modules of Lie triple systems. [ABSTRACT FROM AUTHOR]

The notion of pre-Leibniz algebras was recently introduced in the study of Rota-Baxter operators on Leibniz algebras. In this paper, we first construct a graded Lie algebra whose Maurer-Cartan elements are pre-Leibniz algebras. Using this characterization, we define the cohomology of a pre-Leibniz algebra with coefficients in a representation. This cohomology is shown to split the Loday-Pirashvili cohomology of Leibniz algebras. As applications of our cohomology, we study formal and finite order deformations of a pre-Leibniz algebra. Finally, we define homotopy pre-Leibniz algebras and classify some special types of homotopy pre-Leibniz algebras. [ABSTRACT FROM AUTHOR]

This paper is a first step toward the full description of a family of Hopf algebras whose coradical is isomorphic to a semisimple Hopf algebra Kn, n an odd positive integer, obtained by a cocentral abelian cleft extension. We describe the simple Yetter-Drinfeld modules, compute the fusion rules and determine the finite-dimensional Nichols algebras for some of them. In particular, we give the description of the finite-dimensional Nichols algebras over simple modules over K3. This includes a family of 12-dimensional Nichols algebras { B ξ } depending on 3rd roots of unity. Here, B 1 is isomorphic to the well-known Fomin-Kirillov algebra, and B ξ ≃ B ξ 2 as graded algebras but B 1 is not isomorphic to B ξ as algebra for ξ ≠ 1 . As a byproduct we obtain new Hopf algebras of dimension 216. [ABSTRACT FROM AUTHOR]

AbstractPre-Novikov algebras and quasi-Frobenius Novikov algebras naturally appear in the theory of Novikov bialgebras. In this paper, we show that there is a natural pre-Novikov algebra structure associated to a quasi-Frobenius Novikov algebra. Then we introduce the definition of double constructions of quasi-Frobenius Novikov algebras associated to two pre-Novikov algebras and show that it is characterized by a pre-Novikov bialgebra. We also introduce the notion of pre-Novikov Yang-Baxter equation, whose symmetric solutions can produce pre-Novikov bialgebras. Moreover, the operator forms of pre-Novikov Yang-Baxter equation are also investigated. [ABSTRACT FROM AUTHOR]

AbstractIn this paper we study certain combinatorial attributes of Ind-schemes of polynomial automorphisms in positive characteristic. In particular, we prove that over an algebraically closed field K of positive characteristic ≠2 every automorphism of the group of origin-preserving automorphisms of the polynomial algebra K[x1,…,xn] (n≥3), which fixes every diagonal matrix, preserves, up to composition with a linear inner automorphism, every tame automorphism. [ABSTRACT FROM AUTHOR]

In this paper, we obtain a basis for the center of the infinitesimal q-Schur algebra s q (2 , r) 1 in terms of its certain basis. [ABSTRACT FROM AUTHOR]

AbstractFor a simple graph G with edge ideal I(G), we study the N -graded Betti numbers in the linear strand of the minimal free resolution of I(Γ(Zn)), where Γ(Zn) is the zero divisor graph of the ring Zn . We present sharp bounds for the Betti numbers of Γ(Zn) and characterize the graphs attaining these bounds, thereby establishing the correct equality case for one of the results of the earlier published paper (Theorem 4.5, S. Pirzada and S. Ahmad, On the linear strand of edge ideals of some zero divisor graphs, Commun. Algebra 51(2) (2023) 620–632). Also, we present homological invariants of the edge rings of Γ(Zn) for n=p2q and pqr, with primes p

AbstractIn this paper, all super-skewsymmetric super-biderivations of twisted N = 1 Schrödinger-Neveu-Schwarz algebra are determined. It is shown that all the super-biderivations are inner. Furthermore, the linear super-commuting maps of twisted N = 1 Schrödinger-Neveu-Schwarz algebra are standard. [ABSTRACT FROM AUTHOR]

AbstractThe aim of this paper is to examine the structure of genetic algebras associated with permuted Lotka-Volterra operators on a finite-dimensional simplex. Furthermore, three dimensional permuted Lotka-Voltarra algebras are considered and the description of their derivations are given as well. [ABSTRACT FROM AUTHOR]

Let R be a (semi-) prime ring with extended centroid C, let f(X1, ... , Xk) be a multilinear polynomial over C in k noncommutative indeterminates which is not central-valued on R and let g be a generalized derivation of R. In this paper, we completely characterize the form of g and the structure of R such that (g(f(x1, ... , xk))m − γf(x1, ... , xk)n)s = 0 for all x1, ... , xk ∈ R, where γ ∈ C and m, n, s are fixed positive integers. Our results naturally improve and generalize the theorems obtained by Huang and Davvaz in [Generalized derivations of rings and Banach algebras, Comm. Algebra (2013); 43, 1188–1194] and the theorems recently obtained by De Filippis et al. in [Generalized derivations with nilpotent, power-central and invertible values in prime and semiprime rings, Comm. Algebra (2019); 47, 3025–3039]. Moreover, we describe a revised version of the theorem obtained by Huang in [On generalized derivations of prime and semiprime rings, Taiwanese J. Math. (2012); 16, 771–776.] [ABSTRACT FROM AUTHOR]

This paper aims to study the local derivations, 2-local automorphisms and local automorphisms on the super-Virasoro algebras. The primary focus is to establish that every local derivation of the super-Virasoro algebras is indeed a derivation, and to demonstrate that every local or 2-local automorphism of the super-Virasoro algebras is an automorphism. [ABSTRACT FROM AUTHOR]

For a commutative ring R and a Hopf algebra H which is finitely generated projective as an R-module, it is established that there is an (anti)-isomorphism of groups between the Brauer group BQ(R, H) of Hopf Yetter-Drinfel'd H-module algebras and the Brauer group BQ (R , H *) of Hopf Yetter-Drinfel'd H * -module algebras, where H * is the linear dual of H. In this paper, we generalize this result by establishing an anti-isomorphism of groups between BQ(S, H), the Brauer group of dyslectic Hopf Yetter-Drinfel'd (S, H)-module algebras and BQ (S o p , H *) , the Brauer group of dyslectic Hopf Yetter-Drinfel'd (S o p , H *) -module algebras, where S is an H-commutative Hopf Yetter-Drinfel'd H-module algebra and Sop is the opposite algebra of S. Communicated by Alberto Elduque [ABSTRACT FROM AUTHOR]

The present paper is devoted to study local derivations on the conformal Galilei algebra. We prove that every local derivation on the conformal Galilei algebra is a derivation. [ABSTRACT FROM AUTHOR]

In the paper, we show that a uniformly bounded and nonnegative triangle functor between Gorenstein derived categories of two CM-algebras induces a Gorenstein-projectively stable functor between the corresponding Gorenstein-projectively stable categories. Furthermore, we show that a ladder of Gorenstein derived categories of CM-finite algebras induces a recollement of Gorenstein-projectively stable categories under certain nice conditions. As a byproduct, a Gorenstein derived equivalence induces a Gorenstein-projectively stable equivalence for CM-finite Gorenstein algebras. [ABSTRACT FROM AUTHOR]

Differential operators and integral operators are linked together by the first fundamental theorem of calculus. Based on this principle, the notion of a differential Rota-Baxter algebra was proposed by Guo and Keigher. Recently, the subject has attracted more attention since it is associated with many areas in mathematics, such as integro-differential algebras. This paper considers differential Rota-Baxter algebras in the quasi-idempotent operator context. We establish a Gröbner-Shirshov basis for free commutative quasi-idempotent differential algebras (resp. Rota-Baxter algebras, resp. differential Rota-Baxter algebras). This provides a linear basis of a free object in each of the three corresponding categories by the Composition-Diamond lemma. Communicated by P. Kolesnikov [ABSTRACT FROM AUTHOR]

In this paper, the super-skewsymmetric super-biderivations on the N = 1 super Heisenberg-Virasoro algebra are completely determined. Furthermore, we find that every super-skewsymmetric super-biderivation of the N = 1 super Heisenberg-Virasoro algebra is inner. [ABSTRACT FROM AUTHOR]

In the paper, we describe the automorphisms on the solvable Leibniz algebras with the model or abelian nilradicals, whose complementary spaces are equal to two and one, respectively. We show that any local automorphism on a solvable Leibniz algebra with model nilradical of maximal codimension is an automorphism. We show that solvable Leibniz algebras with abelian nilradicals, which have 1-dimension complementary space, admit local automorphisms which are not automorphisms. Moreover, similar problems concerning 2-local automorphisms of such algebras are investigated. We give examples of solvable Leibniz algebras in which 2-local automorphisms are automorphisms and examples of such algebras which admit 2-local automorphisms which are not automorphisms. [ABSTRACT FROM AUTHOR]

The aim of this paper is to give some constructions results and examples of n-BiHom-Lie color algebras. Next, we introduce the definition of BiHom-modules over n-BiHom-Lie color algebras and we provide some properties. Moreover we investigate generalized derivations of n-BiHom-Lie color algebras and their BiHom-subalgebras. [ABSTRACT FROM AUTHOR]

In this paper, we study the corona theorem and Wolff theorem for the multiplier algebra of the Besov–Morrey space $ \mathcal {B}_p^{\lambda }(s) $ B p λ (s) when $ 0 0 < λ , s < 1 < p < ∞. Here the Besov–Morrey space $ \mathcal {B}_p^{\lambda }(s) $ B p λ (s) is the space consisting of those analytic functions on the unit disc $ {\mathbb D} $ D such that $ |f'(z)|^p(1-|z|^2)^{p+s-2}{\rm d}A(z) $ | f ′ (z) | p (1 − | z | 2) p + s − 2 d A (z) is a $ \lambda s $ λs -Carleson measure. [ABSTRACT FROM AUTHOR]

In this paper, the geometry of Hom-Lie algebras and Hom-Lie algebroids are studied. In this direction, the effects of connections on Hom-Lie algebras and Hom-Lie algebroids are first investigated. By finding the relations among hom-curvature operator, torsion and connection on Hom-Lie algebras, Bianchi-like identities for hom-curvature operator and torsion are found. Then, with the help of these found properties, the relationships among Hom-Lie algebras, Hom-admissible algebras, Hom-Flexible algebras, Hom-Pre-Lie algebras and Hom-Post algebras are examined. These relationships have been also carried to the set of vector fields of the manifold with Otsuki connection. Then, conditions of being Hom-Lie-Admissible algebroid, Hom-Pre-Lie algebroid and Hom-Post-Lie algebroid for a Hom-bundle are obtained. [ABSTRACT FROM AUTHOR]

In this paper, we provide a new approach to construct monoidal Hom-Hopf algebras. We investigate monoidal Hom-Hopf algebra structure on a left (n, l)-Hom-crossed coproduct structure with a left n-Hom-smash product structure, obtaining Radford [ n , (n , l) ] -biproduct structure theorem. Then, we study a Hom-coaction admissible mapping system to characterize this Radford [ n , (n , l) ] -biproduct structure. Finally, we study the cosemisimplicity of a special Hom-smash coproduct and prove the related Maschke theorem. [ABSTRACT FROM AUTHOR]

In this paper, we examine the relationships between teachers' subject matter preparation and experience in teaching and their performance on an instrument measuring mathematical knowledge for teaching Algebra 1. We administered the same instrument to two different samples of teachers−high school practicing teachers and community college faculty − who teach the same algebra content in different levels of institutions, and we compared the performance of the two different samples and the relationships between the measured knowledge and their educational and teaching background across the samples. The comparison suggested that the community college faculty possess a higher level of mathematical knowledge for teaching Algebra 1 than high school teachers. The subsequent analyses using the Multiple Indicator Multiple Causes (MIMIC) models based on our hypothesis on the factors contributing to the differences in the knowledge between the two teacher samples suggest that experience teaching advanced algebra courses has positive effects on the mathematical knowledge for teaching Algebra 1 in both groups. Highlighting the positive effect of algebra-based teaching experience on test performance, we discuss the implications of the impact of subject specific experience in teaching on teachers' mathematical content knowledge for teaching. [ABSTRACT FROM AUTHOR]

The Frobenius-Perron dimension of a matrix, also known as the spectral radius, is a useful tool for studying linear algebras and plays an important role in the classification of the representation categories of algebras. In this paper, we study the Frobenius-Perron theory of the representation categories of bound quiver algebras containing loops, and find a way to calculate the Frobenius-Perron dimensions of these algebras satisfying the commutativity condition of loops. As an application, we prove that the Frobenius-Perron dimension of the representation category of a modified ADE bounded quiver algebra is equal to the maximal number of loops at each vertex. Finally, we point out that there also exist infinite dimensional algebras whose Frobenius-Perron dimensions is equal to the maximal number of loops by giving an example. [ABSTRACT FROM AUTHOR]

It is classical that certain truncations of the translation quiver Z Q appear in the Auslander-Reiten quiver. The stable n-translation quiver Z | n − 1 Q is introduced as a generalization of Z Q in studying higher representation theory. In this paper, we find conditions for a Hom-finite k-category to be realized as the bound path category of a convex full subquiver of a stable n-translation quiver. We show that the n-preinjective component and n-preprojective component of n-slice algebra are realized as the bound path categories of some truncations of Z | n − 1 Q o p . We also use Z | n − 1 Q o p to describe the νn-closure of Γ in the derived category. [ABSTRACT FROM AUTHOR]

The goal of this paper is to construct a semifree resolution for a non-negatively graded strongly commutative DG algebra B over the enveloping DG algebra B ⊗ A B , where A ⊆ B is a DG subalgebra and B is semifree over A. Our construction of such a semifree resolution, that we denote by (B , D) , uses the notions of reduced bar resolution and tensor algebra of the shift of the diagonal ideal. As an application of (B , D) , we provide a new characterization of naïve liftability of semifree DG B-modules. [ABSTRACT FROM AUTHOR]

In this paper, we define a new cohomology theory for multiplicative Hom-pre-Lie algebras which controls deformations of Hom-pre-Lie algebra structure. This new cohomology is a natural one by considering the structure map. We develop equivariant cohomology theory for a Hom-pre-Lie algebra equipped with a finite group action by formulating a proper notion of coefficients system for the equivariant cohomology. We also study the associated formal deformation theory for Hom-pre-Lie algebras in the equivariant context. [ABSTRACT FROM AUTHOR]

Recent research has highlighted the role of functional relationships in introducing elementary school students to algebraic thinking. This functional approach is here considered to study essential components of algebraic thinking such as generalization and its representation, as well as the strategies used by students and their connection with generalization. This paper jointly describes the strategies and representations of generalization used by a group of 33 sixth-year elementary school students, with no former algebraic training, in two generalization tasks involving a functional relationship. The strategies applied by the students differed depending on whether they were working on specific or general cases. To answer questions on near specific cases they resorted to counting or additive operational strategies. As higher values or indeterminate quantities were considered, the strategies diversified. The correspondence strategy was the most used and the common approach when students generalized. Students were able to generalize verbally as well as symbolically and varied their strategies flexibly when changing from specific to general cases, showing a clear preference for a functional approach in the latter. [ABSTRACT FROM AUTHOR]

Let R be a 2-torsion free commutative ring with unity and X be a locally finite preordered set. We prove in this paper that every nonlinear Jordan higher derivation on the incidence algebra I (X , R) is an additive higher derivation, provided that all connected components of X are nontrivial. [ABSTRACT FROM AUTHOR]

We introduce both for modules and rings classes of elements that are strongly connected to commutativity classes as defined in Abdi, M., Leroy, A. G. (2021). Graphs of commutatively closed sets. Linear Multilinear Algebra. 70(21):6965–6977 and Alghazzawi, D., Leroy, A. G. Commutatively closed sets in rings. Commun. Algebra. 47(4):1629–1641. We define a graph structure on the classes leading to a notion of distance for elements of a class. Examples are presented all along the paper, showing the interest of the notions. [ABSTRACT FROM AUTHOR]

The n-th Schrödinger algebra is the semidirect product of the special linear Lie algebra s l 2 and the Heisenberg algebra h n . In this paper, we describe explicitly the structure of the derivation algebra and automorphism group of the n-th Schrödinger algebra. Especially, the automorphism group of the Schrödinger algebra is obtained. [ABSTRACT FROM AUTHOR]

This article presents an inquiry-oriented lesson for teaching Lagrange's theorem in abstract algebra. This lesson was developed and refined as part of a larger grant project focused on how to "Orchestrate Discussions Around Proof" (ODAP, the name of the project). The lesson components were developed and refined with attention to how well they supported active and broad student participation. By guiding student exploration of a few key example groups and structuring the exploration to identify recurrent structure, students formulate key lemmas that they can combine to prove Lagrange's theorem. [ABSTRACT FROM AUTHOR]

In A. Kumar, & M. Banerjee [(2012). Definable and rough sets in covering-based approximation spaces. In T. Li. (eds.), Rough sets and knowledge technology (pp. 488–495). Springer-Verlag], A. Kumar, & M. Banerjee [(2015). Algebras of definable and rough sets in quasi order-based approximation spaces. Fundamenta Informaticae, 141(1), 37–55], authors proposed a pair of lower and upper approximation operators based on granules generated by quasiorders. This work is an extension of algebraic results presented therein. A characterisation has been presented for those quasiorder-generated covering-based approximation spaces whose corresponding collections of definable and rough sets form Stone algebras. The notion of rough lattice was proposed in A. Kumar, & M. Banerjee [(2015). Algebras of definable and rough sets in quasi order-based approximation spaces. Fundamenta Informaticae, 141(1), 37–55], A. Kumar [(2020). A Study of Algebras and Logics of Rough Sets Based on Classical and Generalized Approximation Spaces. In Transactions on Rough Sets XXII, LNCS (Vol. 12485, pp. 123–251). Springer]. Some special rough lattices are introduced in this work, viz. rough Stone algebra, $ \sim _{1} $ ∼ 1 -complemented and $ \sim _{2} $ ∼ 2 -complemented rough lattices. Representations of these algebras in terms of rough sets are obtained. Moreover, logics for these algebras are shown to be sound and complete with respect to rough set semantics. [ABSTRACT FROM AUTHOR]

South African learners' performance in mathematics, both locally and internationally, has raised significant concerns, particularly in the realm of algebra. To address this issue, a mixed-methods study was conducted to explore the effectiveness of using algebra tiles to teach algebraic expressions. The study aimed to investigate algebraic expression errors and misconceptions among Grade 9 learners and evaluate the impact of an intervention involving algebra tiles on learners' post-test results. Data were collected through tests administered to a class of 22 Grade 9 learners. The findings of the study confirmed the error types identified in the literature and demonstrated a notable improvement in performance on the post-test following the intervention using algebra tiles. The results indicated that the intervention successfully rectified pre-existing errors and misconceptions, resulting in an 18% enhancement in overall performance among participants. The study aligned with a Vygotskian sociocultural perspective, emphasizing the pivotal role of manipulatives in facilitating learning within the zone of proximal development. The use of manipulatives aids learners in constructing conceptual understanding by reinforcing abstract ideas. Therefore, the study contributes to existing research highlighting the utility of manipulatives in mathematics classrooms, underscoring their effectiveness in enhancing learning outcomes. [ABSTRACT FROM AUTHOR]

We describe how an instructor integrated embodiment to teach the Fundamental Homomorphism Theorem (FHT) and preliminary concepts in an undergraduate abstract algebra course. The instructor's use of embodiment reduced levels of abstraction for formal definitions, theorems, and proofs. The instructor's simultaneous use of various forms of embodiment primed students for the formalism and symbolism, highlighted and disambiguated students' referents, amplified students' contributions to develop conceptual fluency, and linked students' body form catchments to motivate the FHT. Our results offer practical implications for teaching by illustrating examples of how embodiment can assist in making abstract concepts concrete. [ABSTRACT FROM AUTHOR]

The number of undergraduates placing into developmental or "remedial" coursework continues to increase. This rise is concerning because developmental or "remedial" coursework creates barriers for many students. This mixed method study examines a holistic approach to placement. After one-on-one interviews with mathematics faculty, students (N = 8) within two points of passing our mathematics placement test (MPT) were given the opportunity to enroll in college-level coursework (Business Calculus) instead of the developmental coursework (Algebra). There were no significant differences in final exam and course grades between these students and those who initially placed into the course. Additionally, the qualitative data revealed many common themes and future ideas for intervention. [ABSTRACT FROM AUTHOR]