Olympiad problems

2010 Iran MO (3rd Round), 5

Tags: abstract algebra , linear algebra , matrix , group theory , superior algebra , superior algebra unsolved

suppose that $p$ is a prime number. find that smallest $n$ such that there exists a non-abelian group $G$ with $|G|=p^n$. SL is an acronym for Special Lesson. this year our special lesson was Groups and Symmetries. the exam time was 5 hours.

1975 Miklós Schweitzer, 3

Tags: superior algebra , superior algebra unsolved

Let $ S$ be a semigroup without proper two-sided ideals and suppose that for every $ a,b \in S$ at least one of the products $ ab$ and $ ba$ is equal to one of the elements $ a,b$. Prove that either $ ab\equal{}a$ for all $ a,b \in S$ or $ ab\equal{}b$ for all $ a,b \in S$. [i]L. Megyesi[/i]

2008 IberoAmerican Olympiad For University Students, 7

Tags: abstract algebra , inequalities , group theory , superior algebra , superior algebra unsolved

Let $A$ be an abelian additive group such that all nonzero elements have infinite order and for each prime number $p$ we have the inequality $|A/pA|\leq p$, where $pA = \{pa |a \in A\}$, $pa = a+a+\cdots+a$ (where the sum has $p$ summands) and $|A/pA|$ is the order of the quotient group $A/pA$ (the index of the subgroup $pA$). Prove that each subgroup of $A$ of finite index is isomorphic to $A$.

2007 Romania National Olympiad, 4

Tags: group theory , abstract algebra , superior algebra , superior algebra unsolved

Let $n\geq 3$ be an integer and $S_{n}$ the permutation group. $G$ is a subgroup of $S_{n}$, generated by $n-2$ transpositions. For all $k\in\{1,2,\ldots,n\}$, denote by $S(k)$ the set $\{\sigma(k) \ : \ \sigma\in G\}$. Show that for any $k$, $|S(k)|\leq n-1$.

1980 Miklós Schweitzer, 3

Tags: superior algebra , superior algebra unsolved

In a lattice, connected the elements $ a \wedge b$ and $ a \vee b$ by an edge whenever $ a$ and $ b$ are incomparable. Prove that in the obtained graph every connected component is a sublattice. [i]M. Ajtai[/i]

2001 District Olympiad, 2

Tags: algebra , polynomial , superior algebra , superior algebra unsolved

Let $K$ commutative field with $8$ elements. Prove that $(\exists)a\in K$ such that $a^3=a+1$. [i]Mircea Becheanu[/i]

1978 Miklós Schweitzer, 2

Tags: abstract algebra , superior algebra , superior algebra unsolved

For a distributive lattice $ L$, consider the following two statements: (A) Every ideal of $ L$ is the kernel of at least two different homomorphisms. (B) $ L$ contains no maximal ideal. Which one of these statements implies the other? (Every homomorphism $ \varphi$ of $ L$ induces an equivalence relation on $ L$: $ a \sim b$ if and only if $ a \varphi\equal{}b \varphi$. We do not consider two homomorphisms different if they imply the same equivalence relation.) [i]J. Varlet, E. Fried[/i]

1980 Miklós Schweitzer, 5

Tags: group theory , abstract algebra , superior algebra , superior algebra unsolved

Let $ G$ be a transitive subgroup of the symmetric group $ S_{25}$ different from $ S_{25}$ and $ A_{25}$. Prove that the order of $ G$ is not divisible by $ 23$. [i]J. Pelikan[/i]

2012 Graduate School Of Mathematical Sciences, The Master Course, Kyoto University, A1

Tags: algebra , polynomial , Galois Theory , complex numbers , superior algebra , superior algebra unsolved

Find the smallest positive integer value of $N$ such that field $K=\mathbb{Q}(\sqrt{N},\ \sqrt{i+1})$, where $i=\sqrt{-1}$, is Galois extension on $\mathbb{Q}$, then find the Galois group $Gal(K/\mathbb{Q}).$

1952 Miklós Schweitzer, 5

Tags: group theory , superior algebra , superior algebra unsolved

Let $ G$ be anon-commutative group. Consider all the one-to-one mappings $ a\rightarrow a'$ of $ G$ onto itself such that $ (ab)'\equal{}b'a'$ (i.e. the anti-automorphisms of $ G$). Prove that this mappings together with the automorphisms of $ G$ constitute a group which contains the group of the automorphisms of $ G$ as direct factor.

2007 IberoAmerican Olympiad For University Students, 6

Tags: group theory , abstract algebra , Ring Theory , superior algebra , superior algebra unsolved

Let $F$ be a field whose characteristic is not $2$, let $F^*=F\setminus\left\{0\right\}$ be its multiplicative group and let $T$ be the subgroup of $F^*$ constituted by its finite order elements. Prove that if $T$ is finite, then $T$ is cyclic and its order is even.

1993 Hungary-Israel Binational, 5

Tags: group theory , abstract algebra , superior algebra , superior algebra unsolved

In the questions below: $G$ is a ﬁnite group; $H \leq G$ a subgroup of $G; |G : H |$ the index of $H$ in $G; |X |$ the number of elements of $X \subseteq G; Z (G)$ the center of $G; G'$ the commutator subgroup of $G; N_{G}(H )$ the normalizer of $H$ in $G; C_{G}(H )$ the centralizer of $H$ in $G$; and $S_{n}$ the $n$-th symmetric group. Let $H \leq G, |H | = 3.$ What can be said about $|N_{G}(H ) : C_{G}(H )|$?

2004 District Olympiad, 3

Tags: superior algebra , superior algebra unsolved

