S-∗w-Principal Ideal Domains

2018 ◽  
Vol 25 (02) ◽  
pp. 217-224 ◽  
Author(s):  
Hwankoo Kim ◽  
Jung Wook Lim
Keyword(s):  
Principal Ideal ◽  
Integral Domain ◽  
Type Theorem ◽  
Local Property ◽  
Nonzero Ideal ◽  
Principal Ideal Domain ◽  
Ideal Domain ◽  
Star Operation ◽  
Principal Ideal Domains

Let D be an integral domain, ∗ a star-operation on D, and S a multiplicative subset of D. We define D to be an S-∗w-principal ideal domain if for each nonzero ideal I of D, there exist an element s ∈ S and a principal ideal (c) of D such that [Formula: see text]. In this paper, we study some properties of S-∗w-principal ideal domains. Among other things, we study the local property, the Nagata type theorem, and the Cohen type theorem for S-∗w-principal ideal domains.

scholarly journals Learning Weighted Automata over Principal Ideal Domains

2020 ◽  
pp. 602-621 ◽  
Author(s):  
Gerco van Heerdt ◽  
Clemens Kupke ◽  
Jurriaan Rot ◽  
Alexandra Silva
Keyword(s):  
Active Learning ◽  
Principal Ideal ◽  
Learning Algorithms ◽  
Principal Ideal Domain ◽  
Natural Numbers ◽  
Ideal Domain ◽  
Weighted Automata ◽  
Principal Ideal Domains

AbstractIn this paper, we study active learning algorithms for weighted automata over a semiring. We show that a variant of Angluin’s seminal $$\mathtt {L}^{\!\star }$$ L ⋆ algorithm works when the semiring is a principal ideal domain, but not for general semirings such as the natural numbers.

On the Criteria of D.D. Anderson for Invertible and Flat Ideals

1986 ◽  
Vol 29 (1) ◽  
pp. 25-32 ◽  
Author(s):  
David E. Dobbs
Keyword(s):  
Principal Ideal ◽  
Integral Domain ◽  
Nonzero Ideal ◽  
Finitely Generated ◽  
Integral Domains ◽  
Maximal Ideals ◽  
Dedekind Domains ◽  
Principal Ideal Domains ◽  
Bezout Domains ◽  
Torsion Free

