Skip to main content

All Questions

0 votes
1 answer
56 views

Reordering algorithm to fragment consecutive sequences of ones as much as possible

Recently, I came across the following problem: Let $s_1, s_2, ..., s_k$ be non-empty strings in $\{0,1\}^*$. We define $S_{s_1,s_2,...,s_k}$ as the concatenation of $s_1, s_2, \dots, s_k$. We call a &...
Thedby's user avatar
  • 1
1 vote
0 answers
81 views

Every Non empty subset has a least element implies linear order

Suppose $(A,R)$ be structure where R is a binary relation on $A$. Suppose $A$ has the property that every Non empty subset of $A$ has a least element w.r.t. the relation $R$. Then $R$ is a linear ...
user avatar
1 vote
0 answers
85 views

State if each of the objects' set is well-defined or not.

Q. 1.1 taken from book titled: First-Semester Abstract Algebra: A Structural Approach, by: Jessica K. Sklar. State if each of the below objects stated below is a well-defined set or not. $\{z\in \...
jiten's user avatar
  • 4,532
2 votes
2 answers
50 views

Does sign-magnitude ordering admit infinite descending chains in any discretely ordered ring?

I have a conjecture: Let $R$ be an ordered ring $(S, 0, 1, +, ·, <)$. Let $|x| = x$ if $0 \leq x$ and $|x| = -x$ if $x < 0$. Define $x \preccurlyeq y$ to hold if either $|x| < |y|$ or both $|...
Jonas Kölker's user avatar
1 vote
2 answers
67 views

Given three equivalent statements, prove equality between two sets of variables

What technique should I use to solve the following problem? Would I utilize the division algorithm? Let $ m, n, r, s ∈ \mathbf{Z}$. If $m^2 + n^2 = r^2 + s^2 = mr + ns$, prove that $m = r$ and $n = s$....
user1505087's user avatar
0 votes
1 answer
93 views

Showing that in a well ordered ring homomorphic to $\mathbb{Z}$, there are no elements between zero and the ring's identity. [duplicate]

I'd like to prove the following statement: Given a well-ordered ring $A\neq \emptyset$ with identity $I$ and a homomorphism $\phi: \mathbb{Z}\to A$ such that $\phi(n) = nI$, then the set $...
Rodrigo's user avatar
  • 315
-1 votes
1 answer
76 views

assumption of well-ordering principle

An abstract algebra book says "the basic assumption here is 'well-ordering principle' : any nonempty set of nonnegative integers has a smallest member." and then using it, the book proves mathematical ...
user avatar
1 vote
1 answer
36 views

Well ordering of $\mathbb{N}$ with weak induction

In my Algebra course the well-ordering property of $\mathbb{N}$ has been proven just by standard ("weak") induction, but I can't understand the proof given by the lecturer. The proof proceeds as ...
carciofo21's user avatar
2 votes
1 answer
77 views

A proof in module theory: a set theoretic consideration $|\bigcup_{i \in I} B_i| \leq |Y|$

The set-theoretic result used in the proof I want to know about is the following: Let $(B_i)_{i \in I}$ be a family of sets such that, for all $i,j \in I$, either $B_i \subseteq B_j$ or $B_j \...
Jxt921's user avatar
  • 4,528
0 votes
0 answers
43 views

Prove that every finitely generated subgroup of a totally ordered group can be totally ordered.

Prove that every finitely generated subgroup of a totally ordered group can be totally ordered. A group can be totally ordered if there is a total order $\leq $ on that group. Is the proof of this ...
user avatar