Let $\left( A,+, \cdot \right)$ be a ring that verifies the following properties: (i) it has a unit, $1$, and its order is $p$, a prime number; (ii) there is $B \subset A, \, |B| = p$, such that: for all $x,y \in A$, there is $b \in B$ such that $xy = byx$. Prove that $A$ is commutative. [i]Ion Savu[/i]

1964 Miklós Schweitzer, 3

Tags: abstract algebra , geometric series , superior algebra , superior algebra unsolved

Prove that the intersection of all maximal left ideals of a ring is a (two-sided) ideal.

2005 Romania National Olympiad, 2

Tags: group theory , abstract algebra , function , LaTeX , superior algebra , superior algebra unsolved

Let $G$ be a group with $m$ elements and let $H$ be a proper subgroup of $G$ with $n$ elements. For each $x\in G$ we denote $H^x = \{ xhx^{-1} \mid h \in H \}$ and we suppose that $H^x \cap H = \{e\}$, for all $x\in G - H$ (where by $e$ we denoted the neutral element of the group $G$). a) Prove that $H^x=H^y$ if and only if $x^{-1}y \in H$; b) Find the number of elements of the set $\bigcup_{x\in G} H^x$ as a function of $m$ and $n$. [i]Calin Popescu[/i]

2012 Graduate School Of Mathematical Sciences, The Master Course, Kyoto University, 3

Tags: abstract algebra , group theory , superior algebra , superior algebra unsolved

Let $A$ be Abelian group of order $p^4$, where $p$ is a prime number, and which has a subgroup $N$ with order $p$ such that $A/N\approx\mathbb{Z}/p^3\mathbb{Z}$. Find all $A$ expect isomorphic.

2013 Romania National Olympiad, 4

Tags: algebra , polynomial , group theory , abstract algebra , superior algebra , superior algebra unsolved

Given $n\ge 2$ a natural number, $(K,+,\cdot )$ a body with commutative property that $\underbrace{1+...+}_{m}1\ne 0,m=2,...,n,f\in K[X]$ a polynomial of degree $n$ and $G$ a subgroup of the additive group $(K,+,\cdot )$, $G\ne K.$Show that there is $a\in K$ so$f(a)\notin G$.

2010 District Olympiad, 1

Tags: superior algebra , superior algebra unsolved

Let $ S$ be the sum of the inversible elements of a finite ring. Prove that $ S^2\equal{}S$ or $ S^2\equal{}0$.

2012 Romania National Olympiad, 4

Tags: algebra , polynomial , superior algebra , superior algebra unsolved

[color=darkred] Let $m$ and $n$ be two nonzero natural numbers. Determine the minimum number of distinct complex roots of the polynomial $\prod_{k=1}^m\, (f+k)$ , when $f$ covers the set of $n^{\text{th}}$ - degree polynomials with complex coefficients. [/color]

1966 Miklós Schweitzer, 8

Tags: algebra , polynomial , function , Ring Theory , superior algebra , superior algebra unsolved

Prove that in Euclidean ring $ R$ the quotient and remainder are always uniquely determined if and only if $ R$ is a polynomial ring over some field and the value of the norm is a strictly monotone function of the degree of the polynomial. (To be precise, there are two trivial cases: $ R$ can also be a field or the null ring.) [i]E. Fried[/i]

2004 Romania National Olympiad, 4

Tags: group theory , abstract algebra , superior algebra , superior algebra unsolved , slope

Let $\mathcal K$ be a field of characteristic $p$, $p \equiv 1 \left( \bmod 4 \right)$. (a) Prove that $-1$ is the square of an element from $\mathcal K.$ (b) Prove that any element $\neq 0$ from $\mathcal K$ can be written as the sum of three squares, each $\neq 0$, of elements from $\mathcal K$. (c) Can $0$ be written in the same way? [i]Marian Andronache[/i]

2014 IMS, 3

Tags: vector , abstract algebra , Ring Theory , superior algebra , superior algebra unsolved

Let $R$ be a commutative ring with $1$ such that the number of elements of $R$ is equal to $p^3$ where $p$ is a prime number. Prove that if the number of elements of $\text{zd}(R)$ be in the form of $p^n$ ($n \in \mathbb{N^*}$) where $\text{zd}(R) = \{a \in R \mid \exists 0 \neq b \in R, ab = 0\}$, then $R$ has exactly one maximal ideal.

1993 Hungary-Israel Binational, 4

Tags: group theory , abstract algebra , superior algebra , superior algebra unsolved

In the questions below: $G$ is a ﬁnite group; $H \leq G$ a subgroup of $G; |G : H |$ the index of $H$ in $G; |X |$ the number of elements of $X \subseteq G; Z (G)$ the center of $G; G'$ the commutator subgroup of $G; N_{G}(H )$ the normalizer of $H$ in $G; C_{G}(H )$ the centralizer of $H$ in $G$; and $S_{n}$ the $n$-th symmetric group. Let $H \leq G$ and $a, b \in G.$ Prove that $|aH \cap Hb|$ is either zero or a divisor of $|H |.$

2003 IMC, 2

Tags: superior algebra , superior algebra unsolved

Let $a_1, a_2,...,a_{51}$ be non-zero elements of a field of characteristic $p$. We simultaneously replace each element with the sum of the 50 remaining ones. In this way we get a sequence $b_1, ... , b_{51}$. If this new sequence is a permutation of the original one, find all possible values of $p$.

2007 IMS, 1

Tags: group theory , abstract algebra , superior algebra , superior algebra unsolved

Suppose there exists a group with exactly $n$ subgroups of index 2. Prove that there exists a finite abelian group $G$ that has exactly $n$ subgroups of index 2.