-
On the Associativity of Infinite Matrix Multiplication
Authors:
Daniel P. Bossaller,
Sergio R. López-Permouth
Abstract:
A natural definition of the product of infinite matrices mimics the usual formulation of multiplication of finite matrices with the caveat (in the absence of any sense of convergence) that the intersection of the support of each row of the first factor with the support of each column of the second factor must be finite. Multiplication is hence not completely defined, but restricted to a specific r…
▽ More
A natural definition of the product of infinite matrices mimics the usual formulation of multiplication of finite matrices with the caveat (in the absence of any sense of convergence) that the intersection of the support of each row of the first factor with the support of each column of the second factor must be finite. Multiplication is hence not completely defined, but restricted to a specific relation on infinite matrices. In order for the product of three infinite matrices $A$, $B$, and $C$ to behave in an associative manner, the middle factor, $B$, must link $A$ and $C$ in three ways: (i) $AB$ and $BC$ must both be defined; (ii) $A(BC)$ and $(AB)C$ must both be defined; and, finally, (iii) $A(BC)$ must equal $(AB)C$. In this article, these conditions are studied and are characterized in various ways by means of summability notions akin to those of formal calculus.
△ Less
Submitted 28 March, 2018; v1 submitted 26 March, 2018;
originally announced March 2018.
-
Group Structures on Families of Subsets of a Group
Authors:
Mario Gómez,
Sergio R. López-Permouth,
Fernando Mazariegos,
Alejandro José Vargas De León,
Rigoberto Zelada Cifuentes
Abstract:
A binary operation on any set induces a binary operation on its subsets. We explore families of subsets of a group that become a group under the induced operation and refer to such families as power groups of the given group. Our results serve to characterize some types of groups in terms of their power groups. In particular, we consider when the only power groups of a group are the factor groups…
▽ More
A binary operation on any set induces a binary operation on its subsets. We explore families of subsets of a group that become a group under the induced operation and refer to such families as power groups of the given group. Our results serve to characterize some types of groups in terms of their power groups. In particular, we consider when the only power groups of a group are the factor groups of its subgroups and when that is the case up to isomorphism. We prove that the former are precisely those groups for which every element has finite order and provide examples to illustrate that the latter is not always the case. In the process we consider several natural questions such as whether the identity element of the group must belong to the identity element of a power group or the inverse of an element in a power group must consist of the inverses of its elements.
△ Less
Submitted 25 August, 2016; v1 submitted 4 April, 2016;
originally announced April 2016.
-
Polycyclic codes over Galois rings with applications to repeated-root constacyclic codes
Authors:
Sergio R. Lopez-Permouth,
Hakan Ozadam,
Ferruh Ozbudak,
Steve Szabo
Abstract:
Cyclic, negacyclic and constacyclic codes are part of a larger class of codes called polycyclic codes; namely, those codes which can be viewed as ideals of a factor ring of a polynomial ring. The structure of the ambient ring of polycyclic codes over GR(p^a,m) and generating sets for its ideals are considered. Along with some structure details of the ambient ring, the existance of a certain type o…
▽ More
Cyclic, negacyclic and constacyclic codes are part of a larger class of codes called polycyclic codes; namely, those codes which can be viewed as ideals of a factor ring of a polynomial ring. The structure of the ambient ring of polycyclic codes over GR(p^a,m) and generating sets for its ideals are considered. Along with some structure details of the ambient ring, the existance of a certain type of generating set for an ideal is proven.
△ Less
Submitted 29 September, 2012;
originally announced October 2012.
-
An alternative perspective on projectivity of modules
Authors:
Chris Holston,
Sergio R. López-Permouth,
Joe Mastromatteo,
José E. Simental-Rodríguez
Abstract:
Similar to the idea of relative projectivity, we introduce the notion of relative subprojectivity, which is an alternative way to measure the projectivity of a module. Given modules $M$ and $N$, $M$ is said to be {\em $N$-subprojective} if for every epimorphism $g:B \rightarrow N$ and homomorphism $f:M \rightarrow N$, then there exists a homomorphism $h:M \rightarrow B$ such that $gh=f$. For a mod…
▽ More
Similar to the idea of relative projectivity, we introduce the notion of relative subprojectivity, which is an alternative way to measure the projectivity of a module. Given modules $M$ and $N$, $M$ is said to be {\em $N$-subprojective} if for every epimorphism $g:B \rightarrow N$ and homomorphism $f:M \rightarrow N$, then there exists a homomorphism $h:M \rightarrow B$ such that $gh=f$. For a module $M$, the {\em subprojectivity domain of $M$} is defined to be the collection of all modules $N$ such that $M$ is $N$-subprojective. A module is projective if and only if its subprojectivity domain consists of all modules. Opposite to this idea, a module $M$ is said to be {\em subprojectively poor}, or {\em $sp$-poor} if its subprojectivity domain is as small as conceivably possible, that is, consisting of exactly the projective modules. Properties of subprojectivity domains and $sp$-poor modules are studied. In particular, the existence of an $sp$-poor module is attained for artinian serial rings.
△ Less
Submitted 16 August, 2013; v1 submitted 24 June, 2012;
originally announced June 2012.
-
Characterizing rings in terms of the extent of injectivity and projectivity of their modules
Authors:
Sergio R. López-Permouth,
José E. Simental
Abstract:
Given a ring R, we define its right i-profile (resp. right p-profile) to be the collection of injectivity domains (resp. projectivity domains) of its right R-modules. We study the lattice theoretic properties of these profiles and consider ways in which properties of the profiles may determine the structure of rings and viceversa. We show that the i-profile is isomorphic to an interval of the latt…
▽ More
Given a ring R, we define its right i-profile (resp. right p-profile) to be the collection of injectivity domains (resp. projectivity domains) of its right R-modules. We study the lattice theoretic properties of these profiles and consider ways in which properties of the profiles may determine the structure of rings and viceversa. We show that the i-profile is isomorphic to an interval of the lattice of linear filters of right ideals of R, and is therefore modular and coatomic. In particular, we give a practical characterization of the i-profile of a right artinian ring. We show through an example that the p-profile is not necessarily a set, and also characterize the right p-profile of a right perfect ring. The study of rings in terms of their (i- or p-)profile was inspired by the study of rings with no (i- or p-) middle class, initiated in recent papers by Er, López-Permouth and Sökmez, and by Holston, López-Permouth and Orhan-Ertas. In this paper, we obtain further results about these rings and we also use our results to provide a characterization of a special class of QF-rings in which the injectivity and projectivity domains of any module coincide.
△ Less
Submitted 21 February, 2012; v1 submitted 8 November, 2011;
originally announced November 2011.
-
On the Goldie Dimension of Hereditary Rings and Modules
Authors:
H. Q. Dinh,
P. A. Guil Asensio,
S. R. Lopez-Permouth
Abstract:
We find a bound for the Goldie dimension of hereditary modules in terms of the cardinality of the generator sets of its quasi-injective hull. Several consequences are deduced. In particular, it is shown that every right hereditary module with countably generated quasi-injective hull is noetherian. Or that every right hereditary ring with finitely generated injective hull is artinian, thus answer…
▽ More
We find a bound for the Goldie dimension of hereditary modules in terms of the cardinality of the generator sets of its quasi-injective hull. Several consequences are deduced. In particular, it is shown that every right hereditary module with countably generated quasi-injective hull is noetherian. Or that every right hereditary ring with finitely generated injective hull is artinian, thus answering a long standing open question posed by Dung, Gomez Pardo and Wisbauer.
△ Less
Submitted 14 December, 2005;
originally announced December 2005.
