Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is there any set of mathematical objects that satisfies all of the following:

1) For each object $a$ in the set, $a^2$ is some multiples of $x$.

2) $ab$ is never multiples of $x$ where $a$ and $b$ are any different two objects in the set.

3) all objects commute - $ab = ba$ and $a+b = b+a$.

Does such set exists for all cardinality?

Edit: to specify, let objects be matrices.

share|cite|improve this question
What kind of structure? What is $x$? What is the motivation? – Marc van Leeuwen Nov 30 '12 at 12:32
any structure - $x$ is a given one. – KDE_dolphin Nov 30 '12 at 12:34
specified: matrices. – KDE_dolphin Nov 30 '12 at 13:48
When you say "multiples of x", do you just mean scalar multiples ($2x, pi\cdot x$, etc.)? – anonymous Dec 1 '12 at 11:17

Take a set $Y$ of the required cardinality, $x$ an element not in $Y$, and $S$ the algebra of some field $K$ with generators $\{x\}\cup Y$ and relations $a^2=x$ and $ab=ba$ for all $a,b\in S$.

Seriously, if you don't want to specify what your question is about, you can only expect trivial answers like this.

share|cite|improve this answer
Did you mean to write "with generators $\{x\}\cup Y$"? – Gregor Bruns Nov 30 '12 at 13:12
@GregorBruns: yes, thank you. – Marc van Leeuwen Dec 1 '12 at 10:38

Let $S$ be your set with the proposed structures, and $x$ is the distinguished element. I can only assume that you require $x \in S$, and that $S$ is closed under the usual operations of $+$ and $\times$, since otherwise, property (1) makes little sense.

Your property (2) implies that your set $S$ can only consist of $\{x\}$ (a singleton set). Indeed, if $a \neq x$, then $a\cdot x$ should not be a multiple of $x$, but certainly $ax$ is a multiple of $x$. Thus $a=x$.

Thus, only for cardinality = $1$ will $S$ exist.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.