Matrices over a quaternion division ring and their properties to derive canonical forms of matrices over a quaternion division ring will be derived. Later, some applications for the stability analysis of various systems will be derived with the help of eigenvalues and zeros of polynomials over a quaternion division ring.
INDIAN INSTITUTE OF TECHNOLOGY INDORE
INDORE, MADHYA PRADESH
safique at iiti.ac.in
We introduce a new construction of matrix wreath products of algebras that is similar to wreath products of groups. We then use it to prove embedding theorems for Jacobson radical, nil, and primitive algebras. We also construct finitely generated nil algebras of arbitrary Gelfand-Kirillov dimensions over a countable field which answers a question of Bell-Small-Smoktunowicz.
KING ABDULAZIZ UNIVERSITY
JEDDAH, SAUDI ARABIA
hhaalsalmi at gmail.com
(Preliminary report, with co-author Yaser Tolooei)
We study modules that satisfy the analog of Gabriel's condition H in the category .
NORTHERN ILLINOIS UNIVERSITY
DEKALB, IL
johnabeachy at gmail.com
We consider quasi-local integral domains in which every nonzero nonunit is a finite product of irreducible elements, also called atoms, and usually with a finite number of non-associate atoms. We discuss several results concerning the number of non-associate atoms, the number of non-associate atoms not in , and the number of generators of .
UNIVERSITY OF IOWA
IOWA CITY, IOWA
kevin-bombardier at uiowa.edu
Let be a division ring with characteristic different from 2. We will describe an additive map satisfying the identity for every such that , where and is nonzero. Additionally, for nonzero , we will describe the additive bijection satisfying the identity for every such that ; this description is the solution to a problem posed by Chebotar, Ke, Lee, and Shiao in 2005.
KENT STATE UNIVERSITY
KENT, OHIO
lcatala1 at kent.edu
-constacyclic codes over have been characterized in terms of their images under the Gray isometry only when the unit is either or . The purpose of this work is to present a characterization of -constacyclic codes in terms of their Gray images when or . To this end, we introduce an isometry from into which is a factor of the Gray isometry . Then a connection between - and -constacyclic codes with multi-twisted codes over is also presented.
OHIO UNIVERSITY
ATHENS, OH
hc118813 at ohio.edu
Let p be a prime, and be a nonzero element of the finite field . The -constacyclic codes of length over are linearly ordered under set-theoretic inclusion, i.e., they are the ideals , , of the chain ring . This structure is used to establish the Hamming and symbol-pair distances of all such -constacyclic codes. Among others, all MDS symbol-pair constacyclic codes of length are obtained. As an application, we establish all quantum MDS symbol-pair codes of length over constructed by CSS construction. These quantum MDS symbol-pair codes are new in the sense that their parameters are different from all the known ones.
KENT STATE UNIVERSITY
WARREN, OHIO
hdinh at kent.edu
An algebra over a field is said to be invertible if it has a basis consisting exclusively of units. If has a basis of units such that is again a basis, then is said to be an invertible-2, or I2, algebra. López-Permouth, Moore, Pilewski, and Szabo showed in 2015 that any finite dimensional invertible algebra is in fact I2. It is unknown whether an arbitrary invertible algebra is I2. We present here results in this direction for the infinite dimensional case. In particular, we show that if is an infinite field and is any extension of fields, then is an I2 algebra. We also present some results suggesting that invertible, finitely generated, commutative algebras are, in a sense, “almost I2.”
UNIVERSITY OF IOWA
IOWA CITY, IOWA
jeremy-edison at uiowa.edu
Cyclic codes are among the most studied error-correcting codes. Negacyclic, constacyclic and polycyclic codes are systematic generalizations of cyclic codes. Their underlying common feature is that they can be considered as ideals of certain rings (their Ambient ring.) Cyclic and negacyclic codes share the appealing property that the dual of a cyclic (negacyclic) code is also cyclic (negacyclic) code; in fact the duals are ideals of the same ambient ring. On the other hand, while Constacyclic codes still satisfy that their duals are of the same type, a constacyclic code and its dual are not necessarily ideals of the same ambient ring. The relationship between such pairs of ambient rings has recently been explored in [2]. Noting the fact that the duals of polycyclic codes are not polycyclic [3] and observing the alternative of using annihilators in lieu of dual codes proposed and studied in [1] suggests an alternative approach. We extend the results in [1] by assuming only that the ambient ring is a Frobenius algebra. While Frobenius rings in general satisfy the double annihilator condition and that makes it so that an ideal is completely determined by its annihilator, we have only been successful so far in the context of a Frobenius algebra where the additional structure has allowed us to construct an appropriate balanced non-degenerate bilinear form. We have also managed to obtain analogues to the MacWilliams identities in this setting. [1] Alahmadi, Dougherty, Leroy, and Solé, On the Duality and the direction of polycyclic codes, Advances in Mathematics of Communications 10, (2016), 923-931. [2] Gómez-Torrecillas, Lobillo, and Navarro. Dual Skew Codes from Annihilators: Transpose Hamming ring extensions, preprint, 2017. [3] López-Permouth, Parra-Avila, and Szabo, Dual generalizations of the concept of cyclicity of codes, Advances in Mathematics of Communications 3, (2009), 227-234.
OHIO UNIVERSITY
OHIO, OHIO
eohietaaho at gmail.com
An ideal (left, right, two sided) of Leavitt Path Algebra over a commutative unital ring is called basic if for and , implies . Among other things, we show that for a finite acyclic graph, the Leavitt Path Algebra is a direct sum of minimal basic ideals and if has no nonzero nilpotent elements then every minimal basic left ideal contains a vertex. (This is a joint work with Meenu Khatkar and R.K.Sharma)
OHIO UNIVERSITY - ZANESVILLE
ZANESVILLE, OHIO
kanwar at ohio.edu
The study of groups whose subgroups satisfy certain conditions has a rich and long history. The number of conditions that the subgroups satisfy usually are one or two. However, in some recent papers, the authors determined the structure of groups with three conditions on their subgroups. The first example was given in 2014, which is the structure of groups whose nonabelian subgroups are of finite rank or normal. Some more studies are done since then. In this talk, I will give some results about infinite rank
-groups in which every nonabelian subgroup is permutable or of finite rank. I will give the definitions, well-known results and some history about these type of problems as well.
*Joint work with Martyn. R. Dixon from the University of Alabama
UNIVERSITY OF CINCINNATI BLUE ASH COLLEGE
BLUE ASH, OH
karatazy at ucmail.uc.edu
Hereditary rings have been extensively investigated in the literature after Kaplansky introduced them in the earliest 50's. Hereditary rings have been characterized in different ways, the most common of them is that given in [Ch.I, Theorem 5.4, 1]: a ring is right hereditary if and only if every submodule of any projective right -module is projective if and only if every factor module of any injective right -module is injective.
In this talk, we introduce the notion of -Rickart modules by utilizing the endomorphism ring of a module and by using the recent notion of Rickart modules [2] as a module theoretic analogue of a right hereditary ring. Note that is a -Rickart module if and only if is a right hereditary ring. A module is called -Rickart if every direct sum of copies of is Rickart [Definition 2.21, 3]. It is shown that any direct summand and any direct sum of copies of a -Rickart module are -Rickart modules. Also, we provide several characterizations of -Rickart modules which are including generalizations of the most common results (see the above results for rings) of hereditary rings in a module theoretic setting: that is, is a -Rickart module if and only if every -generated submodule of any element in Add satisfies condition, if and only if is closed under -pure epimorphisms, provided is -projective for every index set . Also, we have a characterization of a finitely generated -Rickart module in terms of its endomorphism ring.
This talk is based on a joint work with Mauricio-Bárcenas.
Bibliography.
[1] H. Cartan; S. Eilenberg, Homological Algebra, Princeton University Press (1956)
[2] G. Lee; S.T. Rizvi; C.S. Roman, Rickart modules, Comm. Algebra, 2010 38(11), 4005-4027
[3] G. Lee; S.T. Rizvi; C.S. Roman, Direct sums of Rickart modules, J. Algebra, 2012 353, 62-78
CHUNGNAM NATIONAL UNIVERSITY
DAEJEON, SOUTH KOREA
lgy999 at cnu.ac.kr
The splitting length of an abelian group is the smallest natural number such that the group ( copies) splits. If the group does not split for any natural , then . The concept of the splitting length of an abelian group was introduced in [1].
In this paper, we consider questions of the splitting length of -groups. An abelian group is called an -group if every multiplication on the torsion part of the group uniquely extends to multiplication on . Multiplication on an abelian group is a homomorphism . The problem of describing -groups was formulated in [2, p. 34, Problem 38].
All the groups considered in this work are abelian, and the word “group” will mean “abelian group”. We use the following notation: are sets of possitive and non-negative integers respectively; if is a group, then is the -component of , is the set of prime numbers such that ; is the -height of the element .
Let be a group, be a real number, and be a prime number. According to [3], the element satisfies the condition for and if there exists a non-decreasing unbounded function such that for every . It is shown in [3] that if and only if for every there exists such that satisfies condition for and every .
In [4], sets and are defined for the group as follows: satisfies the conditionforand every , , .
It is shown that and are pure fully invariant subgroups of the group for any . Obviously, . In addition, if and only if .
It is proved in [5] that if is an -group and the quotient group is at most countable, then . In the present paper, this result is generalized as follows.
Theorem 1. If is a -group and is at most countable , then .
Theorem 2. If is a -group, then either is uncountable or .
References.
[1] Irwin J.M., Khabbaz S.A., Rayna G. Role of tensor product in splitting of abelian groups // J. Algebra, 14 (1970). P. 423-442.
[2] Topics in abelian groups, Chicago, Ill., 1963.
[3] Toubassi E.H., Lawver D.A. Height-slope and splitting length of abelian groups // Publs. Math., 20 (1973). P. 63-71.
[4] Kompantseva E.I. Absolute nil-ideals of an abelian group // J. Math. Sci., 197 (2014). P. 625-634.
[5] Moskalenko A.I. On the splitting lenghth of abelian groups // Mat. Zametki, T. 24, No 6 (1978). P. 749-762.
MOSCOW PEDAGOGICAL STATE UNIVERSITY, FINANCIAL UNIVERSITY UNDER THE GOVERNMENT OF THE RF
MOSCOW, RUSSIAN FEDERATION
Kompantseva at yandex.ru
Multiplication on an abelian group is a homomorphism . The abelian group with a multiplication on it is called the ring on the group . The set of all multiplications on paired with the addition is an abelian group. The relation between the structure of an abelian group and the properties of rings on it was studied by L. Fuchs, R. Beaumont, R. Pierce, S. Feigelstock, E. Kompantseva, R. Andruskiewicz and others. An abelian group is called a -group if every ring on is commutative and associative. If every associative ring with additive group is filial, then is called -group. A ring is filial if, for any subrings of , implies . Problems of studying -groups and -groups are formulated in [1, 2]. In these papers, authors described torsion -groups, torsion part of mixed -groups and gave some nontrivial examples of torsion-free and mixed -groups.
The aim of present work is to study rings on quotient divisible abelian groups. An abelian group is called a quotient divisible if it does not contain non-zero divisible torsion subgroups, but contains a free subgroup of finite rank, such that is a divisible torsion group. Torsion-free quotient divisible groups were introduced by R. Beaumont and R. Pierce in [3]. A. Fomin and W. Wickless defined mixed quotient divisible groups and proved that categories of mixed quotient divisible groups and finite-rank torsion-free groups with quasihomomorphisms as morphisms are dual [4]. In [1, 2], it was proved that every torsion-free abelian group of rank 1 is an -group and -group. The duality preserves the torsion-free rank, hence the study of rings on quotient divisible abelian groups should be based on studying rings on these groups of rank 1.
Theorem 1. If is a quotient abelian group of rank 1, then .
Theorem 2. Every quotient divisible abelian group of rank 1 is both a -group and a -group.
Bibliography.
[1] Andruszkiewicz R., Woronowicz M. On additive groups of associative and commutative rings // J. Quaest. Math. 2017. V. 40. No 4. P. 527-537.
[2] Andruszkiewicz R., Woronowicz M. On -groups // Recent Results in Pure and Applied Math. Podlasie, 2014. P. 33-41.
[3] Beaumont R., Pierce R. Torsion free rings // Illinois J. Math., 5 (1961). P. 61-98.
[4] Fomin A., Wickless W. Quotient divisible abelian groups // Proc. Amer. Math. Soc. 1998. V 126, No. 1, P. 45-52.
MOSCOW PEDAGOGICAL STATE UNIVERSITY
MOSCOW, RUSSIAN FEDERATION
trangnguyen.ru at gmail.com
We present a new example of non-unique product sets in a torsion-free group. We further explain how the search for such examples has shown that any counterexample to Kaplansky's zero divisor conjecture must have at least 8 elements in the support.
BYU
PROVO, UT
pace at math.byu.edu
A lattice preradical is an endofuntor on the category of linear modular lattices, whose objects are the complete bounded modular lattices and whose morphisms are linear morphisms. We have studied the big lattice of lattice preradicals, as well as the four classical operations that occurs in the lattice of preradicals of modules for a ring , namely: the join, the meet, the product and the coproduct. As the lattice of submodules of a module is a complete bounded modular lattice, we show some results of the lattice of module preradicals that extends to the lattice of lattice preradicals, such as the existence of the equalizer, the annihilator, the coequalizer and the totalizer for a lattice preradical .
UNAM
MEXICO CITY, MEXICO CITY
chapospg at gmail.com
A triple where and are magmas is said to be a distributive magma if left ( resp. right or two-sided) distributes over . Given a magma the thrust of this work is to study the properties inherent in such that is a distributive magma( left, right or two-sided). In [1], left, right, and two-sided distributivity hierarchy graphs of a set are introduced.
Given a set S, its (left, right, two-sided) hierarchy graph (lH(S), rH(S), H(S)) has as vertices and there is an edge from one operation to another one if distributes over , respectively, on the left, on the right, or on both sides.
Even if one focuses on finite sets, the complexity of these hierarchy graphs grows very rapidly. Given , the set is called the outset of . The graph-theoretic terminology sets the state to formulate several intriguing questions. For example, one can wonder about the possible sizes for the outsets of the various hierarchy graphs on a set . While the combinatorial issues related to the above question seem challenging, the relation between operations in M(S) having similar outsets is another interesting problem, especially if one uses a notion of similarity that is itself of an algebraic nature. The association of these concepts to graph magmas ( operations induced by graphs) are also explored. ( This is a preliminary report on a current project with S. López-Permouth and A. Rafieipour )
[1]. López-Permouth and L. H. Rowen, Distributive hierarchies of binary operations, to appear in Proceedings volume dedicated to the memory of Bruno J. Mueller. Contemporary Mathematics series of the American Mathematical Society
OHIO UNIVERSITY
ATHENS, OH
io103314 at ohio.edu
In recent years, the word magma has been used to designate a pair of the form where is a binary operation on the set . Inspired by that terminology, we use the notation (the magma of ) to denote the set of all binary operations on the set (i.e. all magmas with underlying set .). Given , the set is called the outset of . We define an operation that makes a monoid in such a way that each outset is a submonoid. This endowment gives us a possibility to compare the various elements of with respect to the monoid structure of their outsets. Various properties of the operation mentioned above are considered, including multiple additive structures on that have it as the multiplicative part of a nearring. This is a preliminary report on an ongoing joint project with S.R. López-Permouth and Isaac Owusu Mensah.
UNIVERSITY OF KASHAN
ATHENS, OH
ar996517 at ohio.edu
A basis over an infinite dimensional -algebra is amenable if for all , the set of the coordinate vectors of the family with respect to is summable. A basis is said to be congenial to a basis if the coordinate vectors of the elements of represented with respect to is summable. If is congenial to but is not congenial to , then we say that is properly congenial to . An amenable basis is called simple if it is not properly congenial to any other amenable basis. In literature, the fundamental question whether all algebras have simple bases has been raised. In this work, using a construction inspired by that in literature, we introduce a family of algebras granting us examples of algebras without simple bases and of one-sided simple bases. The same construction also provides examples which shows that the notion of amenability is not left-right symmetric. This is a joint work with Pinar Aydogdu and Sergio R. López-Permouth.
OHIO UNIVERSITY
ATHENS, OHIO
rm775311 at ohio.edu
The well known Schröder-Bernstein Theorem states that any two sets with one to one maps into each other are isomorphic. The question of whether any two (subisomorphic or) direct summand subisomorphic algebraic structures are isomorphic, has long been of interest. In this talk, we extend the study of this question for modules. We say that a module satisfies the Schröder-Bernstein property (S-B property) if any two direct summands of which are subisomorphic to direct summands of each other, are isomorphic. It is shown that a number of classes of modules satisfy the S-B property. These include the classes of quasi-continuous, directly finite, quasi-discrete and modules with ACC on direct summands. We show that over a Noetherian ring , every extending module satisfies the S-B property. Among applications, it is proved that the class of rings for which every -module satisfies the S-B property is precisely that of pure-semisimple rings. We show that over a commutative domain , any two quasi-continuous subisomorphic -modules are isomorphic if and only if is a PID. Examples illustrating the results will be exhibited. (This is a joint work with Najmeh Dehghani and Fatma A Ebrahim)
THE OHIO STATE UNIVERSITY, LIMA
LIMA, OHIO
rizvi.1 at osu.edu
For a module , the quasi-Baer hull qB (resp., the Rickart hull R) of is the smallest quasi-Baer (resp., Rickart) extension of if it exists, in a fixed injective hull . We initiate the study of quasi-Baer and Rickart module hulls in this research. When a ring is semiprime and ideal intrinsic over its center, it is shown that every finitely generated projective -module has a quasi-Baer hull.
Let be a Dedekind domain with the field of fractions. Assume that is an -module with Ann and is a set of -submodules of . Then we show that has a quasi-Baer module hull if and only if is semisimple. Also the quasi-Baer hull of is explicitly described. An example such that has no Rickart module hull is constructed. As a consequence, for a module over a Dedekind domain with is projective and Ann, where is the torsion submodule of , we show that the quasi-Baer hull qB of exists if and only if is semisimple.
We also prove the existence of the Rickart hull
R of such an . Furthermore, we provide explicit constructions of
qB and
R and show that these two hulls are precisely the same. As applications, it is shown that if is a finitely generated module over a Dedekind domain, then is quasi-Baer if and only if is Baer if and only if is semisimple or torsion-free. Moreover, if is a module over a Dedekind domain, which is a direct sum of finitely generated modules, it is shown that is quasi-Baer if and only if is Rickart if and only if is semisimple or torsion-free. Examples showing the disparity between Rickart hulls and Baer hulls and illustrating our results will be shown subject to time.
(This is a joint work with Gangyong Lee, Jae Keol Park, and S. Tariq Rizvi.)
THE OHIO STATE UNIVERSITY
LIMA, OHIO
cosmin at math.osu.edu
Given a module is injective denotes the injective domain of Recall that a module is said to be poor if and only if In [1], it was proved that for every ring the category has poor modules. In particular,
On the other hand, given modules is said to be weakly -injective if whenever there exists satisfying that and A module is weakly injective if it is weakly injective for every See [2].
Given a module
In this work, we will present some results related to domains of weak injectivity. In particular, we study looking for some analogous to the situation of poverty but now for weak injectivity case. This is a joint work with Pinar Aydogdu (Hacettepe University), and Sergio López-Permouth (Ohio University)
References: [1] Adel N. Alahmadi, Mustafa Alkan, and Sergio López-Permouth, Poor modules:the opposite of injectivity, Glasgow Mathematical Journal 52 (2010), no. A, 7-17.
[2] S.K Jain and S.R López-Permouth, A survey of theory of weakly injective, Computational Algebra. Lecture Notes in Pure and Applied Mathematics 151 (1994), 205 - 232.
[3] Rafail Alizade, Engin Büyükasik, Sergio R. López-Permouth, and Liu Yang, Poor modules with no proper poor direct summands, Journal of Algebra (2018), -.
OHIO UNIVERSITY CENTER OF RINGS AND ITS APPLICATIONS
ATHENS, OHIO
marlisha at gmail.com
Let be a countably infinite dimensional -algebra, where is a field and let be a basis for . We call amenable when it is such that (the direct product indexed by of copies of the field ) can be made into an -module in a natural way. The matrices that represent multiplication by elements of , with respect to must be row and column finite for this to happen. However, for any basis we have that the coefficients with this property form a subalgebra of . We examine which subalgebras can be attained in this way. For a given algebra , this collection is called the amenability profile of .
OHIO UNIVERSITY
ATHENS, OH
bs042712 at ohio.edu
If a ring is graded by a group its graded Grothendieck group has a natural action of To study such scenario, we consider pre-ordered abelian groups equipped with an action of and define appropriate generalizations of simplicial and dimension groups. The classic definitions correspond to the case when is trivial.
If is a group such that its integral group ring is noetherian, we prove generalizations of the following classic results: every dimension group is isomorphic to a direct limit of a directed system of simplicial groups, and every simplicial/countable dimension group can be realized as the Grothendieck group of a matricial/ultramatricial algebra over a field. We adapt the Realization Problem for von Neumann regular rings to graded rings and list some other problems.
UNIVERSITY OF THE SCIENCES
PHILADELPHIA, PA
l.vas at usciences.edu
Let be a prime such that . For any unit of , we determine the algebraic structures of -constacyclic codes of length over the finite commutative chain ring , . If the unit is a square, each -constacyclic code of length is expressed as a direct sum of an --constacyclic code and an -constacyclic code of length If the unit is not a square, then can be decomposed into a product of two irreducible coprime quadratic polynomials which are and , where and . By showing that the quotient rings and are local, non-chain rings, we can compute the number of codewords in each of -constacyclic codes. Moreover, the duals of such codes are also given.
DEPARTMENT OF MATHEMATICAL SCIENCES
KENT, OHIO
mvo at kent.edu
Let be an odd prime, , be positive integers, be nonzero elements of the finite field such that . In this talk, we show that the Hamming distances of all repeated-root -constacyclic codes of length can be determined by that of the simple-root -constacyclic codes of length , where is a positive integer. As an application, we compute the Hamming distances of all constacyclic codes of length over .
KENT STATE UNIVERSITY
KENT, OHIO
waxiqq at 163.com
A right -module is called a Utumi Module (-module) if, whenever and are submodules of with and there exist two summands and of such that , and . The class of -modules is a simultaneous and strict generalization of three fundamental classes of modules; namely the quasi-continuous, the square-free and the automorphism-invariant modules. In this talk we show that the class of -modules inherits some of the important features of the aforementioned classes of modules. For example, a -module is clean if and only if it has the finite exchange property if and only if it has the full exchange property. This is a joint work with Yasser Ibrahim of Cairo University.
OHIO STATE UNIVERSITY AT LIMA
LIMA, OHIO
yousif.1 at osu.edu
An abstract class of -Mod is termed Additive Class if it is closed under taking submodules, homomorphic images, and finite direct sums. The conglomerate of all additive classes is denoted by -ad. If is any class of modules, then the class of all modules subgenerated by finite direct sums of elements in , called , is an additive class. In this talk, we define a generalization of and show its properties for Artinian serial rings that are isomorphic to a finite direct product of Artinian uniserial rings. We present also a complete description of the lattice structure of -ad for Artinian serial rings that are isomorphic to a finite direct product of Artinian uniserial rings.
UAM-IZTAPALAPA
MEXICO CITY, MEXICO CITY
serazo at xanum.uam.mx