AbstractLet R be an integral domain. It is proved that if a nonzero ideal I of R can be generated by n < ∞ elements, then I is invertible (i.e., flat) if and only if I(∩ Rai) = ∩ Iai for all { a1, . . ., a n﹜ ⊂ I. The article's main focus is on torsion-free R-modules E which are LCM-stable in the sense that E(Ra ∩ Rb) = Ea ∩ Eb for all a, b ∈ R. By means of linear relations, LCM-stableness is shown to be equivalent to a weak aspect of flatness. Consequently, if each finitely generated ideal of R may be 2-generated, then each LCM-stable R-module is flat. Finally, LCM-stableness of maximal ideals serves to characterize Prüfer domains, Dedekind domains, principal ideal domains, and Bézout domains amongst suitably larger classes of integral domains.

scholarly journals Factor rings of the Gaussian integers

2004 ◽  
Vol 23 (4) ◽  
pp. 114-125
Author(s):  
Cody Patterson ◽  
Kirby C. Smith ◽  
Leon Van Wyk
Keyword(s):  
Positive Integer ◽  
Infinite Number ◽  
Principal Ideal ◽  
Integral Domain ◽  
Nonzero Ideal ◽  
Principal Ideal Domain ◽  
Prime Decomposition ◽  
Gaussian Integers ◽  
Ring Of Integers ◽  
Row Reduction

Whereas the homomorphic images of Z (the ring of integers) are well known, namely Z, {0} and Zn (the ring of integers modulo n), the same is not true for the homomorphic im-ages of Z[i] (the ring of Gaussian integers). More generally, let m be any nonzero square free integer (positive or negative), and consider the integral domain Z[ √m]={a + b √m | a, b ∈ Z}. Which rings can be homomorphic images of Z[ √m]? This ques-tion offers students an infinite number (one for each m) of investigations that require only undergraduate mathematics. It is the goal of this article to offer a guide to the in-vestigation of the possible homomorphic images of Z[ √m] using the Gaussian integers Z[i] as an example. We use the fact that Z[i] is a principal ideal domain to prove that if I =(a+bi) is a nonzero ideal of Z[i], then Z[i]/I ∼ = Zn for a positive integer n if and only if gcd{a, b} =1, in which case n = a2 + b2 . Our approach is novel in that it uses matrix techniques based on the row reduction of matrices with integer entries. By characterizing the integers n of the form n = a2 + b2 , with gcd{a, b} =1, we obtain the main result of the paper, which asserts that if n ≥ 2, then Zn is a homomorphic image of Z[i] if and only if the prime decomposition of n is 2α0 pα1 1 ··· pαk k , with α0 ∈{0, 1},pi ≡ 1(mod 4) and αi ≥ 0 for every i ≥ 1. All the fields which are homomorpic images of Z[i] are also determined.

scholarly journals Notes on topological rings

2013 ◽  
Vol 29 (2) ◽  
pp. 267-273
Author(s):  
MIHAIL URSUL ◽  
◽  
MARTIN JURAS ◽  
Keyword(s):  
Principal Ideal ◽  
Principal Ideal Domain ◽  
Compact Ring ◽  
Ring Topology ◽  
Bezout Domain ◽  
Totally Bounded ◽  
Ideal Domain ◽  
Nilpotent Ring ◽  
Trivial Multiplication

We prove that every infinite nilpotent ring R admits a ring topology T for which (R, T ) has an open totally bounded countable subring with trivial multiplication. A new example of a compact ring R for which R2 is not closed, is given. We prove that every compact Bezout domain is a principal ideal domain.

Invariant Factors Under Rank One Perturbations

1980 ◽  
Vol 32 (1) ◽  
pp. 240-245 ◽  
Author(s):  
Robert C. Thompson
Keyword(s):  
Commutative Ring ◽  
Principal Ideal ◽  
Matrix Multiplication ◽  
Diagonal Form ◽  
Principal Ideal Domain ◽  
Ideal Domain ◽  
Zero Divisors ◽  
Rank One ◽  
Invariant Factors

Let R be a principal ideal domain, i.e., a commutative ring without zero divisors in which every ideal is principal. The invariant factors of a matrix A with entries in R are the diagonal elements when A is converted to a diagonal form D = UAV, where U, V have entries in R and are unimodular (invertible over R), and the diagonal entries d1 …, dn of D form a divisibility chain: d1|d2| … |dn. Very little has been proved about how invariant factors may change when matrices are added. This is in contrast to the corresponding question for matrix multiplication, where much information is now available [6].

scholarly journals Finitely generated cyclic extensions of free groups are residually finite

1971 ◽  
Vol 5 (1) ◽  
pp. 87-94 ◽  
Author(s):  
Gilbert Baumslag
Keyword(s):  
Free Group ◽  
Principal Ideal ◽  
Free Groups ◽  
Cyclic Extension ◽  
Principal Ideal Domain ◽  
Finitely Generated ◽  
Finitely Generated Module ◽  
Residually Finite ◽  
Ideal Domain ◽  
Direct Sum

We establish the result that a finitely generated cyclic extension of a free group is residually finite. This is done, in part, by making use of the fact that a finitely generated module over a principal ideal domain is a direct sum of cyclic modules.

scholarly journals Decomposition of representation algebras

1969 ◽  
Vol 10 (3-4) ◽  
pp. 395-402 ◽  
Author(s):  
W. D. Wallis
Keyword(s):  
Finite Group ◽  
Principal Ideal ◽  
Isomorphism Class ◽  
Principal Ideal Domain ◽  
Ideal Domain ◽  
A Finite Group

Throughout this paper g is a finite group and f is a complete local principal ideal domain of characteristic p where p divides |g|. The notations of [5] are adopted; moreover we shall denote the isomorphism-class of an f g-representation module ℳ by M, the class of ℳx by Mx and the class of ℳR by MR for suitable groups K and R.

Sign in / Sign up

Export Citation Format

Share Document